OmniTools 5月21日消息,OpenAI宣布其新型通用推理模型自主完成一项原创数学证明,否定了由保罗·埃尔德什(Paul Erdős)于1946年提出的著名几何猜想。该猜想长期被认为最优解近似于方格结构,而OpenAI模型发现了一类性能更优的全新构造形式。
与去年引发争议的类似声明不同,此次结论获得多位权威数学家公开支持,包括诺加·阿隆(Noga Alon)、梅拉妮·伍德(Melanie Wood)及托马斯·布鲁姆(Thomas Bloom)。后者长期维护埃尔德什问题网站,并曾批评此前相关误报为“严重失实”。
OpenAI强调,该模型并非专为数学问题训练,亦未针对此猜想微调,而是通过长程、跨领域推理实现突破。公司称这是AI首次自主解决数学核心领域的知名开放问题。