AI加入数学奥林匹克：Claude Mythos攻克Erdős猜想

被数学家们称为分水岭的时刻，Anthropic的Claude Mythos破解了Erdős单位距离猜想——这个组合几何问题曾困扰人类学者近一个世纪。就在OpenAI的GPT-5.5解决同一难题数周后，该AI的"惊人优雅"证明横空出世，为纯数学领域拉开了一场引人入胜的AI对决序幕。

奇迹如何诞生

与传统单一模型方法不同，Anthropic设计了一个新颖的解决方案：数字化智库。想象这样的场景——多个Claude Code实例像虚拟研讨室里的学术同行般协作。部分代理生成潜在解决方案，其他代理则通过压力测试每个想法来扮演反对者角色，工程师们称之为"数学证明的集市"。

"重点不在于创造单个天才AI，而在于构建合适的知识生态系统"，宣布这项突破的Anthropic工程师Sholto Douglas解释道。这种协作方式带来了双重胜利——在复现OpenAI解题路径的同时，独立发现了更简洁的证明，该证明现已作为Opus4.7发表。

AI数学奥林匹克升温

此项成就给AI研究界的激烈争论火上浇油。Google DeepMind曾用其AlphaProof Nexus攻克了九个Erdős问题，但批评者认为其依赖Lean形式化证明的方式更像计算器而非有创造力的数学家。Claude的多代理方法提供了令人信服的反驳——展示了AI系统如何复现人类数学发现的协作本质。

与此同时，关于AI研究能力的惊人主张不断涌现。据传有位菲尔兹奖得主目睹ChatGPT5.5Pro仅用两小时就完成了博士级别的数学研究。随着这些系统开始自主探索算法设计甚至网络安全漏洞，我们显然正在超越简单的提示工程，进入未知领域。

对人类数学家的启示

最初持怀疑态度的数学家Daniel Litt承认，尽管存在早期缺陷，Mythos的证明展现出"真正的数学洞察力"。这里真正的故事不仅在于解决单个问题——更在于AI进行数学发现的方式与人类直觉截然不同。我们看到模式时，AI看到概率；我们追求优雅时，AI不知疲倦地检验可能性。

尘埃落定之际，两个问题挥之不去：首先，这些AI系统能否发展出真正原创的数学视野，而不仅仅是优化问题解决？其次——或许更深刻的是——当机器开始提出我们甚至未曾想象的数学问题时，会发生什么？

关键要点：

• 协作式AI：Mythos使用多个交互代理解决问题
• 证明之战：此成就紧随OpenAI类似突破之后
• 新方法：标志着从单一模型AI向协作系统的转变
• 数学影响：展示了生成优雅、类人类证明的能力
• 未来潜力：暗示AI可能很快将助力突破性理论研究