搜索
陶哲轩最新判断，数学正在从「证明稀缺」进入「证明过剩」时代——数学家最值钱的工作已不再只是「做出证明」，而是验证它、消化它，并把一块 AI 吐出的「生肉证明」变成人类真正吃得下的知识。
7年的专业研究，输给了一次「vibe mathing」。一个毫无高数背景的23岁年轻人，靠一段提示词，让ChatGPT在80分钟内破解了困扰人类60年的猜想。陶哲轩承认：我们第一步就走偏了。
2026年，AI成了科学家的新战友：从三个晚上破解40年优化难题，到18分钟重现黑洞隐藏对称性，ChatGPT正把前沿发现速度提升数倍乃至数十倍，科学加速的时代已然来临！
陶哲轩办公室有 6 块黑板，他说绝不放弃。但他刚带 50 个人用 AI 和代码解决了 2200 万道数学题。
5天时间，AI就搞定了原本需要6个月完成的菲尔兹奖级数学成果的形式化证明。
Google DeepMind最新AI智能体Aletheia在FirstProof挑战赛中，独立攻克了6道世界级数学难题，实现了从竞赛水平到PhD科研级的质变。人类数学研究的「手工时代」或许正步入倒计时。
刚刚，OpenAI表示：他们用尚未发布的内部模型，在一周内尝试解答10道来自数学家科研现场的真实问题，其中有5道被认为基本正确。
基于Gemini 3 Deep Think的谷歌数学智能体Aletheia在更难的挑战赛FirstProof中拿下的最佳成绩。在公布的完整成绩单中，10道题Aletheia全程0人工参与解出6道，其中5题专家全票通过，还有一题拿到了5/7的通过率。
是时候了！陶哲轩对AI生成的低质量数学内容提出警示。这次他一反常态，没有来安利大模型，而是辩证审视：AI生成数学是把双刃剑。AI大幅增加数学新想法，但也降低平均想法质量。
OpenAI首席科学家震撼爆料，其神秘内部模型仅凭一周成功攻克了10道未发表顶尖数学难题中的6道。这一名为First Proof的挑战标志着AI已从奥赛选手进化为前沿知识的创造者，奥特曼更直言STEM研究范式将被彻底重塑。