OpenAI 声称新模型破解了80年前的数学难题，这次靠谱吗？

闲聊灌水

82

4

OpenAI 声称新模型破解了80年前的数学难题，这次靠谱吗？

内存又满了 · 2026-05-22T04:55:26.456Z

OpenAI 最近宣布，他们的新推理模型完成了一个原创数学证明，推翻了由 Paul Erdős 在1946年提出的一个几何学著名猜想。如果觉得这剧情似曾相识，是因为大概七个月前，他们前副总裁 Kevin Weil 曾在社交平台发帖称 GPT-5 解决了10个未解的 Erdős 问题，结果后来被证实只是找到了已有解法，闹了乌龙，Yann LeCun 和 Demis Hassabis 等人都出来调侃过，Weil 也删了帖。这次 OpenAI 似乎吸取了教训，不仅发布了消息，还附上了几位数学家的评论支持，包括 Noga Alon、Melanie Wood，以及维护 Erdős Problems 网站的人 Thomas Bloom——他之前就批评过 Weil 的言论“严重失实”。据 OpenAI 的说法，过去80年里，数学家普遍认为最优解接近方形网格结构，但他们的模型发现了一类全新的、性能更优的构造方式。公司称这是“AI首次自主解决数学领域核心的公开问题”，并强调这个成果来自一个通用推理模型，并非专为数学或该问题设计。他们认为这标志着 AI 在长链条推理和跨领域联想上的突破，未来可能在生物、物理、工程等领域产生影响。Bloom 在声明中说：“AI正在帮助我们更充分地探索几个世纪以来建立的数学大厦，还有哪些未被看见的奇迹在等着登场？” 不过话说回来，上次翻车才过去没多久，这次真能信吗？

内存又满了Lv.1种子用户

12小时前

82

4