欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。
菲尔兹奖得主高尔斯教授使用未公开的ChatGPT 5.5 Pro，在一小时内解决了一个长期悬而未决的组合数学难题。这一突破挑战了学界对大模型只能“背书”而非真正理解高深数学的传统认知，引发对AI数学能力的重新审视。
马斯克与OpenAI的法律战在加州法院开庭，OpenAI联合创始人布罗克曼连续两天出庭作证，其2017年前后的私人日记被作为关键证据公开，揭示了公司早期权力斗争与战略转型的内幕。
剑桥大学数学教授、菲尔兹奖得主 Timothy Gowers 分享使用未公开的 ChatGPT 5.5 Pro 进行数学研究的经历。该AI模型在一小时内解决了一个组合数学开放性问题，引发学术界对AI数学能力的关注。Gowers指出，大语言模型在数学领域的应用已从早期只能寻找已知信息，发展到能解决开放性问题。
国内大模型领域迎来资本风暴，DeepSeek（深度求索）启动首轮大规模融资，目标金额高达500亿元，若成功将刷新行业纪录。最引人注目的是，领投方并非风投或互联网巨头，而是创始人梁文锋本人，其个人出资额最高，彰显对公司的坚定信心。
甲骨文公司3月31日通过邮件裁员2至3万人，被裁员工发现无法登录后才意识到失业。公司随后提供遣散费，但条款苛刻：员工需签署放弃诉讼权利协议，第一年仅获四成补偿，引发广泛争议。
百度发布新一代文心大模型5.1，采用“多维弹性预训练”技术，主打高性价比和强大搜索整合能力。该模型已上线百度千帆模型广场和文心一言官网，面向企业用户和开发者开放体验，在AI竞争中展现国产大模型新突破。
OpenAI推出Codex for Chrome扩展，AI助手首次深度介入网页操作。获得授权后，Codex能像人类一样阅读网页、操作内部系统并填写复杂表单，标志着AI从对话框走向系统级应用。
蚂蚁百灵发布万亿级旗舰思考模型Ring-2.6-1T，专为Agent工作流、工程开发及科研分析等复杂场景设计。该模型引入可调节的Reasoning Effort机制，打破推理能力与资源消耗的固定配比，平衡成本与效率。提供high与xhigh两种推理模式，其中high模式针对高频Agent协作优化，具备低延迟特点。
近日，南京律师李小亮发现百度“AI智能回答”错误声称其“被判处有期徒刑三年”，并配发其职业照片。此“AI幻觉”严重失实，侵害其名誉权，引发对AIGC内容真实性与法律责任的社会关注。
上海徐汇区法院近日判决，AI搜索平台对搜索结果中出现盗版网盘链接不构成侵权，因其无主观过错。起因是一家传媒公司发现平台置顶显示其两部版权剧集的盗版链接，遂起诉侵犯网络传播权。法院认定平台无主动传播意图，驳回诉求。