陶哲轩

陶哲轩敲警钟！谷歌DeepMind联手五大神殿，用AI向世纪难题宣战

今天，谷歌DeepMind重磅发起「AI赋能数学计划」，集结了全球五大顶尖机构。他们将用上谷歌最强数学AI，去探索发现新的疆域。这其中，有夺下IMO金牌的Gemini Deep Think，有算法发现AI智能体AlphaEvolve，还有形式化证明自动补全AlphaProof。

10/30/2025 4:08:28 PM

陶哲轩用GPT5-Pro跨界挑战！3年无解的难题，11分钟出完整证明

陶哲轩与GPT-5 Pro这对搭档再大发神威，解决了一个3年无人解决的难题。而且是“不太在自己专业范围内”的问题：微分几何领域的开放问题。要知道，陶哲轩擅长的分析、数论、组合学等研究的往往是整数、函数、算子的性质。

10/11/2025 3:44:23 PM

陶哲轩：用了GPT-5 Pro后，小尺度、宏观尺度很赞，中尺度有点垮

说起对 AI 的使用，著名数学家陶哲轩可谓是最具代表性的一位。这位菲尔兹奖得主，不仅在数学领域不断拓展边界，如今也积极尝试与 AI 协作，探索人工智能在数学研究中的真正潜力。他最近使用 ChatGPT-5 Pro 挑战一个自己并不熟悉的开放问题，曲率有界的球面（Sphere with bounded curvature），并在过程中详细记录了 AI 在不同层面上带来的帮助与局限。

10/11/2025 1:16:00 PM

机器之心

陶哲轩长文剖析现代社会：大型组织挤压小型社群，个体陷入疏离困境，AI正在加速这一进程

陶哲轩刚刚发布长文，从一个协作式数学项目引发的社群现象出发，提出了一个观察现代人类社会的宏观框架。该框架认为，现代技术和激励体系在赋能个体与大型组织的同时，正在严重削弱小型组织的生态位，导致个体普遍面临疏离感、孤独感和无力感。人类社会的四个尺度文章首先提出一个粗略的划分，将人类社会视为四个不同尺度上实体间的互动：1.个体人类2.小型人类组织：如家庭、朋友、本地社团、小型企业、临时项目组、小型在线社群等。

9/25/2025 4:36:09 PM

啥？陶哲轩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