5月21日,OpenAI扔下一颗重磅炸弹——其全新推理模型成功推导出一个原创数学证明,推翻了几何学中一道悬而未决80年的著名猜想。
80年难题,一朝告破
这道猜想最早由数学巨匠保罗·埃尔德什于1946年提出。近八十年来,数学家们始终认为最优解的形态大致趋近于正方形网格结构。OpenAI的模型却推翻了这一固有认知,发现了一类表现更为优异的全新构造体系。
值得注意的是,OpenAI这次学乖了。七个月前,公司前副总裁凯文·韦尔曾高调宣称”GPT-5攻克了10道埃尔德什难题”,结果被证实只是找出了学术文献中的现成解法,招来杨立昆、哈萨比斯等同行的群嘲。这一次,OpenAI附上了包括诺加·阿隆、梅兰妮·伍德在内的多位数学家的佐证言论,连此前直言韦尔失实的托马斯·布鲁姆也站出来背书。
通用模型,非专用工具
更值得关注的是,这份证明来自一款通用推理模型,并非专门为数学问题量身打造的专用系统。OpenAI认为这意味着AI已经具备梳理冗长复杂逻辑推理链条的能力,还能以科研人员未曾设想的方式打通不同学科领域的知识关联。
布鲁姆在声明中感叹:”人工智能正助力我们全方位探索数百年来人类搭建起的数学知识殿堂,还有多少未曾发掘的精妙奥秘,正静待世人发现?”
影响远超数学领域
OpenAI表示,这一突破将对生物学、物理学、工程学以及医学领域产生深远影响。当AI能够自主攻克数学核心领域的重大未解难题,人类科研的边界正在被重新定义。
这不仅是OpenAI的胜利,更是整个AI行业的里程碑——人工智能从”辅助工具”向”独立研究者”的跨越,或许已经悄然发生。
本文地址:https://www.163264.com/12086

