OpenAI通用模型推翻80年数学猜想,获菲尔兹奖得主认证

源自32位全网作者

05-23 10:11

内容由AI生成

精选参考来源

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

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

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

4. 23岁门外汉携ChatGPT,攻克60年数学猜想!陶哲轩:我们全走偏了

5. OpenAI 破解80年数学悬案,数学家的饭碗也危险了

6. 【突破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/

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

8. #微博声浪计划##听见微博# AI攻破80年数学难题!OpenAI模型推翻1946年埃尔德什平面单位距离猜想,用代数数论工具构造新方案,证明单位距离对数可达n^(1+δ),普林斯顿数学家优化得δ≥0.014。9位顶尖数学家评审通过,标志AI从辅助转向科研主体,跨学科思维突破认知禁锢。 谯华的微博音频

9. 困扰人类80年的数学难题,被AI破解了!奥特曼:感受很复杂

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

11. OpenAI 破解80年数学悬案,数学家的饭碗也危险了

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

13. AI 推翻著名几何猜想,OpenAI 宣布攻克 80 年数学难题!

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

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

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

17. 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#芯片封装#半导体设备

18. 名人邀请|这一次不是“狼来了”!OpenAI 通用模型自主攻克 80 年未解数学难题「请名人找他山石」

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

20. OpenAI大模型推翻近80年的数学定论,这次连数学家自己都没想到

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

22. AI首次证明数学核心猜想:80年的经典难题,被OpenAI搞定了

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

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

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

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

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

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

29. 困扰数学界80年的难题,被OpenAI轻易破解了

30. 5分钟AI速览 5月21日:OpenAI模型破解80年数学难题,DeepSeek招募Code Harness团队

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

32. 新闻播报-困扰人类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的猜想直接推翻。

1
扫一下,分享更方便,购买更轻松
0评论

当前文章无评论,是时候发表评论了
提示信息

取消
确认
评论举报

最新文章 热门文章