陶哲轩
陶哲轩：AI让数学进入「工业化」时代，数学家也可以是「包工头」
很多人提到数学研究，脑子里浮现的还是那个画面：一个人，一块白板，来回踱步，等灵感突然降临。 但当今世界最伟大的数学家之一、菲尔兹奖得主陶哲轩却告诉我们：这种「手工业时代」的数学研究模式正处于崩溃边缘，一场由 AI 和形式化证明语言（如 Lean）引领的「工业革命」已经悄然开启。 这一洞察来自陶哲轩最近的一次访谈：视频标题：Terry Tao on the future of mathematics视频链接：，陶哲轩指出，数学研究中存在大量的重复性劳动，如查阅文献、调整他人论文中的参数以及繁琐的计算。
GPT-5 首次独立攻克数学难题，透明化归因实验引发学界争论
瑞士数学家约翰内斯·施密特（Johannes Schmitt）近期在 X 上发布了一项足以载入史册的研究成果:GPT-5在没有任何人类干预或提示引导的情况下，首次独立解决了一个长期未解的数学难题。 施密特评价称，GPT-5的解决方案展现了令人惊叹的创造力，它并未遵循该领域的常规逻辑，而是跨界借鉴了代数几何其他分支的技术手段。 这一突破不仅印证了数学大师陶哲轩此前对 AI 潜力的预判，更将科学界推向了一个必须直面“AI 独立贡献”的新阶段。
谷歌AlphaEvolve太香了，陶哲轩甚至发了篇论文，启发数学新构造
著名数学家陶哲轩发论文了，除了陶大神，论文作者还包括 Google DeepMind 高级研究工程师 BOGDAN GEORGIEV 等人。 论文展示了 AlphaEvolve 如何作为一种工具，自主发现新的数学构造，并推动人们对长期未解数学难题的理解。 AlphaEvolve 是谷歌在今年 5 月发布的一项研究，一个由 LLMs 驱动的革命性进化编码智能体。
陶哲轩敲警钟！谷歌DeepMind联手五大神殿，用AI向世纪难题宣战
今天，谷歌DeepMind重磅发起「AI赋能数学计划」，集结了全球五大顶尖机构。 他们将用上谷歌最强数学AI，去探索发现新的疆域。 这其中，有夺下IMO金牌的Gemini Deep Think，有算法发现AI智能体AlphaEvolve，还有形式化证明自动补全AlphaProof。
陶哲轩用GPT5-Pro跨界挑战！3年无解的难题，11分钟出完整证明
陶哲轩与GPT-5 Pro这对搭档再大发神威，解决了一个3年无人解决的难题。 而且是“不太在自己专业范围内”的问题：微分几何领域的开放问题。 要知道，陶哲轩擅长的分析、数论、组合学等研究的往往是整数、函数、算子的性质。
陶哲轩：用了GPT-5 Pro后，小尺度、宏观尺度很赞，中尺度有点垮
说起对 AI 的使用，著名数学家陶哲轩可谓是最具代表性的一位。 这位菲尔兹奖得主，不仅在数学领域不断拓展边界，如今也积极尝试与 AI 协作，探索人工智能在数学研究中的真正潜力。 他最近使用 ChatGPT-5 Pro 挑战一个自己并不熟悉的开放问题，曲率有界的球面（Sphere with bounded curvature），并在过程中详细记录了 AI 在不同层面上带来的帮助与局限。
陶哲轩长文剖析现代社会：大型组织挤压小型社群，个体陷入疏离困境，AI正在加速这一进程
陶哲轩刚刚发布长文，从一个协作式数学项目引发的社群现象出发，提出了一个观察现代人类社会的宏观框架。 该框架认为，现代技术和激励体系在赋能个体与大型组织的同时，正在严重削弱小型组织的生态位，导致个体普遍面临疏离感、孤独感和无力感。 人类社会的四个尺度文章首先提出一个粗略的划分，将人类社会视为四个不同尺度上实体间的互动：1.个体人类2.小型人类组织：如家庭、朋友、本地社团、小型企业、临时项目组、小型在线社群等。
啥？陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了
不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT）。 要知道，陶哲轩和Kontorovich在2024年1月提出这个挑战后，足足花了18个月（今年7月）的时间，也才取得阶段性的进展。
陶哲轩都惊了！o3首战「AI奥数」碾压夺冠，开源军团仅差5分狂追OpenAI
「AI奥数」第二届大赛，英伟达团队（NemoSkills）曾夺下第一！ 这一次，AIMO2组委会再次重启赛题，OpenAI o3首次参赛，就拿下了最亮眼的成绩。 陶哲轩激动表示，过去，这个比赛仅限于开源模型，计算资源也卡得比较紧。
GPT-5又帮陶哲轩解决了一个难题
GPT-5又帮陶哲轩解决了一个难题！ 消息来自陶本人最新动态，他衷心提醒大家：AI能够大显身手的场景再 1——半自动化文献检索。 简单来说，陶正在做的事情，其实就是用AI 数据库比对来帮忙解决数学里的难题。
78年后，中国数学家刷新世界记录！陶哲轩伯乐的外星人难题新突破
1947年，陶哲轩的伯乐Erdős提出了组合数学中Ramsey数下界。 10岁的陶哲轩和Erdős最近，国内的马杰等三位研究人员联手带来了首次指数级改进。 他们公布了一篇arxiv新论文展示了这一领域的惊人进展：论文链接：、计算机科学家Gil Kalai表示改进令人惊叹！
陶哲轩经费被断供，在线发帖自证数学有用
菲尔兹奖得主、UCLA数学教授陶哲轩（Terence Tao）这几天很无助，更多的还有是愤怒。 这位数学家中的天才，最近接连遭遇重创——先是他就职的UCLA有3.39亿美元的科研经费被冻结，陶的个人研究以及UCLA应用数学研究所IPAM失去资金支持，后续研究几近无枝可依。 紧接着，当陶哲轩在社交媒体上表达对这一举措的不理解后，招来了更猛烈的舆论争议——许多网友开始质疑陶的一些学术成果并不像宣传中所说的那么重要，“因为医学成像领域（以及其他领域，如地震学、天文学和统计学）的研究人员已经在不同时间通过实证发现了非常相似的算法”。
解道奥赛题成本5000美元？陶哲轩警告，AI下一步要规模化的「更便宜」
人工智能和数学是密不可分的。 AI 的发展离不开数学的进步，同时 AI 的进步也离不开解决数学问题的能力。 在刚结束不久的 IMO 竞赛中，谷歌的新一代 Gemini 进阶版模型成功解决了六道超高难度试题中的五道，达到了今年 IMO 的金牌水平（35/42)，成为首个获得奥赛组委会官方认定为金牌的 AI 系统。
“那题我也没解出”：陶哲轩寄语 IMO 闭幕式，谈金牌、友情与勇气
大数据文摘出品今年这届 IMO 无比热闹，先是中国代表队六人全部获得金牌，以总分231分，列全球第一。 然后，AI 也首次站上IMO金牌线：谷歌DeepMind宣布，其最新模型Gemini Deep Think取得35分，成功获得IMO官方认证的金牌成绩。 这是AI历史上第一次在数学奥赛中达到这一高度。
先别急着给OpenAI加冕！陶哲轩：这种「金牌」，含金量取决于「赛制」
昨天，OpenAI 官宣了一个重磅消息：他们的一个推理模型在国际数学奥林匹克（IMO）竞赛中获得了金牌水平的表现。 官宣该消息的 OpenAI 研究科学家 Alexander Wei 表示，在评估过程中，研究团队严格按照人类选手的比赛规则进行测试：模型需要在两个 4.5 小时的考试环节中，在没有任何工具或网络辅助的情况下，阅读官方题目并撰写自然语言证明。 在评估中，该模型成功解决了 2025 年 IMO 六道题目中的五道，获得了 35 分（满分 42 分）的成绩，足以获得金牌。
陶哲轩看傻：三破18年数学纪录！谷歌推出「AI爱迪生」，科研不再靠灵感？
5月中旬，谷歌在科学和计算领域投下了重磅炸弹：AlphaEvolve。 利用Gemini模型，它发现全新的算法。 比如说，仅用30天，AlphaEvolve与人类联手三度攻克一项封尘18年的数学难题！
陶哲轩罕见长长长长长访谈：数学、AI和给年轻人的建议
陶哲轩罕见接受了一次长长长长访谈，把他关于数学、AI、教育和人类智慧的最新认知，都对外分享了。 作为菲尔兹奖得主，陶哲轩一直被认为是当世最伟大的数学家之一，而这次在与MIT技术背景的播客大神Lex Fridman的对话，也是他近年来首次接受超3小时的非学术机构访谈，内容覆盖数学前沿、AI形式化验证、科研方法论等多个硬核议题。 不仅谈论分享了数学和物理相关的专业性观点，还结合当下AI技术迅速发展的背景，作出了很多像基础教育和AI应用的大众话题思考……陶哲轩金句频出，比如：AI和菲尔兹奖的距离，只差一个研究生了。
刚刚！陶哲轩3小时对话流出：AI抢攻菲尔兹奖倒计时
昨天，陶哲轩公开表示：在未来，AI有可能获得菲尔兹奖。 在时长3小时14分钟的节目中，他还讨论了数学和物理学中最难的问题：纳维–斯托克斯问题 万有理论 广义相对论 孪生素数猜想 费马大定理 考拉兹猜想 P=NP 问题一开始，陶哲轩就认为统一物理理论（比如量子力学与广义相对论）之所以难以进展，是因为还没有找到正确的数学语言。 而AI可能帮助人类实现「大统一理论」，至少也是发现过程中的一部分。
资讯热榜
标签云
AI
人工智能
OpenAI
AIGC
模型
ChatGPT
谷歌
DeepSeek
AI新词
AI绘画
大模型
机器人
数据
Midjourney
开源
Meta
微软
智能
用户
GPT
学习
英伟达
Gemini
智能体
技术
马斯克
Anthropic
图像
AI创作
训练
LLM
论文
AI for Science
代码
腾讯
苹果
算法
Agent
Claude
芯片
具身智能
Stable Diffusion
xAI
蛋白质
人形机器人
开发者
生成式
神经网络
机器学习
AI视频
3D
字节跳动
大语言模型
RAG
Sora
百度
研究
GPU
生成
华为
工具
AGI
计算
生成式AI
AI设计
大型语言模型
搜索
亚马逊
AI模型
视频生成
特斯拉
DeepMind
场景
Copilot
深度学习
Transformer
架构
MCP
编程
视觉