此成果延续今年 AI 在数学领域的突破势头,OpenAI Astra 模型此前已证明十项重大结果,Anthropic 也曾反驳雅可比猜想。不过,数学家群体对此存在分歧:6 月签署的莱顿宣言担忧 AI 可能削弱“证明归属特定作者”的学术规范,而菲尔兹奖得主蒂莫西·高尔斯则认为这未必是坏事,可能让数学发现更去中心化。
这一进展凸显前沿实验室正将 AI 从“聊天工具”转向“自主科研代理”。未来 6-12 个月,类似多代理系统若在更多未解问题上持续突破,数学与 AI 的边界将进一步模糊,行业焦点或转向如何验证与归属 AI 发现的成果。
谷歌将 Pixel 11 Pro 等机型捆绑的 Google One AI Pro 试用期从 12 个月缩短至 6 个月,并取消 Pixel 11 的免费试用。此前 Pixel 9 系列曾提供 12 个月试用,此次调整随 Pixel 11 系列今日发布同步生效。谷歌此举降低新机 AI 服务补贴力度,反映其正收紧促销策略以控制成本。