45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误
45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误AI证明数学猜想，这次来真的了。
来自主题: AI技术研报
9492 点击 2026-01-20 11:00
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
AI证明数学猜想，这次来真的了。
数学奇点初现！Gemini攻克全新数学定理，斯坦福大牛惊呼「想出来能吹一辈子」；陶哲轩预言数学家+AI共生未来；Grok发现黎曼猜想新的隐蔽通道……
当AI自主攻克难题吹成神话时，陶哲轩深夜发帖辟谣：别断章取义，孤例不等于AI已具备高级数学能力。他强调AI更像工具链——擅长检索、改写、形式化验证和跑套路，但数学真正的灵魂活仍离不开人类。
在人类满分都罕见的普特南数赛上，AI直接12题全对拿满分。陶哲轩等大佬预言AI已经取得了重要里程碑，再加上GPT-5.2 Pro在数学上强到「离谱」的表现，那种「奇点将近」的直觉，真的压不住了。
业界都在讨论的AGI之争，陶哲轩是如何看待的？就在刚刚，陶哲轩po文明确了自己的态度——还不行。他认为，目前还无法实现AGI。
数学大神陶哲轩近期发现，AI声称破解的Erdos难题，实则是多年前已被人类解决但被遗忘的「旧闻」。这揭示了AI当前的核心能力并非从0创新，而是利用超强算力扫描人类文献的「长尾黑洞」，摘取那些被我们忽视的「低垂果实」。
刚刚，AI又破解了一个数学难题！Erdos#1026问题已经被攻克，且给出了正式证明。而在此之前，这个问题已经困扰了数学界50年。陶哲轩在Mastodon上宣布了这一消息，还在一篇博客中详细讲述了这个故事。
昨晚，数学界炸了！由HarmonicMath开发的AI数学家「亚里士多德」（Aristotle），100%独立完成了埃尔德什问题#124。它在Lean证明系统中，耗时仅6个小时，验证只需1分钟。
刚刚，Erdos 问题 #124 的一个弱化版本被证明。
陶哲轩携手Gemini，十分钟破解数学难题！