OpenAI 推理模型推翻 80 年几何猜想：AI 首次自主证明 Erdős 开放问题-低调大师

OpenAI 推理模型推翻 80 年几何猜想：AI 首次自主证明 Erdős 开放问题

2026-05-21 5

数学界迎来了一次里程碑式突破。OpenAI近日宣布，其内部推理模型生成了一份原创数学证明，推翻了保罗·Erdős于1946年提出的单位距离猜想——一个困扰数学家近80年的离散几何开放问题。

这一成果的发布紧随OpenAI上一次失败之后。七个月前，前副总裁Kevin Weil曾宣称GPT-5解决了10个Erdős问题，但随后被学界证伪：那些"解法"不过是模型从已有学术文献中检索出来的，而非真正的原创证明。这一次，OpenAI吸取了教训，邀请了多位知名数学家对证明进行独立验证。

Thomas Bloom、Noga Alon、Melanie Wood等数学家在配套声明中明确支持OpenAI的证明。OpenAI在官方声明中表示："近80年来，数学家们一直认为最优解大致呈现为网格状排列。一个OpenAI模型如今推翻了这一认知，发现了表现更好的全新构造家族。"

这项工作标志着AI首次自主解决了一个处于数学核心地位的开放问题。过去，AI在数学领域的表现多集中于已解决问题的重新发现或验证已知证明，而非真正意义的原创突破。然而这一次，模型不仅发现了证明，还找到了此前从未被数学家考虑过的新型构造方案。

从技术角度看，该模型展现了处理长链推理的能力。数学证明往往涉及数百步逻辑推导，每一步都必须严格无误。这种能力的要求与当前大语言模型常见的"幻觉"问题形成鲜明对比——在开放式问题面前，模型无法依赖训练数据中的模式，必须完全依赖内在推理能力。

这一突破的意义远超数学本身。单位距离猜想与组合几何、图论等领域密切相关，其研究成果可能辐射至生物学（如蛋白质折叠）、物理学（晶体结构研究）、工程学（网络优化）乃至医学（分子设计）。数学家Melanie Wood指出，理解点集在平面中的分布规律，对于材料科学和药物设计具有重要参考价值。

不过，也有学者保持谨慎态度。Math Twitter上的部分研究者指出，需要等待更长时间的同行评审，才能确认这一证明完全成立。Erdős本人以其苛刻的证明标准著称，即使是这个以他名字命名的猜想，也需要经受住最严格的检验。

无论如何，AI在数学推理领域的进展正在加速。从AlphaProof到如今的Erdős问题突破，AI正在从"工具"向"合作伙伴"演进——它不仅能执行计算，还能进行原创性的数学思考。

参考来源：

TechCrunch: https://techcrunch.com/2026/05/20/openai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time/
OpenAI官方博客: https://openai.com/index/model-disproves-discrete-geometry-conjecture/

微信关注我们

原文链接：https://www.oschina.net/news/443573

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

大规模 npm 供应链攻击持续，黑客 20 分钟内发布 630 个恶意版本

开源生态正在经历一场持续升级的供应链攻击。5月19日，安全公司StepSecurity和SafeDep警告称，一场针对npm生态的大规模攻击活动正在进行中——攻击者入侵了热门开源项目开发者账户，在约20分钟内发布了超过630个恶意版本，涉及317个npm包。这轮攻击被安全研究人员命名为"Mini Shai-Hulud"，是此前更大规模Shai-Hulud攻击活动的后续。攻击者通过获取开发者账户权限，向npm仓库推送恶意更新，利用下游开发者对开源包的信任实现横向渗透。SafeDep指出，攻击者的目标是窃取开发者的各类凭证——包...

2026-05-20

1

ByteDance Intelligent Creation Lab 宣布推出了一款原生统一多模态模型Lance，以 3B 激活参数和多任务协同训练，在单一原生统一框架中支持图像/视频理解、生成与编辑，兼顾资源效率、能力广度与跨任务泛化。目前相关模型权重和代码以开源。根据介绍，Lance 的核心优势之一，是在 3B 模型规模下提供更完整的多任务支持。它不是将若干模块简单拼接，而是在统一上下文空间中联合建模不同模态与任务，使理解、生成和编辑能力能够相互促进。 Lance 在视频生成中能够准确遵循复杂文本指令，生成具备自然运动、稳定时序一致性、清晰视觉细节和较强语义表达的视频内容。在视频编辑...

2026-05-21

4

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。