陶哲轩最新演讲：AI 不是来抢数学家蛋糕的，是来把蛋糕做大的
陶哲轩最新演讲：AI 不是来抢数学家蛋糕的，是来把蛋糕做大的陶哲轩办公室有 6 块黑板，他说绝不放弃。但他刚带 50 个人用 AI 和代码解决了 2200 万道数学题。
来自主题: AI资讯
5951 点击 2026-03-05 09:43
# 热门搜索 #
大模型
人工智能
openai
融资
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研究范式将被彻底重塑。
来自上海科学智能研究院（上智院）、北京大学、复旦大学的联合团队，提出了一套名为PackingStar的强化学习系统，一口气刷新了25-31连续7个维度的世界纪录。
今天，谷歌DeepMind「AI数学家」Aletheia彻底杀疯了，攻克数学猜想，独立写论文。更令人震惊的是，拿下金牌的Gemini一举横扫18大核心科研难题。
在经济学和博弈论的世界里，找到「纳什均衡」往往意味着找到了复杂局势下的最优解。多所顶尖高校的研究人员开发出了一位名为PrimeNash的「AI数学家」，不仅能像人类专家一样推导公式，还能解决许多连传统算法都束手无策的复杂博弈难题，成果已发表在Cell Press旗下的交叉学科期刊Nexus上。