AI让数学面对证明过剩危机，数学家从证明者转向提问者
00:07
精选参考来源
CGTN 2026-08-16
来自新浪微博
今日头条 2026-08-11
来源
精选参考来源
1. 【AI“杀死”数学家？邓煜：别急着落子】在接受CGTN主持人田薇的专访时，2026年#菲尔兹奖#得主#邓煜#谈及AI与数学研究的未来。他表示，面对AI带来的变化，不必过度焦虑：“别急着落子”。AI的突破并非数学研究的终点，而是人类探索新知的新起点。只要能理解AI的推导，我们就能在其肩膀上开拓新知。AI越强，#数学#研究的“加速器”就越强；而AI变得更强，也将帮助人类变得更强。 In an exclusive interview with CGTN, 2026 Fields Medalist Deng Yu shared his thoughts on the future of AI and mathematical research. He believes there is no need to be overly anxious about the changes AI is bringing: "Hold your horses." AI breakthroughs are not the end of mathematical research, but a new starting point for human discovery. The stronger AI becomes, the more powerful an accelerator it can be for mathematical research, and the stronger it can make us, too. CGTN的微博视频
新浪微博 2026-08-16 00:00:00
2. 陶哲轩警告：AI证明太多了，人类来不及消化，数学正滑向\
今日头条 2026-08-11 00:00:00
3. AI 疯狂产出数学证明，陶哲轩急了：我们只剩几个月应对危机
今日头条 2026-08-11 00:00:00
4. 获得菲尔兹奖后，他告别数学加入OpenAI！专访加拿大数学家雅各布・齐默曼：别迷信AI能力有天花板，我研究AI是为了控制它
今日头条 2026-08-11 00:00:00
5. 菲尔兹奖得主齐默曼离开学术界加入OpenAI：研究AI是为了控制它
今日头条 2026-08-11 00:00:00
6. 获菲尔兹奖后，他告别数学加入OpenAI，加拿大数学家雅各布・齐默曼：目标是找到控制AI的办法，AI已成时代最关键、最危险的技术变量之一
今日头条 2026-08-11 00:00:00
7. 获菲尔兹奖后，他加入OpenAI，加拿大数学家雅各布・齐默曼：目标是找到控制AI的办法
今日头条 2026-08-11 00:00:00
8. 菲尔兹奖得主转投AI，数学将被改写 | He Won Maths Highest Prize Then Announced the End | Curt Ja
哔哩哔哩 2026-08-11 00:00:00
9. 未来的菲尔兹奖都离不开AI？其实AI更离不开数学
今日头条 2026-08-12 00:00:00
10. 数学家的“灵性危机”：当AI推翻猜想，暴露的不是算力，而是预设的边界
知乎 2026-08-11 00:00:00
11. AI攻克50年数学难题却不“懂”？黎曼猜想人类还能守住吗
今日头条 2026-08-13 00:00:00
12. AI开始自己搞科研，数学界要被大模型攻破了？
今日头条 2026-08-12 00:00:00
13. 一个辍学生和60个AI分身，一天半改写了167年的数学纪录
今日头条 2026-08-12 00:00:00
14. Anthropic用60个AI子智能体攻克数学难题：AI做研究方式彻底变了
今日头条 2026-08-12 00:00:00
15. AI用一天半改写37年数学纪录，但没解开黎曼猜想
今日头条 2026-08-11 00:00:00
16. OpenAI 称 AI 攻克 10 个长期数学难题，数学家反响复杂
微信公众号 2026-08-12 00:00:00
17. 2026年8月10日，Anthropic公布了一个震动数学界的结果： 未公开的研究版Claude在尝试证明黎曼猜想时虽未成功，但将临界线上零点比例的下界从41.6%一举提升到67.25%。 人类用了37年从40%推到41.6%，AI一次跳了25个百分点。Claude用约60个子智能体协作，消耗3100万输出token，运行2400条shell命令，写出数百个Python脚本做数值验证，最终还完成了Lean形式化证明（可机器检验）。领域专家Brian Conrey和Dan Goldstein已审阅。 也许，在2030年代的某个时候，一个或多个人类-AI协作团队在AI大规模搜索和形式化验证的辅助下，发现了一个连接解析数论、数学物理和随机矩阵理论的新结构——很可能是希尔伯特-波利亚算子的某种具体构造——从而完成证明。AI在其中的角色类似于"超级博士后"：执行海量计算、发现意外联系、验证每一步逻辑，但最初的概念火花可能仍需人类点燃。
抖音 2026-08-12 00:00:00
18. 一个AI跑了36小时3100万Token，Anthropic在黎曼假设上取得进展 AI开始啃数学界的百年硬骨头了。 据TechCrunch报道，Anthropic一个尚未发布的模型，被员工要求挑战黎曼假设——数学界150年未解的世纪难题，克雷数学研究所悬赏百万美元的千禧年七大难题之一。 这个模型连续运行36小时，生成650个数学想法，消耗3100万输出Token，协调60个专门子智能体跨分布式网络协作。虽然没能完全证明黎曼假设，但它成功推进了假设成立时解的下界——这意味着在更多情况下证明了假设成立。 这是AI在纯数学研究领域取得的真实进展。不是写诗不是画图不是写代码，而是在人类最抽象的知识领域做出创造性贡献。 技术细节值得深挖。模型没有依赖单一上下文窗口，而是让60个子智能体分头探索不同方向，再汇总结果。这种架构和智源研究院刚发布的AREX自主研究智能体思路高度一致——"研究→验证→再研究"双循环递归框架，让AI在长程任务中持续自我修正。 我搞内容自动化这一年，Agent调用几十轮工具就算长任务了。Anthropic这个跑了36小时、3100万Token的实验，把Agent长程任务的天花板拉到了新高度。这不是简单的prompt工程，而是让AI具备了初步的科研自主性——自己提出假设、自己验证、自己修正方向。 AI在数学这种最严苛的领域做出增量发现，意味着什么？意味着AI的科研能力正在逼近临界点。不是替代科学家，而是成为科学家的超级助手——人类提出方向和判断，AI负责海量计算和验证。 当AI能在纯数学领域取得突破，物理、化学、生物这些依赖数学基础的学科，还会远吗？ 你觉得AI能在这十年内完全证明黎曼假设吗？评论区聊聊你的判断。
今日头条 2026-08-12 00:00:00
19. AI 开始真正进入数学研究了。 The Verge 最近采访多位数学家，讨论 OpenAI 内部模型 Astra 解出 10 个长期未解决数学问题后的影响。 这些问题横跨群论、纠错码、高维几何等领域，其中一些已经困扰数学家数十年。OpenAI 还发布了超过 250 页论文，并用 Lean 对结果进行形式化验证。 真正让数学界紧张的，其实还有另一个问题。 AI 现在解决的，恰好有不少是博士生和年轻研究者过去几年会做的课题。以后如果 AI 可以快速完成这些工作，年轻数学家靠解决具体问题积累研究能力的路径也会受到影响。 但目前还不能简单说 AI 已经“取代数学家”。数学研究的价值不只是解决问题，更重要的是能不能提出新的概念、方法和研究方向。 现在 AI 更像是在不断加速“解题”这一步。 下一步真正值得观察的，是它能不能开始提出数学家自己都没想到的问题。
今日头条 2026-08-11 00:00:00
20. 黎曼猜想被推进25个点，超过数学家50年努力，AI是上帝对普通人的赏赐——凤凰网[赞] 这句话对应的真实事件是2026年7月（也就是上个月）数学界的一则重磅新闻。知名数学家陶哲轩（Terence Tao）与多位合作者，利用AI辅助（主要基于Lean证明助手和机器学习算法），将黎曼猜想中关于“零点分布”的已知边界推进了约 25个数量级（即极大幅度地缩小了误差范围），这在数学界被认为是一个巨大的突破。
今日头条 2026-08-11 00:00:00
21. 菲尔兹奖得主邓煜：AI变强的同时，也会推动人类研究者突破自身 8月10日，在2026国际基础科学大会“数学之夜”活动中，菲尔兹奖得主邓煜就AI对于数学研究的影响分享了自己的见解。他指出，AI在不断变强的同时，也会推动人类研究者突破自身边界。邓煜认为，当人和AI对同一道难题所感知到的难度截然不同时，如何界定问题的难易程度、如何评判一项研究工作的学术价值，成为值得关注的核心问题之一。他进一步展望，未来若AI能够生成篇幅更长、结构更复杂的数学证明，学界或将这些由AI推导出的新结果纳入既有的知识体系中，并以此作为新起点，继续开展后续研究。（中青报·中青网记者 杨洁 实习生吴淑敏）#AI #菲尔兹奖
今日头条 2026-08-12 00:00:00
22. AI攻克世界级数学难题，60个智能体协同演算，刷新科研纪录 今日AI科研传来颠覆性突破，Anthropic最新未发布大模型，成功助力人类攻坚黎曼猜想难题。 本次科研突破并非简单运算，而是AI调动60个子智能体协同作业，1.5天内测试650组创新推演思路，成功优化黎曼猜想解的下界范围。所有推演结果均经过内部数学家核验，通过Lean形式化验证，数据真实有效。 黎曼猜想是困扰数学界百年的顶级难题，关乎数论、密码学、大数据运算多个核心领域。过去仅靠人类学者数十年难以突破的瓶颈，如今AI短时间实现重大进展，意味着AI不再只是工具，已经具备顶尖基础科研能力。未来数理化、天文、生物等硬核科研领域，AI将成为人类最强科研搭档。 你觉得未来AI会彻底取代人类基础科研工作吗？#科研AI新范式# #AI科研大脑# #多模态AI模型# #AI数学验证# #ai研制# #AI算力封锁# #AI数学天才# #AI科研神器#
今日头条 2026-08-12 00:00:00
23. AI证明黎曼猜想？追平人类37年进度！但哥德尔却给AI划定了天花板
今日头条 2026-08-11 00:00:00
24. 在智能数学时代，慨叹证明的消逝 - 哔哩哔哩
哔哩哔哩 2026-08-12 00:00:00
25. 菲尔兹奖得主邓煜谈AI对数学的影响
哔哩哔哩 2026-08-11 00:00:00
26. 8月10日晚，菲尔兹奖得主邓煜在国际基础科学大会（ICBS 2026）“数学之夜”活动中在线分享AI对数学的影响。 邓煜认为：对于一些开放问题，人工智能还无法解决，即便AI能够生成更复杂的正确证明，数学家仍会把这些结果纳入知识体系，并以此为新的起点继续提问和探求本质理解。 他建议青年学子利用 AI和前沿技术提升提升自己，保有做数学的乐趣。 #科学家 #人工智能
抖音 2026-08-11 00:00:00
27. 黎曼猜想没证成,41.6%到67.2%被AI偷家 未发布的Claude把黎曼零点下界从41.6%干到67.2%。论文+Lean形式化开源,审稿阵容含Brian Conrey、Dan Goldston。这事比你想的更值得讨论——Anthropic自己也没打包票能导向最终证明,但AI自己啃数学前沿已经从PPT走到Lean仓库了。#Anthropic #Claude #黎曼猜想 #AI数学 #Lean定理证明 #人工智能
抖音 2026-08-11 00:00:00
28. 李江涛观点，大模型改变了数学研究的底层逻辑
今日头条 2026-08-13 00:00:00
29. AI已能证明黎曼猜想，我们却无法验证：形式数学如何打破4000年瓶颈
哔哩哔哩 2026-08-11 00:00:00
30. Anthropic未发布AI模型取得进展，推进150年数学猜想
今日头条 2026-08-12 00:00:00
31. 菲尔兹奖得主邓煜：AI既有显著长处，也存在明显局限
今日头条 2026-08-11 00:00:00
32. 菲尔兹奖得主邓煜：AI尚未冲击我所从事的领域
今日头条 2026-08-11 00:00:00
33. AI真能做数学科研？看完这篇看懂真实情况
今日头条 2026-08-11 00:00:00
34. AI攻克这些菲尔兹级别的数学难题靠什么
知乎 2026-08-12 00:00:00
已收藏
去我的收藏夹