OpenAI 宣布，其新推理模型已经产生了原始数学证明，反驳了 Paul Erdős 于 1946 年首次提出的著名的未解决几何猜想。这一成就是在七个月前 OpenAI 前副总裁 Kevin Weil 提出的一项有争议的主张之后提出的，当时他在 X 上表示，GPT-5 找到了 10 个之前未解决的 Erdős 问题的解决方案，以及其他 11 个问题的解决方案。后来澄清，GPT-5 并没有真正解决这些问题，而是在文献中确定了现有的解决方案。
人工智能领域的竞争对手，包括 Yann LeCun 和谷歌 DeepMind 首席执行官 Demis Hassabis，批评了先前的说法，促使 Weil 删除了他的帖子。 OpenAI 的最新公告包括诺加·阿隆 (Noga Alon)、梅兰妮·伍德 (Melanie Wood) 和托马斯·布鲁姆 (Thomas Bloom) 等著名数学家的言论，他们支持这一反驳，并称韦尔早先的声明是“戏剧性的歪曲”。
OpenAI 表示，近 80 年来，数学家们一直认为该猜想的最优解类似于方形网格。据报道，新模型发现了一个全新的结构系列，其性能超越了人们长期以来的信念。据 OpenAI 称，这一案例标志着人工智能首次自主解决数学中的重大开放问题。
该证明源自通用推理模型，而不是为数学量身定制的系统，凸显了人工智能管理复杂推理任务和跨不同领域互连思想的能力。 OpenAI 强调了这一发展对生物学、物理学、工程和医学的潜在影响。
数学家托马斯·布鲁姆 (Thomas Bloom) 表示，人工智能正在促进对数学的更深入探索，并质疑未来可能会有哪些其他重大发现。 “人工智能正在帮助我们更全面地探索我们几个世纪以来建造的数学大教堂，”他说。
<小时/>
