AI又要颠覆数学？陶哲轩紧急发声：停止造神！
AI又要颠覆数学？陶哲轩紧急发声：停止造神！当AI自主攻克难题吹成神话时，陶哲轩深夜发帖辟谣：别断章取义，孤例不等于AI已具备高级数学能力。他强调AI更像工具链——擅长检索、改写、形式化验证和跑套路，但数学真正的灵魂活仍离不开人类。
来自主题: AI资讯
7362 点击 2026-01-12 09:38
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
当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，十分钟破解数学难题！
Gemini 3一日霸榜数学、物理两个顶级基准测试！与此同时，陶哲轩用Gemini DeepThink十分钟便搞定了一道埃尔德什难题。
著名数学家陶哲轩发论文了，除了陶大神，论文作者还包括 Google DeepMind 高级研究工程师 BOGDAN GEORGIEV 等人。论文展示了 AlphaEvolve 如何作为一种工具，自主发现新的数学构造，并推动人们对长期未解数学难题的理解。AlphaEvolve 是谷歌在今年 5 月发布的一项研究，一个由 LLMs 驱动的革命性进化编码智能体。