摘要
智东西5月21日报道，今日，OpenAI宣布，其一款未对外发布的内部通用推理模型，独立完成了一份原创数学证明。该证明推翻了匈牙利数学家保罗·埃尔德什（Paul Erdős）1946年提出的“平面单位距离猜想”。这一难题悬置近80年，该模型还找到了一系列效果更优的全新构造方法。OpenAI称，这是AI首次独立攻克一个数学领域核心的著名公开难题。 ▲OpenAI官方X平台推文（图源：X） 值得关注的是，这一突破并非由专门为数学打造的系统完成，而是出自OpenAI一款未对外发布的通用推理模型。该模型没有使用任何针对“平面单位距离猜想”的专门训练或搭手架，就独立给出了全新的反例构造，还出人意料地借用了代数数论领域的工具——一个与组合几何交集较少的数学分支。 就在7个月前，OpenAI前副总裁凯文·韦尔（Kevin Weil）曾在X上宣称GPT-5“解决了10个此前未解的埃尔德什问题”，事后被证实只是检索到了已有文献中的解答，最终韦尔删帖并于2026年4月离职。 ▲OpenAI前副总裁凯文·韦尔（Kevin Weil）曾在X上宣称GPT-5“解决了10个此前未解的埃尔德什问题”（图源：X） 这一次，OpenAI发布了论文并同步公布了由多位顶级数学家撰写的同行评论，其中包括7个月前批评韦尔的那位——曼彻斯特大学数学家托马斯·布鲁姆（Thomas Bloom）。布鲁姆这次为新证明背书，称这是首个让他本人感到兴奋的、由AI自主产出的成果。 剑桥大学菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）则在评论中说，如果这篇论文以人类署名投到顶级期刊Annals of Mathematics并请他匿名评审，他会毫不犹豫推荐发表。 ▲OpenAI发布的Planar Point Sets with Many Unit Distances论文摘要（图源：OpenAI） 01 数学家80年未能撼动的几何猜想，被AI用一个跨领域工具给推翻了 此次被OpenAI攻破的题目叫“平面单位距离问题”（planar unit distance problem），题目看似很简单：在欧几里得平面上任意放置n个点，其中恰好相距1个单位的点对最多有多少？ 这个经典难题1946年由
摘要可能不完整，可查看原文