陶哲轩

啥？陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了

不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT）。要知道，陶哲轩和Kontorovich在2024年1月提出这个挑战后，足足花了18个月（今年7月）的时间，也才取得阶段性的进展。

9/15/2025 9:00:00 AM

陶哲轩都惊了！o3首战「AI奥数」碾压夺冠，开源军团仅差5分狂追OpenAI

「AI奥数」第二届大赛，英伟达团队（NemoSkills）曾夺下第一！这一次，AIMO2组委会再次重启赛题，OpenAI o3首次参赛，就拿下了最亮眼的成绩。陶哲轩激动表示，过去，这个比赛仅限于开源模型，计算资源也卡得比较紧。

9/8/2025 9:15:00 AM

GPT-5又帮陶哲轩解决了一个难题

GPT-5又帮陶哲轩解决了一个难题！消息来自陶本人最新动态，他衷心提醒大家：AI能够大显身手的场景再 1——半自动化文献检索。简单来说，陶正在做的事情，其实就是用AI 数据库比对来帮忙解决数学里的难题。

9/4/2025 9:04:13 AM

78年后，中国数学家刷新世界记录！陶哲轩伯乐的外星人难题新突破

1947年，陶哲轩的伯乐Erdős提出了组合数学中Ramsey数下界。 10岁的陶哲轩和Erdős最近，国内的马杰等三位研究人员联手带来了首次指数级改进。他们公布了一篇arxiv新论文展示了这一领域的惊人进展：论文链接：、计算机科学家Gil Kalai表示改进令人惊叹！

8/11/2025 9:27:00 AM

菲尔兹奖得主、UCLA数学教授陶哲轩（Terence Tao）这几天很无助，更多的还有是愤怒。这位数学家中的天才，最近接连遭遇重创——先是他就职的UCLA有3.39亿美元的科研经费被冻结，陶的个人研究以及UCLA应用数学研究所IPAM失去资金支持，后续研究几近无枝可依。紧接着，当陶哲轩在社交媒体上表达对这一举措的不理解后，招来了更猛烈的舆论争议——许多网友开始质疑陶的一些学术成果并不像宣传中所说的那么重要，“因为医学成像领域（以及其他领域，如地震学、天文学和统计学）的研究人员已经在不同时间通过实证发现了非常相似的算法”。

8/5/2025 2:54:39 PM

解道奥赛题成本5000美元？陶哲轩警告，AI下一步要规模化的「更便宜」

人工智能和数学是密不可分的。 AI 的发展离不开数学的进步，同时 AI 的进步也离不开解决数学问题的能力。在刚结束不久的 IMO 竞赛中，谷歌的新一代 Gemini 进阶版模型成功解决了六道超高难度试题中的五道，达到了今年 IMO 的金牌水平（35/42)，成为首个获得奥赛组委会官方认定为金牌的 AI 系统。

7/25/2025 1:24:00 PM

机器之心

“那题我也没解出”：陶哲轩寄语 IMO 闭幕式，谈金牌、友情与勇气

大数据文摘出品今年这届 IMO 无比热闹，先是中国代表队六人全部获得金牌，以总分231分，列全球第一。然后，AI 也首次站上IMO金牌线：谷歌DeepMind宣布，其最新模型Gemini Deep Think取得35分，成功获得IMO官方认证的金牌成绩。这是AI历史上第一次在数学奥赛中达到这一高度。

7/24/2025 4:30:48 PM

先别急着给OpenAI加冕！陶哲轩：这种「金牌」，含金量取决于「赛制」

昨天，OpenAI 官宣了一个重磅消息：他们的一个推理模型在国际数学奥林匹克（IMO）竞赛中获得了金牌水平的表现。官宣该消息的 OpenAI 研究科学家 Alexander Wei 表示，在评估过程中，研究团队严格按照人类选手的比赛规则进行测试：模型需要在两个 4.5 小时的考试环节中，在没有任何工具或网络辅助的情况下，阅读官方题目并撰写自然语言证明。在评估中，该模型成功解决了 2025 年 IMO 六道题目中的五道，获得了 35 分（满分 42 分）的成绩，足以获得金牌。

7/20/2025 3:09:00 PM

机器之心

陶哲轩看傻：三破18年数学纪录！谷歌推出「AI爱迪生」，科研不再靠灵感？

5月中旬，谷歌在科学和计算领域投下了重磅炸弹：AlphaEvolve。利用Gemini模型，它发现全新的算法。比如说，仅用30天，AlphaEvolve与人类联手三度攻克一项封尘18年的数学难题！

7/14/2025 9:20:00 AM

陶哲轩罕见长长长长长访谈：数学、AI和给年轻人的建议

陶哲轩罕见接受了一次长长长长访谈，把他关于数学、AI、教育和人类智慧的最新认知，都对外分享了。作为菲尔兹奖得主，陶哲轩一直被认为是当世最伟大的数学家之一，而这次在与MIT技术背景的播客大神Lex Fridman的对话，也是他近年来首次接受超3小时的非学术机构访谈，内容覆盖数学前沿、AI形式化验证、科研方法论等多个硬核议题。不仅谈论分享了数学和物理相关的专业性观点，还结合当下AI技术迅速发展的背景，作出了很多像基础教育和AI应用的大众话题思考……陶哲轩金句频出，比如：AI和菲尔兹奖的距离，只差一个研究生了。

6/23/2025 8:45:00 AM