AI颠覆80年数学猜想：通用模型如何跳出人类思维定式_科学技术

1. DeepSeek-Math-V2深度拆解：开源IMO金牌模型的自验证秘诀

2. DeepSeek强势回归，开源IMO金牌级数学模型

3. 深度求索DeepSeekMath-V2开源模型碾压人类， Putnam数学竞赛获118分接近满分！

4. DeepSeek-Math-V2数学模型开源，成绩碾压OpenAI和谷歌同类模型

5. 刚刚，ChatGPT推翻80年未解猜想，菲尔兹奖得主：AI数学里程碑

6. OpenAI彻底震撼数学界，80年核心猜想被破解！菲尔兹奖得主惊呼坐不稳

7. 大炸来了，IMO金牌！DeepSeek告诉你什么叫“证明”—— DeepSeekMath Heavy模式

8. 陶哲轩震撼！数学家1975年埋下的「坑」，被AI和全球网友用48小时填平了

9. #DeepSeek推出新模型# DeepSeek发布新模型DeepSeekMath-V2：迈向自我可验证的数学推理。该模型是基于 DeepSeek-V3.2-Exp-Base 的数学推理模型。在 2025 年国际数学奥林匹克竞赛（IMO 2025）与 2024 年中国数学奥林匹克竞赛（CMO 2024）中均达到金牌水准，并在 2024 年普特南数学竞赛（Putnam 2024）中取得 118/120（近乎满分）的优异成绩。#科技先锋官#

10. 当AI开始泡在数学项目里：DeepMind的48%突破意味着什么？

11. 如何评价 OpenAI 称推翻困扰数学界近 80 年的「平面单位距离猜想」？这一结果的可信度如何？

12. 菲尔兹奖得主用AI解出博士级数学题，然后他开始为博士生们发愁了

13. DeepSeek开源了IMO金牌级数学模型：DeepSeek-Math-V2，这个模型基于 DeepSeek-V3.2-Exp-Base 开发，它的性能优于 Gemini DeepThink，实现了 IMO 金牌级的水平。这个版本最大的亮点，它不只是生成答案，而是引入了一个专门的“验证器”模型来检查推理步骤，模仿了人类数学家“大胆假设，小心求证”的过程，其中：生成器：负责提出解题思路和步骤。验证器：负责评估每一步的逻辑严密性，甚至能主动发现并纠正错误。冷启动与强化学习：基于DeepSeek-V3.2-Exp-Base底座，利用强化学习针对数学领域进行了深度优化。这种自验证机制为什么重要？是因为它直接解决了数学 AI 长期存在的核心问题：算对答案，并不意味着真正懂得推理。#DeepSeek新模型有多猛#

14. AI又要颠覆数学？陶哲轩紧急发声：停止造神！

15. 推翻150年数学直觉：数学家烧坏几台笔记本，解决几何拓扑难题

16. #DeepSeek新模型有多猛# DeepSeek新模型直接拿了国际数学奥赛金牌，把其他数学AI都比下去了。它不光会做题，还能自己检查、自己改、自己重做，像个全能选手。代数题比GPT-5和Gemini强很多，几何题得分是Gemini的将近三倍，厉害太多。这还是第一个开源模型在数学推理上冲到世界顶尖水平。当别人还关起门来搞研究时，DeepSeek已经把数学这道最难的门推开了一条缝。你们说猛不猛？

17. 困扰人类60年的数学猜想，AI花80分钟解出来了！ #大有学问 #红衣聊AI #数学 #科研

18. 有人不理解在 AI 时代，我建议的多 “运用 token ” 是什么意思。。。所以我找一个文章，是个转载，说的是一个顶尖数学家，是如何“运用 token ”，解决全球数学难题的。这个故事，充分讲解了人和 AI 的互动关系和双方的价值。而这个价值的量化指标，其实就是你消耗的 token 的多少和 ROI 。以下是转载，来自 x 的 @ doteyxxxxxxxxx世界顶级数学家陶哲轩在解决一个 Erdős（埃尔德什）的经典问题时，全流程都在用 AI 做助手——从证明草案，到简化证明，再到形式化验证。Erdős 是20世纪最高产的数学家之一，一辈子发表了1500多篇论文，提出了无数开放问题。数学圈有个著名的"埃尔德什数"——如果你和他合作过论文，你的埃尔德什数就是1；和他的合作者合作过，就是2，以此类推。爱因斯坦的埃尔德什数是2。后来有人专门做了一个网站，把他的很多未解决/已解决问题系统整理出来，这就是 Erdos Problems 网站。陶哲轩讲的是其中的第 367 号问题，属于数论里的一个具体问题，专业数学研究级别的问题。解决过程大概是这样的：一位数学家 Wouter van Doorn 先给出一个人类手写的反例证明草案，但里面有一个关键恒等式他没完全证明，只是说：“相信有人能帮我确认一下”。陶哲轩把这个恒等式扔给 Google 的 Gemini Deepthink 模式。大概十分钟后，Gemini 给出了一份完整证明，还顺带确认了整套论证是成立的。Gemini 的证明用到了 p-adic 等比较高级的代数数论工具，对这个具体问题来说有点杀鸡用牛刀。于是陶哲轩花了半小时，把 AI 的证明手工转化成更基础、更易懂的版本。两天后，另一位数学家 Boris Alexeev 用一个叫 Aristotle 的工具（基于 AI + Lean）完成了全套形式化证明，还特意手动检查最终结论，以防 AI 在形式化过程中存在编造。陶哲轩觉得还没完，又用 Deep Research （同时用了 ChatGPT 和 Gemini）做了一轮文献搜索，看这个问题有没有前人类似工作。结果找到了若干关于连续幂数的相关论文，但没有直接解决第 367 号问题。整个流程：人类提出猜想 → AI暴力证明 → 人类简化优化 → AI辅助形式化验证。都在说 Gemini 3 已经到了博士生水平，看来所言非虚，这些事情真的需要数学博士级别才能做的出来，但另一方面，真正的数学家也并没有被 AI 代替：是人类决定哪个问题值得解决，是人类判断AI的p-adic方法太重了需要简化，是人类手工完成最终的形式化表述以验证 AI 的结果是否准确。AI 做的是那些需要大量计算、符号推演、但方向已经明确的体力活。在 AI 时代，问对问题、甄别结果，比以前更重要了。

19. 半夜被AI「吓醒」！57岁导师投奔24岁华人女学霸，打造「AI数学家」

20. 盘点一周AI大事(12月7日)｜GPT5.2下周发布 Gemini 3 Deep Think正式上线 OpenAI下周12月9日发布大蒜模型GPT5.2，下月发布大葱模型GPT5.5全面吊打Gemini 3 DeepSeek开源最强推理模型DeepSeek V3.2 Mistral开源Mistral 3家族 OpenAGI发布最强电脑操作模型Lux Runway发布最强视频模型Gen 4.5 阿里开源数字人直播模型Live Avatar 字节发布顶级图像模型Seedream 4.5 研究员推出3D空间音频模型ViSAudio 微软开源实时语音模型VibeVoice Harmonic推出亚里士多德智能体，6个小时解决了悬赏30年的数学问题 #抖音知识年终大赏 #AI新星计划 #人工智能 #OpenAI #机器人

21. 只把 20 世纪前的物理数学知识喂给 AI，AI 能推导出狭义或广义相对论吗？

22. 谷歌Gemini 3杀疯了！陶哲轩亲测：10分钟干翻百年数学难题

23. 所有数学家都看傻了，不敢相信！OpenAI模型干翻80年的数学猜想，平面单位距离问题，它不是验证人类的证明，而是提出新构造，连接不同数学分支，自己用代数数论等工具解决离散几何问题，贡献了新的数学发现，菲尔兹奖得主表示这是AI数学里程碑！#科技##人工智能##ai##openai##数学# 赛博奇的微博视频

24. 如何评价陶哲轩《AI 时代的数学方法与人类思想》这篇文章？你有哪些思考？

25. 数学的价值单元重构人工智能将数学工作的基本单位，从定理证明改写为结构发现。想象一个孩子不再满足于按照说明书拼搭乐高模型，而是开始随手组合各种零件，并兴奋地向你展示他偶然搭出的、能自己保持平衡的奇异结构，这个结构本身可能比一个标准的飞船模型更有趣。数学工作正经历类似的转变：重心从“正确完成已知题目”转向“探索未知结构的可能性”。在药物研发领域，传统的“假设-实验”循环如同寻找一把能打开特定锁的钥匙。而AI的介入，如同直接生成海量前所未有的锁芯和钥匙形状的配对，研究人员的工作不再是亲手打磨一把钥匙，而是从这些生成的海量“结构对”中，筛选出那些能带来新治疗机制的、最值得深入研究的奇异组合。价值的单元从“一次实验验证”变成了“一个有待验证的新结构设想”。观察一个城市的交通系统优化。旧方法是基于拥堵数据（“已证明的问题”）调整红绿灯时序（“求解”）。新方法则是利用AI模拟，直接生成大量违背当前道路设计常识的虚拟路网和交通规则结构，从中发现某些能极大提升整体效率的怪异模式（例如允许特定时段的“逆向可变车道”），这些模式本身成为了新的知识单元。人类规划者的角色从“求解者”转变为“新结构模式的识别与诠释者”。这就像从“专注于解答教科书每一章末尾的习题集”，转向“被鼓励去拆解和重组不同章节的公式，看看能混合出什么书上从未出现过的新奇表达式，并探究其特性”。学习的目标从掌握解题技能，过渡到了培育对数学结构本身的直觉和创造力。类似于语言学中从“研究经典文本的语法”到“分析社交媒体如何动态催生新词与新句法结构”的范式迁移。前者关注的是在既定规则内的表达是否正确优美；后者则捕捉语言作为一个活系统，其生成新规则单元的机制。AI数学将焦点放在了数学“语言”自身是如何生长出新“句法”的。在形式化验证领域，这体现为从“使用Lean等工具严格验证一个已知猜想的证明”（确保叙述符合语法）到“AlphaEvolve直接搜索并输出一个符合所有形式化约束的、人类未曾想到的算法结构”（生成了新的、合法的“句子”甚至“段落”）。其核心突破不是推理速度，而是搜索空间的根本性重构——它直接定位到高价值结构所在的“区域”。未来，评估一项数学相关工作的价值，将越来越不取决于你解决了多少已知难题（那可能由AI高效完成），而取决于你能否设定正确的探索框架，并诠释AI发现的新颖结构。我们的教育应更注重培养对数学的“品味”（判断哪些结构更有潜力）和“翻译能力”（将AI发现的结构转化为人类可理解的理论），而非仅仅训练解题熟练度。在科研中，与AI协作的重点将是为其设计能孕育“结构变异”的环境，并建立筛选与理解这些产出的新范式。

26. 已发现成果的再发现许多重大发现其实早已被发现，只是未被足够多人“看见”。想象一个满是旧书的图书馆，你兴奋地“发现”了一本好书，结果图书管理员平静地说：“它一直在那儿，只是很久没人借了。”AI解决某些数学难题的过程，就如同这位读者。你提到的三个埃尔德什问题正是如此。问题#897的反例其实在1981年的论文中就已出现，甚至被归功于埃尔德什本人。问题#333的答案也早已蕴藏在1977年一篇论文的定理中。问题#481则在1982年就被证明了。AI的“解决”，更像是一次对已有文献的“重新编译”和“匹配”，而非真正的无中生有。这揭示了知识系统中的一个深层现象：一个结论从被首次证明，到被学术共同体充分知晓、记录并整合进知识体系，中间存在巨大的“能见度延迟”。大量知识处于“已证明但未普及”的隐匿状态，如同宇宙中的暗物质。好比在学校里，一个复杂公式的“标准解法”人人熟知。但同时，一个更巧妙的解法可能早已被某个学生在草稿纸上发现，只是他没有告诉老师，这个解法也就从未进入课堂，对其他学生而言它仍是“未解之谜”。在通识层面，这类似于科学史上的“多重独立发现”定律，如牛顿和莱布尼茨各自创立微积分。但区别在于，AI并非独立发现，它更像是一个拥有过目不忘能力，却对知识权威和脉络缺乏敏感度的“实习生”，在浩如烟海的存档中，偶然翻出了被遗忘的答案。从专业角度看，这触及了形式化验证（如Lean）与数学知识传播的关系。AI结合形式化工具，正像一个自动化的“知识考古扫描仪”。它的能力不是创造新知，而是高效地遍历、识别并确证那些本就存在于知识库中、但未被明确标签和链接的“知识碎片”。它的价值在于填补“已知”与“共识”之间的沟壑。这具体地指导我们，在面对AI（或其他工具）宣称的“突破”时，应首先将其视为一次强力的“知识检索”或“关联提示”。在研究和学习中，我们应更注重对“已有但沉默”的知识进行系统梳理和显性化，或许比盲目追求前沿更具基础价值。对于AI，未来的方向不一定是让它变得更“天才”，而是让它成为更理解知识脉络的“考古学家”或“图谱编织者”，主动照亮知识暗区，而非偶然踢到宝藏。

27. 盘点一周AI大事(4月19日)｜Claude终结设计 Anthropic上线Claude Design，接管整个设计流程 Anthropic上线最强编码模型Claude Opus 4.7 OpenAI内测下一代图像模型GPT-Image-2 OpenAI升级Codex，全面对标Claude Code Heygen开源视频制作技能包HyperFrames Quiver上线最强矢量图模型Arrow 1.1 Adobe发布重新打光图像模型TokenLight 字节开源数字人模型OmniShow 阿里开源开放世界模型Happy Oyster 研究员开源最强3D动画模型AniGen Gemini上线最强语音合成模型Gemini 3.1 Flash TTS Meta研发出神经计算机Neural Computers #前沿科技趋势发布月 #AI新星计划 #AI #AIGC #大模型

28. DeepSeek推出DeepSeekMath‑V2 模型，主攻自验证数学推理能力

29. OpenAI宣布内部模型攻克80年几何谜团,独立数学家已验证

30. OpenAI实验模型在国际数学奥林匹克竞赛中获得金牌级表现

31. OpenAI 刚刚推翻了一个几何猜想：我用“圆心画圆”的误解，终于看懂了它为什么震撼

32. 5月21日，OpenAI官宣：其内部通用推理模型自主推翻了"平面单位距离猜想"——这道1946年由数学家Erdős提出的几何难题，困扰学界79年无人能解。这次OpenAI学乖了。七个月前GPT-5被曝只是翻文献找现成答案，遭DeepMind和Meta嘲讽后删帖。这回直接拉来菲尔兹奖得主Gowers、普林斯顿教授Alon等顶尖数学家联署验证，全部确认成立。当初批评OpenAI"严重误导"的数学家Bloom，这次亲自盖章："AI正在探索数学大教堂的奇迹。"AI给出了全新点集构型，用代数数论工具将Erdős猜想直接推翻，δ值精确到0.014。Gowers称之为"AI数学的里程碑"，Alon评价"构造优雅巧妙"。关键在于，这是通用模型而非专用系统。OpenAI科学家魏亚历山大直言：AI很快将在物理、生物、医学等领域自主产出里程碑成果。但OpenAI也强调：人来选问题、解读结果，专业知识变得更有价值而非更少。#AI#芯片封装#半导体设备

33. 刚刚，GPT-5.2Pro独立证明45年未解的埃尔德什猜想！菲尔茨奖得主陶哲轩：其中存在陷阱，但AI没犯错

34. AI 推翻了一个 80 年的数学猜想：OpenAI 模型自主解决了埃尔多什的单位距离问题

35. AI解80年未解猜想：「Erdős单位距离问题」

36. 科研范式变了! AI首次独立解决数学界顶级公开难题

37. 【梓庆解鐻】平面点集与大量单位距离：OpenAI推翻Erdős单位距离猜想的构造

38. AI刚刚攻破80年数学难题，顶级科学家苦熬无果，AI解题路子太野了

39. OpenAI解决80年未解老难题 #认知觉醒 #创作者中心 #创作灵感近 80 年来，数学家们一直在研究一个看似简单的问题：在平面上放置 n 个点，最多能有多少对点的距离恰好为 1？这就是平面单位距离问题，由 Paul Erdős 于 1946 年首次提出。它是组合几何中最著名的问题之一，表述简单却极难解决。以前大家普遍认为，最好的摆法大概只能得到“差不多和点数成正比”的结果（比如几千个点最多得到几千对）。 OpenAI 的模型突然发现了一种聪明得多的摆法，能得到的“正好1厘米”的配对数量明显更多（数学上叫多项式提升）。直接把这个领域的一个核心猜想给推翻了。 AI 不是靠暴力搜索，也不是专门为数学设计的。它用了一种非常意外的高级数论方法（本来研究很抽象的“数字王国”里的规律），来解决一个看起来很初等的平面几何问题。 连数学家都说：“这想法很优雅、很巧妙，我们之前没想到。” 该结果的发现方式也值得注意：证明来自一个通用推理模型，而非专门针对数学训练、搭建了证明搜索框架或专门针对单位距离问题的系统。 #AI颠覆数学 #OpenAI硬核突破

40. OpenAI 模型推翻离散几何学核心猜想

41. 重磅！刚刚OpenAI宣布通用模型解决困扰人类80年的单位距离问题，彻底震惊整个数学界

42. AI攻克79年数学难题：通用推理模型跨领域突破，奥特曼感慨万千

43. 历史性突破，OpenAI模型搞定人类科学家80年未破难题，能发顶刊了

44. OpenAI 模型推翻一项近 80 年数学猜想

45. 新闻播报-困扰人类80年的数学难题被AI破解了 #数学难题 #AI #破解 #科学 OpenAI宣布：其内部一个通用推理模型，自主推翻了“平面单位距离猜想”——这道由匈牙利数学家保罗·Erdős于1946年提出的几何难题，困扰数学界整整79年。这个问题本身说起来并不复杂：在平面上随机放 n 个点，最多能有多少对点之间的距离恰好等于 1 ？这就是 “平面单位距离问题”。数学家们长期认为，最优解大概长这样：把点排成一个正方形网格，然后按比例缩放，这样能产生大约n1+C/log⁡log⁡nn1+C/loglogn对单位距离。这个增长速度只比线性快一点点。Erdős猜测不可能有构型能显著超越方格网格。但OpenAI的模型给出了一族新的点集构型，对无穷多个n值，单位距离对数达到了 n1+δn1+δ，其中δ是一个固定的正数。也就是说，它不仅超越了方格网格，还把Erdős的猜想直接推翻。

46. OpenAI 模型推翻了一个 80 年的数学猜想

47. 刚刚，ChatGPT推翻80年未解猜想

48. OpenAI 模型推翻了一个存在近80年的几何猜想

49. AI 推翻著名几何猜想，OpenAI 宣布攻克 80 年数学难题！

50. OpenAI推理模型突破80年几何难题，AI自主证明开启数学新篇章

51. 80年几何难题被OpenAI用深度数论破解

52. AI 推翻 80 年数学猜想今天 OpenAI 发布了一段官方视频：他们的一个内部通用推理模型，推翻了平面单位距离问题里的一个核心猜想。这个问题由埃尔德什在 1946 年提出，平面上放 n 个点，最多有多少对点之间的距离刚好等于 1 #人工智能 #AI科研 #数学 #AI工具 #科技前沿

53. 菲尔兹奖得主都看懵了：OpenAI非数学模型首次自主突破80年未解数学难题

54. OpenAI模型推翻了数学界80年的猜想，Erdős难题被AI终结

55. 5月21日AI日报：80年数学难题的结论值得每个从业者看

56. OpenAI 的一个通用推理模型在离散几何领域取得的突破性进 OpenAI 的一个通用推理模型在离散几何领域取得的突破性进展，该模型成功推翻了由数学家保罗·埃尔德什于1946年提出的单位距离问题中的核心猜想。通过引入代数数论中深奥的对称性工具，这一人工智能系统证明了特定点集构造在效率上超越了长期被视为最优的“正方形网格”方案，其结果已获外部专家验证。这不仅是 AI 首次自主解决数学界重要的开放性难题，更展示了跨学科推理在攻克前沿科研难题中的巨大潜力。此项成果标志着人工智能正从人类助手的角色转变为能够产生原创巧妙想法的研究伙伴，为生物学、物理学等更广泛科学领域的自动化发现铺平了道路。 #数据结构与算法 #统计分析 #统计概率 #人工智能 #AI

57. 重磅：OpenAI模型在数学领域取得重大新进展——OpenAI模型推翻了离散几何中的一个中心猜想

AI颠覆80年数学猜想：通用模型如何跳出人类思维定式

精选参考来源