AI破解42年数学难题：12小时对话攻克难题，AGI真的近了？

duckwolf

数学界的"不可能任务"被AI完成

2026年4月28日，一个令数学界震惊的消息传来：一个困扰数学界长达42年的难题，在约12小时的人机对话中被成功攻克。

攻克这一难题的不是某位顶尖数学家，也不是通过一篇正式的学术论文，而是OpenAI高级研究员Ernest Ryu与ChatGPT之间的一次"对话"。在持续三天、总共约12小时的反复对话中，Ryu不断指出模型的错误、调整提问方向，最终逼近了最终结论。


42年：这道难题是什么？

这道难题涉及经典优化算法的收敛性问题——它是计算数学和理论计算机科学交叉领域的核心问题之一。过去42年间，无数数学家尝试给出完整证明，但始终无人能够彻底解决。

直到2026年，AI介入了。

Ernest Ryu在OpenAI播客中回顾了这段经历：他没有用AI去"替代"数学家的工作，而是将AI作为"思考伙伴"，利用模型的模式识别能力快速探索证明路径，同时用人类直觉判断方向是否正确。


这意味着什么？

这一事件的意义远超"AI做数学题"本身：

第一，它展示了人机协作的研究范式。AI不是要取代数学家，而是成为数学家的"超级助手"。AI擅长快速穷举可能性，人类负责判断方向和逻辑严格性，这种分工正在成为科研的新常态。

第二，它是AGI道路上的重要里程碑。42年的难题需要复杂的逻辑推理、创造性的路径探索，以及对领域知识的深刻理解——这些能力被认为是通用人工智能（AGI）的核心特征。AI能系统性地解决这类问题，说明其推理能力正在向真正的"通用"进化。

第三，它预示着AI+科学的新纪元。AlphaFold已经改变了蛋白质结构预测的游戏规则，AI破解数学难题则意味着AI正在深入自然科学的"硬核"领域，科研范式正在被重塑。


印奇：2026年是AGI元年

这一事件与另一位AI大佬的判断不谋而合。千里科技董事长、阶跃星辰董事长印奇在2026年初访美后，给出了激进的预测：

> "十年之后回头看，大家可能会得出一个共识：2026年就是AGI的元年。"

印奇认为，2026年将成为AI能力从"窄"到"广"的关键转折点，未来一二十年将涌现出真正的AGI平台级公司，美国会有SpaceX、OpenAI、Anthropic，中国也会有类似的企业。


12小时的启示：如何与AI协作？

Ernest Ryu的经历也给了普通人一个重要启示：会提问比知道答案更重要。

在与AI协作破解难题的过程中，Ryu的核心工作不是计算，而是：
• 定义问题：将模糊的数学直觉转化为精确的提问
• 判断方向：当AI给出多个路径时，选择哪个值得深入
• 验证逻辑：检查AI的推导是否严谨，找出潜在的漏洞

这正是当前AI时代最重要的能力：AI思维——不是学习如何操作AI，而是学习如何与AI协同工作。


AGI还有多远？

尽管2026年的AI进步令人振奋，但也有声音保持冷静。巴菲特在2026年伯克希尔股东大会上，当被问及AI时，新任CEO格雷格·阿贝尔只谈了GEICO的定价算法和BNSF铁路，完全没有提及大模型或AGI。

这种务实的态度提醒我们：AGI的最终到来，可能比最乐观的预测更漫长，也比最悲观的预测更确定。关键在于，我们是否做好了准备。

数据来源：OpenAI播客Ernest Ryu访谈（2026年4月28日）；凤凰网/ifeng科技印奇专访（2026年）；伯克希尔哈撒韦2026年股东大会记录（2026年5月2日）