AI解决困扰人类数十年的数学难题

数学界正因GPT5.2打破人工智能基本限制而沸腾。仅用十五分钟，这个AI就为保罗·埃尔德什的一个著名难题提供了完整证明——这种工作通常需要数学家数月甚至数年的努力。

应对埃尔德什挑战

1996年去世的多产匈牙利数学家埃尔德什留下了超过1000个未解猜想，这些成为数学天才的基准。自去年圣诞节以来，埃尔德什问题官方网站上有十五个问题被标记为"已解决"——其中明确有AI参与解决的达十一个。

前量化研究员尼尔·索马尼亲眼见证了GPT5.2的能力。"它不仅仅是重复已知方法，"索马尼解释道，"这个AI将勒让德公式与当代方法以我们未曾考虑的方式结合了起来。"哈佛大学数学家诺姆·埃尔基斯已经在其工作中基于一个AI生成的证明继续发展。

引起数学家关注

这一突破引起了菲尔兹奖得主陶哲轩的关注，他在GitHub页面上记录了八个AI自主进展的案例。陶指出，虽然人类仍在概念性突破上领先，但AI擅长解决众多"长尾"问题——那些晦涩但重要、未能吸引足够人类关注的难题。

"真正值得注意的是，"陶写道，"看到世界级数学家公开承认他们正在使用这些工具。"

验证革命

这些解决方案通过Harmonic的Aristotle系统等形式化验证工具获得可信度，该系统将推理转化为计算机可检查的代码。Harmonic的图多尔·阿希姆观察到："真正的故事不在于解决了多少问题——而在于这些证明能够经受顶尖数学家使用严格验证方法的审查。"

数学界现在面临深刻的问题：我们是在见证AI拓展人类知识的边界吗？还是在创造一种全新的数学理解方式？

关键点：

• GPT5.2在两周内自主解决11个埃尔德什问题
• 使用Lean和Aristotle等形式化证明辅助工具验证解决方案
• 哈佛大学的诺姆·埃尔基斯和菲尔兹奖得主陶哲轩基于AI证明继续研究
• 突破表明AI擅长解决被忽视的"长尾"数学问题