[谷歌] 震惊,谷歌AI一夜连破9道世纪难题
代数几何15年悬案、凸优化新界一并搞定除了Erdős问题，AlphaProof Nexus还在多个数学分支中取得了实质性突破：
OEIS猜想：系统自动形式化了492个开放猜想，证明了其中44个。为防止形式化错误，系统要求先证明“测试引理”——验证序列前几项与形式化定义一致——才能尝试目标猜想。
代数几何：解决了一个悬置约15年的开放问题——证明了余维数3、类型2的纯O-序列的对数凹性。这个问题此前被认为是该领域最后一个主要未解情况。
凸优化：解决了一个关于锚定梯度下降-上升算法（Anchored GDA）精确收敛速率的开放问题。更妙的是，AI不仅验证了一个固定算法，还在证明过程中自主搜索并发现了一个新的学习率调度参数，从而实现了更强的保证。
图论：证明了Graffiti系统在1996年提出的一个关于生成树叶子数与局部独立集的猜想，形成了一个有趣的闭环——AI证明了另一个AI提出的猜想。
加法组合学：帮助解决了Ben Green著名开放问题列表中的第57题。
量子光学：与Mario Krenn合作，解决了多个关于单色量子图的猜想，对应高维GHZ量子态的构造。
三路合围，数学前沿全面失守2026年5月，AI在数学领域的造诣，几乎同时达到了研究级水平。
OpenAI走的是自然语言路线。
通用推理模型直接输出证明，推翻了Erdős 80年单位距离猜想。证明极其精妙，但验证它需要人类顶级专家逐行审查。
菲尔兹奖得主Gowers把未解问题扔给GPT-5.5 Pro，两小时拿到博士论文级成果，全程数学贡献为零。
DeepMind走的是形式化验证路线。
AlphaProof Nexus让AI用Lean语言写证明代码，编译器自动检查每一步推理。任何一步出现逻辑断裂，编译器直接报错，证明被拒绝。
自然语言路线灵活，但可能有幻觉。形式化路线可靠，但目前局限于Lean数学库成熟的领域。
而DeepMind的数学家合作者发现了一个意料之外的收获——
即使智能体无法证明目标定理，它生成的证明尝试也加深了他们对问题的理解。因为草稿是形式化的，专家可以直接聚焦于未解决的子目标，而不需要重新验证整个论证链。
换句话说，AI不只是在解题，它正在改变数学家思考问题的方式。
如今，未来的图景已经浮现：
AI先用自然语言探索证明思路，再用形式化系统逐步固化和验证。
人类数学家的角色，则从“亲手推导”转向“提出问题、审查方向、提炼洞见”。
有人说，我们正目睹数学奇点的早期火花。
[加西网正招聘多名全职sales 待遇优]
这条新闻还没有人评论喔，等着您的高见呢
OEIS猜想：系统自动形式化了492个开放猜想，证明了其中44个。为防止形式化错误，系统要求先证明“测试引理”——验证序列前几项与形式化定义一致——才能尝试目标猜想。
代数几何：解决了一个悬置约15年的开放问题——证明了余维数3、类型2的纯O-序列的对数凹性。这个问题此前被认为是该领域最后一个主要未解情况。
凸优化：解决了一个关于锚定梯度下降-上升算法（Anchored GDA）精确收敛速率的开放问题。更妙的是，AI不仅验证了一个固定算法，还在证明过程中自主搜索并发现了一个新的学习率调度参数，从而实现了更强的保证。
图论：证明了Graffiti系统在1996年提出的一个关于生成树叶子数与局部独立集的猜想，形成了一个有趣的闭环——AI证明了另一个AI提出的猜想。
加法组合学：帮助解决了Ben Green著名开放问题列表中的第57题。
量子光学：与Mario Krenn合作，解决了多个关于单色量子图的猜想，对应高维GHZ量子态的构造。
三路合围，数学前沿全面失守2026年5月，AI在数学领域的造诣，几乎同时达到了研究级水平。
OpenAI走的是自然语言路线。
通用推理模型直接输出证明，推翻了Erdős 80年单位距离猜想。证明极其精妙，但验证它需要人类顶级专家逐行审查。
菲尔兹奖得主Gowers把未解问题扔给GPT-5.5 Pro，两小时拿到博士论文级成果，全程数学贡献为零。
DeepMind走的是形式化验证路线。
AlphaProof Nexus让AI用Lean语言写证明代码，编译器自动检查每一步推理。任何一步出现逻辑断裂，编译器直接报错，证明被拒绝。
自然语言路线灵活，但可能有幻觉。形式化路线可靠，但目前局限于Lean数学库成熟的领域。
而DeepMind的数学家合作者发现了一个意料之外的收获——
即使智能体无法证明目标定理，它生成的证明尝试也加深了他们对问题的理解。因为草稿是形式化的，专家可以直接聚焦于未解决的子目标，而不需要重新验证整个论证链。
换句话说，AI不只是在解题，它正在改变数学家思考问题的方式。
如今，未来的图景已经浮现：
AI先用自然语言探索证明思路，再用形式化系统逐步固化和验证。
人类数学家的角色，则从“亲手推导”转向“提出问题、审查方向、提炼洞见”。
有人说，我们正目睹数学奇点的早期火花。
[加西网正招聘多名全职sales 待遇优]
| 分享: |
| 注： | 在此页阅读全文 |
| 延伸阅读 | 更多... |
推荐: