AI能解80年数学难题，普通人学数学反而更有用了
05-23 10:05
精选参考来源
精选参考来源
1. #微博声浪计划##听见微博# AI攻破80年数学难题！OpenAI模型推翻1946年埃尔德什平面单位距离猜想，用代数数论工具构造新方案，证明单位距离对数可达n^(1+δ)，普林斯顿数学家优化得δ≥0.014。9位顶尖数学家评审通过，标志AI从辅助转向科研主体，跨学科思维突破认知禁锢。 谯华的微博音频
新浪微博 2026-05-22 00:00:00
2. OpenAI 破解80年数学悬案，数学家的饭碗也危险了
微信公众号 2026-05-21 00:00:00
3. 所有数学家都看傻了，不敢相信！OpenAI模型干翻80年的数学猜想，平面单位距离问题，它不是验证人类的证明，而是提出新构造，连接不同数学分支，自己用代数数论等工具解决离散几何问题，贡献了新的数学发现，菲尔兹奖得主表示这是AI数学里程碑！#科技##人工智能##ai##openai##数学# 赛博奇的微博视频
新浪微博 2026-05-21 00:00:00
4. 如何评价 OpenAI 称推翻困扰数学界近 80 年的「平面单位距离猜想」？这一结果的可信度如何？
知乎 2026-05-21 00:00:00
5. 【陶哲轩谈AI：廉价胜利还是真正的研究伙伴？】快速阅读： 陶哲轩在最新访谈中给AI数学能力泼了盆冷水，称那些被吹上天的“AI攻克Erdős猜想”多是专家半天能搞定的活。但他也承认，到2026年AI有望成为可信赖的初级合著者。问题是：AI能执行已知技术，却留不下人类数学家那种深刻的思维痕迹。---陶哲轩对AI的态度可以用三个字概括：有用，但。那些让人激动的“AI解决Erdős问题”的新闻，在他看来大多是cheap wins。一千多个Erdős问题里挑出来的长尾题目，用的是标准技术，给个专家半天时间也能搞定。这话听起来像是在泼冷水，但你换个角度想：三年前ChatGPT还在数strawberry有几个r这种问题上翻车，现在已经能做到“专家半天能搞定”的水平了。目标确实在移动。陶哲轩预测AI到2026年能达到“可信赖的初级合著者”水平。这个判断来自2023年，当时推理模型还没开发出来，结果进度基本符合预期。有网友指出一个有趣的对比：有人的博士论文题目，陶哲轩几小时就给解了。所以他眼中的“廉价胜利”，可能已经超过很多职业数学家一生中最难的研究。真正让陶哲轩在意的不是AI能不能算得对，而是它算完之后留下了什么。人类数学家证明一个定理，过程中会产生概念性的洞见，那些弯路、直觉、失败的尝试本身就是知识。AI的证明缺乏这种“思维痕迹”。它可以用暴力计算扫荡一大片问题空间，但不会告诉你为什么走这条路而不是那条。有观点认为这就像字典比你认识的单词多，但字典不会写诗。也有人反驳：这分明是在移动门柱，几年前AI连完整句子都说不利索，现在开始嫌人家证明不够优雅了。陶哲轩最近几次访谈里反复提到一件事：他担心的不仅是AI能不能做到，而是如果AI真的能越来越多地把人从循环中移除，对人类的智识生活意味着什么。这是一个更大的问题，他没有给出答案。他呼吁AI系统需要更好的不确定性信号——也就是说，让AI知道自己不知道什么，而不是一本正经地胡说八道。他更倾向于人机交互式协作，而非那种按一个按钮就自动出结果的流程。数学会不会在今年年底被“解决”？有人赌会。但至少在陶哲轩看来，AI改变的是数学的实践方式，不是一夜之间取代数学家。它把数学从手工作坊式的精雕细琢，推向大规模的问题探索。至于这算进步还是损失，可能取决于你觉得数学到底是什么。---简评：陶哲轩的真正恐惧藏在一个词里：“把人从循环中移除”。这不是在讨论AI能不能证明定理，而是在追问：如果证明定理不再需要人类的挣扎、顿悟和失败，那“做数学”这件事对人还意味着什么？字典认识所有单词却不会写诗，但如果有一天字典开始写诗，我们会说那不叫诗——因为诗的定义就是“人类写的”。 他要求AI保留“不确定性信号”，本质上是在请求：请给人类留一个参与的借口。这听起来很傲慢，但也很悲壮——我们正在发明一种东西，它最大的成功标志就是让发明者变得多余。---www.reddit.com/r/singularity/comments/1rf41gl/math_legend_terence_tao_on_the_promise_and_limits
新浪微博 2026-02-27 00:00:00
6. GPT5.5一个通用版本破解了Erdős1946年提出来的“平面单位距离问题”。在这篇AI4S表示战争里我说过：“求解 = 翻译 × 计算。顶级数学家未来最核心的能力，或许不再是‘解题’，而是‘翻译’——但这条分界线，正在移动。”Erdős单位距离问题这个案例，恰好把这条分界线的“移动”演示得非常具体：翻译：AI独立完成了一次跨域连接——把离散几何问题“翻译”进了代数数论（无限类域塔+Golod–Shafarevich理论）。这不是在给定框架内计算，而是自主发现了一种新的表示框架。这正是我的文章里说的最难被AI侵蚀的那部分：“‘换一种表示’本身需要一个天才花数年时间完成。”现在 AI 用125页思考过程做到了。解释：Gowers等人事后写了人类版解释论文——这件事本身很耐人寻味。AI完成了翻译+计算，但可传递的洞见仍然需要人类来重新整理和表述。我的文章里说的那道鸿沟：“如果AI给出的答案通过了形式验证，但没有人能说出背后的数学结构，那我们得到的是一个工具，而不是数学意义上的理解。”这道鸿沟在这个案例里依然存在——AI给出了可验证的构造，但“为什么这个塔结构能work”的直觉性理解，还是靠人类数学家来补全。求解 = 翻译 × 计算，理解 = 翻译 + 语言化
新浪微博 2026-05-21 00:00:00
7. OpenAI彻底震撼数学界，80年核心猜想被破解！菲尔兹奖得主惊呼坐不稳
知乎 2026-05-21 00:00:00
8. 【突破80年数学难题！OpenAI推理模型改写离散几何研究史】快速阅读：OpenAI 的通用推理模型自主破解了存在 80 年之久的离散几何难题——单位距离问题。这不仅是 AI 首次独立解决数学领域的重大猜想，更通过跨学科的“降维打击”，证明了 AI 具备从现有知识中提取并建立全新逻辑连接的原创能力。关于“LLM 只是在对训练数据进行插值”的论调，最近被一个数学事实扇了耳光。大家常说 AI 没有创造力，只是在已有的知识凸包（Convex Hull）里做插值，也就是在已知点之间找过渡。但 OpenAI 的模型刚刚做了一件极其反直觉的事：它推翻了 Erdős 提出的单位距离问题猜想。这个猜想困扰了数学界 80 年，大家一直觉得“方格阵列”就是最优解，结果 AI 甩出了一个完全不同的构造方式。有意思的是，这个解法不是靠暴力穷举，而是极其优雅地把代数数论里的深奥工具，跨界应用到了几何问题上。这就像是在一个原本以为已经填满的房间里，AI 突然发现了一扇通往新维度的门。有网友对此讨论得很有深度。有人认为，这种跨领域的“组合创新”本质上就是一种高级的插值，因为工具本身是人类发明的。但也有观点反驳，如果 AI 仅仅是复读机，它怎么可能在没有任何几何学训练的情况下，精准地调用代数数论的“武器库”来解决问题？这让我想起计算机体系里的指令流水线。如果 LLM 只是简单的查表，它永远无法处理未定义的指令。现在的突破说明，模型内部已经形成了某种程度的“概念表征”，它能通过逻辑链条，在看似无关的知识层级之间进行函数调用。这并不意味着数学家失业了。相反，当 AI 能在庞大的知识空间里进行高效搜索和路径探索时，人类的价值在于定义那些“值得被解决”的问题，并从 AI 给出的奇异解中，读出背后的真理。数学的疆域远比我们看到的要大，也许我们之前只是在已知空间的边缘徘徊。openai.com/index/model-disproves-discrete-geometry-conjecture/
新浪微博 2026-05-21 00:00:00
9. 如何评价 OpenAI 称推翻困扰数学界近 80 年的「平面单位距离猜想」？这一结果的可信度如何？
知乎 2026-05-21 00:00:00
10. 从全网群嘲到让学术界颤抖!OpenAI 攻破 80 年数学悬案,菲尔兹奖得主预言灵验:AI正将人类逐出科研循环
新浪财经
11. 学数学有用吗?
知乎
12. 如何在生活中培养数学思维习惯?
网易
13. 南京巨石教育为你阐述数学学习的重要性
14. OpenAI 研究人员夸大 GPT-5 数学能力后删帖,遭杨立昆等业界人士批评
15. Fontiermath得分25?数学家依然断言:o3并没超过大学生
腾讯网
16. 李大潜院士:为什么学数学?因为它能帮助我们认识和改造世界
17. TeleAI “复杂推理大模型” 达竞赛级数学表现,评分超 o1-preview
量子位
18. o3拿下IOI 2024金牌!新论文公布秘诀:AI自己设计测试时推理策略
网易
19. 到底为什么要学数学？
知乎
20. 大国院士 | 数学很难,所以才好玩——专访中国科学院院士袁亚湘
腾讯网
21. 丘成桐:追求看似“无用的知识”
https://www.tsinghua.edu.cn/info/1662/125295.htm
22. OpenAIAIƷһѧ80IJ
https://ai.zhiding.cn/2026/0522/3187851.shtml
23. 上海AI实验室OREAL算法:强化学习突破AI数学推理新纪录
新浪财经
24. AI自主证伪数学猜想！科学家集体落伍？
微信公众号 2026-05-21 00:00:00
25. AI推翻著名几何猜想，OpenAI宣布攻克80年数学难题
今日头条 2026-05-21 00:00:00
26. AI 推翻了一个 80 年的数学猜想：OpenAI 模型自主解决了埃尔多什的单位距离问题
微信公众号 2026-05-21 00:00:00
27. OpenAI 的一个通用推理模型在离散几何领域取得的突破性进 OpenAI 的一个通用推理模型在离散几何领域取得的突破性进展，该模型成功推翻了由数学家保罗·埃尔德什于1946年提出的单位距离问题中的核心猜想。通过引入代数数论中深奥的对称性工具，这一人工智能系统证明了特定点集构造在效率上超越了长期被视为最优的“正方形网格”方案，其结果已获外部专家验证。这不仅是 AI 首次自主解决数学界重要的开放性难题，更展示了跨学科推理在攻克前沿科研难题中的巨大潜力。此项成果标志着人工智能正从人类助手的角色转变为能够产生原创巧妙想法的研究伙伴，为生物学、物理学等更广泛科学领域的自动化发现铺平了道路。 #数据结构与算法 #统计分析 #统计概率 #人工智能 #AI
抖音 2026-05-21 00:00:00
28. 困扰人类80年的数学难题，被AI破解了！奥特曼：感受很复杂
知乎 2026-05-21 00:00:00
29. AI时代数学建模能力研究报告
微信公众号 2026-04-24 00:00:00
30. AI解决数学难题的方法与人类传统方法有何根本不同?
新浪财经
31. OpenAI 模型推翻离散几何学核心猜想
知乎 2026-05-21 00:00:00
32. OpenAI 模型推翻一项近 80 年数学猜想
小红书 2026-05-21 00:00:00
33. 刚刚，ChatGPT推翻80年未解猜想，菲尔兹奖得主：AI数学里程碑
微信公众号 2026-05-21 00:00:00
34. AI解80年未解猜想：「Erdős单位距离问题」
小红书 2026-05-21 00:00:00
35. 2026年职场最升值的技能，不是会用AI【深度思考】
微信公众号 2026-05-09 00:00:00
36. openAI播客：AI 会数学之后，最先被改变是科学研究
微信公众号 2026-05-05 00:00:00
37. OpenAI 模型推翻了一个存在近80年的几何猜想
今日头条 2026-05-21 00:00:00
38. 重磅：OpenAI模型在数学领域取得重大新进展——OpenAI模型推翻了离散几何中的一个中心猜想
微信公众号 2026-05-21 00:00:00
39. OpenAI模型推翻了数学界80年的猜想，Erdős难题被AI终结
知乎 2026-05-21 00:00:00
40. AI重塑数学的范式转变
哔哩哔哩 2026-05-21 00:00:00
41. OpenAI 刚刚推翻了一个几何猜想：我用“圆心画圆”的误解，终于看懂了它为什么震撼
知乎 2026-05-22 00:00:00
42. 重磅！刚刚OpenAI宣布通用模型解决困扰人类80年的单位距离问题，彻底震惊整个数学界
微信公众号 2026-05-21 00:00:00
43. AI首次证明数学核心猜想：80年的经典难题，被OpenAI搞定了
今日头条 2026-05-21 00:00:00
44. 【AI前沿访谈】当AI开始精通数学，离AGI还有多远？
哔哩哔哩 2026-05-08 00:00:00
45. OpenAI 模型推翻了一个 80 年的数学猜想
小红书 2026-05-21 00:00:00
46. 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#芯片封装#半导体设备
今日头条 2026-05-21 00:00:00
47. 【梓庆解鐻】平面点集与大量单位距离：OpenAI推翻Erdős单位距离猜想的构造
哔哩哔哩 2026-05-22 00:00:00
48. 260428-如今人工智能擅长数学，会带来什么变化？——OpenAI播客第17期
哔哩哔哩 2026-04-29 00:00:00
49. 新闻播报-困扰人类80年的数学难题被AI破解了 #数学难题 #AI #破解 #科学 OpenAI宣布：其内部一个通用推理模型，自主推翻了“平面单位距离猜想”——这道由匈牙利数学家保罗·Erdős于1946年提出的几何难题，困扰数学界整整79年。这个问题本身说起来并不复杂：在平面上随机放 n 个点，最多能有多少对点之间的距离恰好等于 1 ？这就是 “平面单位距离问题”。数学家们长期认为，最优解大概长这样：把点排成一个正方形网格，然后按比例缩放，这样能产生大约n1+C/loglognn1+C/loglogn对单位距离。这个增长速度只比线性快一点点。Erdős猜测不可能有构型能显著超越方格网格。但OpenAI的模型给出了一族新的点集构型，对无穷多个n值，单位距离对数达到了 n1+δn1+δ，其中δ是一个固定的正数。也就是说，它不仅超越了方格网格，还把Erdős的猜想直接推翻。
抖音 2026-05-21 00:00:00
50. AI 推翻 80 年数学猜想 今天 OpenAI 发布了一段官方视频：他们的一个内部通用推理模型，推翻了平面单位距离问题里的一个核心猜想。这个问题由埃尔德什在 1946 年提出，平面上放 n 个点，最多有多少对点之间的距离刚好等于 1 #人工智能 #AI科研 #数学 #AI工具 #科技前沿
抖音 2026-05-21 00:00:00
51. OpenAI推理模型突破80年几何难题，AI自主证明开启数学新篇章
今日头条 2026-05-21 00:00:00
52. OpenAI解决80年未解老难题 #认知觉醒 #创作者中心 #创作灵感 近 80 年来，数学家们一直在研究一个看似简单的问题：在平面上放置 n 个点，最多能有多少对点的距离恰好为 1？ 这就是平面单位距离问题，由 Paul Erdős 于 1946 年首次提出。它是组合几何中最著名的问题之一，表述简单却极难解决。 以前大家普遍认为，最好的摆法大概只能得到“差不多和点数成正比”的结果（比如几千个点最多得到几千对）。 OpenAI 的模型突然发现了一种聪明得多的摆法，能得到的“正好1厘米”的配对数量明显更多（数学上叫多项式提升）。直接把这个领域的一个核心猜想给推翻了。 AI 不是靠暴力搜索，也不是专门为数学设计的。它用了一种非常意外的高级数论方法（本来研究很抽象的“数字王国”里的规律），来解决一个看起来很初等的平面几何问题。 连数学家都说：“这想法很优雅、很巧妙，我们之前没想到。” 该结果的发现方式也值得注意：证明来自一个通用推理模型，而非专门针对数学训练、搭建了证明搜索框架或专门针对单位距离问题的系统。 #AI颠覆数学 #OpenAI硬核突破
抖音 2026-05-21 00:00:00
53. 刚刚，AI干了一件数学家80年没干成的事
小红书 2026-05-21 00:00:00
已收藏
去我的收藏夹