2026年，数学领域迎来了一波密集的“AI围攻”。
7月20日，Anthropic员工Levent Alpöge在X上表示，使用Fable 5为Jacobian猜想找到了反例，引发巨大轰动。这是数学界顶级的未解“悬案”之一，人们花了87年试图证明其正确性。
这一非官方的数学高光时刻，其实比竞争对手晚了一些。两个月前，OpenAI和Google刚刚展开了一场头对头的较量。
5月20日，OpenAI宣布其内部通用推理模型自主推翻了传奇匈牙利数学家Paul Erdős提出的“单位距离猜想”。这个问题困扰了数学家整整80年。菲尔兹奖得主Timothy Gowers直言：“以前没有AI生成的证明能接近这个标准。”
仅一天后，Google DeepMind更大规模地予以反击。其定制数学模型AlphaProof Nexus自主解决了9个公开的未解Erdős问题，其中2个已悬而未决56年。此外，它还解决了其他几个问题，每个问题的推理成本仅几百美元。
能力的飞跃
回顾AI解题的加速曲线，可以理解今年数学界为何如此震惊。
2024年7月，DeepMind的AlphaProof在国际数学奥林匹克（IMO）中解决了6道题中的3道非几何题，达到银牌水平。当时解决的题目都有已知答案。
2025年10月，OpenAI声称GPT-5解决了10个Erdős问题，但很快被反驳：GPT-5只是进行了“超级文献检索”，找到了以前鲜为人知的已发表论文。
2025年底，DeepMind部署了Agent Aletheia。在Erdős问题库中，它正确解决了13个问题，其中4个是新解，另外9个再次是“超级文献检索”。
2026年5月至今的这三个突破有着根本的不同：
首先，问题分量极重。 OpenAI推翻的“单位距离猜想”是核心且著名的难题；Anthropic找到反例的Jacobian猜想被列为“21世纪18个世纪级数学问题”之一。
其次，更加自主。 以前AI解题是“半自主”的，需要数学家手动筛选和纠正错误。而OpenAI5月的突破中，模型完全自主生成了整个证明。更进一步，Google的AlphaProof Nexus使用形式化语言Lean，自主完成了正确性验证，不再需要数学家进行质量检查。
轰动新闻背后的精心设计
OpenAI解决的问题是：如果在平面上放置n个点，最多有多少对点之间的距离正好是1个单位？Erdős在1946年猜测正方形网格排列是最优解。
这正是OpenAI新闻成功引发轰动的关键点之一。OpenAI数学团队拥有深刻理解数学研究的专业人士，他们花了大量时间选择哪些未解问题具有潜在的可解性，并精心挑选了最有可能出成果、足够简单让公众理解、且对数学家足够有说服力的问题。
原始来源： 果壳 ↗
本文由博一・AI营销中枢整理编辑，用于行业观察分享。观点归原作者所有。