The Month AI Conquered Math: The Full Story AI征服数学月：完整故事

TL;DR

• 2026年成为AI数学能力飞跃的关键年份，从"竞赛水平"跃升至"超人类水平"，数月内连续解决多个数十年未解的数学猜想
• OpenAI内部模型首次自主证明了Erdős 1946年提出的单位距离猜想，提供多项式改进的无限族示例，被数学界称为"里程碑"
• GPT-5.6 Sol Ultra模型在提示"至少思考8小时"后仅用1小时即证明了50年历史的循环双重覆盖猜想
• Anthropic的Fable模型与OpenAI模型在同一天独立发现87年Jacobian猜想的反例，Terence Tao等顶尖数学家验证其非暴力搜索所得
• 数学界对AI冲击反应两极分化：部分学者视之为探索数学"大教堂"的新工具，另一部分则陷入存在性焦虑

为什么值得看

这篇文章揭示了AI在数学领域从辅助工具向自主研究者的范式转变，对AI研究者、数学家及科技政策制定者具有前瞻性参考价值。它展示了大模型在长程推理和创造性数学发现上的突破，预示着科学研究方法论可能正在经历根本性重构。

技术解析

• 单位距离猜想突破：OpenAI内部模型自主证明了Paul Erdős 1946年提出的单位距离猜想，提供了"产生多项式改进的无限族示例"，推翻了数学界的共识信念，被Thomas Bloom评价为"AI具备原创性巧妙思想的证明"。
• GPT-5.6 Sol Ultra的长程推理：该模型在提示"至少花费8小时思考后再返回"的条件下，仅用1小时即给出循环双重覆盖猜想（50年历史）的完整证明，展示了超长上下文推理和深度搜索能力。
• Fable模型的独立发现：Anthropic的Fable模型与OpenAI模型在同一天独立发现Jacobian猜想的相同反例，Terence Tao指出该反例"极不可能通过暴力搜索找到"，暗示AI在数学发现中涉及真正的创造性成分。
• 能力跃迁时间线：2025年底AI数学水平介于学生与教授之间（IMO金牌/解决Erdős开放问题），2026年1月Daniel Litt评估仍为"竞赛水平"，至5月该评估已"过时"，显示能力迭代速度远超预期。

行业启示

• AI研究范式的根本转变：AI正从"验证人类证明"转向"自主产生原创数学洞察"，这要求科研机构重新定义人机协作模式，建立AI发现的可验证性和可解释性标准。
• 数学教育与学术评价的重构压力：当AI能在数小时内解决人类数十年难题，数学教育需从计算技能培养转向批判性思维、问题提出和结果验证能力；学术评价体系也需调整以区分AI辅助与人类原创贡献。
• 技术竞争的马太效应加剧：OpenAI和Anthropic等头部机构通过内部模型和公开模型双线推进，数学突破成为AI能力展示的"新战场"，可能加速科研资源向拥有顶级AI模型的机构集中。