在人工智能与数学交汇的前沿，一场迟到七个月的正名之战终于落下帷幕。2026年5月20日，OpenAI 宣布其通用推理模型成功证明了埃尔德什（Paul Erdős）于1946年提出的单位距离猜想不成立——这是数学史上首次由 AI 自主完成且获领域专家背书的开难题证明。 事件回顾：从翻车到翻盘。去年10月，前 OpenAI VP Kevin Weil 高调宣布 GPT-5 解决了10个此前无解的埃尔德什问题，随后被数学家 Thomas Bloom 公开批为严重的虚假陈述——模型只是复现了文献中已有的解，一度让 OpenAI 在学术圈颜面尽失。 七个月后，OpenAI 卷土重来。这次有 Noga Alon、Melanie Wood、Thomas Bloom 等顶级数学家联名发布配套评论，验证了证明的正确性。Bloom 曾尖锐批评过 OpenAI 此前的失误，此次亲自表态认可，足见结论的分量。 技术突破意味着什么？该模型并非专门针对数学设计，而是通用推理模型。它能驾驭长链条逻辑、跨领域关联，发现了比传统近似方形网格更优的全新构造方法。Bloom 写道：AI