人工智能领域近日迎来重大突破——OpenAI宣布其全新推理模型成功推导出原创数学证明,颠覆了几何学中一道困扰学界近八十年的著名猜想。该猜想由数学家保罗·埃尔德什于1946年提出,此前被视为数学界“不可能完成的任务”。此次突破不仅标志着人工智能首次独立攻克数学核心领域的重大难题,更引发了关于AI科研能力的广泛讨论。
这一成果与七个月前OpenAI的“乌龙事件”形成鲜明对比。彼时,该公司前副总裁凯文·韦尔在社交平台宣称GPT-5攻克了10道埃尔德什难题,并在另外11道难题上取得进展。然而,经业内验证,GPT-5仅是复现了学术文献中已有的解法,引发包括杨立昆、谷歌DeepMind首席执行官德米斯·哈萨比斯等专家的批评。韦尔随后删除相关推文,埃尔德什难题专题网站运营者托马斯·布鲁姆更直言其言论“严重失实”。
此次OpenAI吸取教训,在发布新成果时同步公开了多位数学家的佐证。诺加·阿隆、梅兰妮·伍德等学者,以及曾批评韦尔的布鲁姆均确认,该证明确为模型独立推导,且发现了一类比传统“正方形网格结构”更优的构造体系。布鲁姆在声明中强调:“人工智能正在帮助我们以全新视角探索数学殿堂,那些沉睡数百年的奥秘正等待被唤醒。”
据OpenAI介绍,此次证明由一款通用推理模型完成,而非针对特定数学问题设计的专用系统。模型在推导过程中展现了强大的逻辑梳理能力,能够跨越学科界限整合知识,例如将几何构造与代数理论相结合。公司发言人表示,这一突破证明AI已具备“科研级”的推理水平,其方法论可能为生物学、物理学、工程学及医学等领域提供新工具。
数学界对此反应审慎而积极。部分学者指出,尽管AI尚未完全替代人类数学家,但其处理复杂逻辑链和海量数据的能力已不可忽视。布鲁姆比喻道:“这就像给数学家配备了一台超级望远镜,让我们得以窥见更遥远的数学星空。”目前,相关证明已提交至权威期刊审核,学界正等待进一步验证。