OpenAI新推理模型破解80年几何猜想 引领数学AI新纪元

重大突破

OpenAI今日发布的通用推理模型在几何领域取得突破，正式否定了自1946年由Paul Erdős提出的著名几何猜想。该模型并非专门为数学设计，而是面向通用推理的系统，能够在长链推理和跨领域关联上表现出前所未有的能力。

“AI正帮助我们更完整地探索数百年来构筑的数学大教堂，未知的奇迹正等待被揭示。”——Thomas Bloom

背景回顾

• 2025年7月，OpenAI前副总裁Kevin Weil在X上夸口称GPT‑5已解决10个Erdős未解问题，随后被证实为已存在文献的重复答案，引发业界质疑。
• 本次突破在此前的争议后进行，OpenAI主动邀请数学界权威——Noga Alon、Melanie Wood、Thomas Bloom等人共同审阅并发表声明。

关键细节

• 模型概述：全新推理模型采用多模态Transformer架构，结合数理逻辑推理模块与大规模知识图谱。
• 证伪过程：模型生成了全新的构造族，展示在特定参数空间下比传统方格构造更优，从而直接反驳了该猜想的核心假设。
• 验证方式：数学家通过独立复核，确认模型提供的构造满足所有严格的几何约束，并在同行评审前发表预印本。

学术与行业影响

1. 数学研究：首次出现AI自主提出全新数学构造并得到社区认可，可能改变传统证明流程。
2. 跨学科应用：长链推理能力对生物、物理、工程等领域的复杂模型构建具备潜在价值。
3. 技术路线：展示了通用推理模型在非特定任务上的可迁移性，为下一代AGI研发提供实证支撑。

未来展望

OpenAI表示，将继续开放模型的技术细节，鼓励学术界与产业界合作，探索AI在数学以外更广阔的科研场景。业界观察者预计，若后续能够在其他未解难题上复现类似成果，AI在基础科学中的角色将从“工具”升级为“共同研究者”。