人工智能在纯数学领域的能力正出现明显跃迁。AIbase 获得的信息显示,OpenAI 旗下 GPT-5.2 Pro 模型近日成功参与解决了数论中的著名开放问题——埃尔德什难题(Erdős problem)第 281 号。对此,知名数学家 陶哲轩 ...
|
人工智能在纯数学领域的能力正出现明显跃迁。AIbase 获得的信息显示,OpenAI 旗下 GPT-5.2 Pro 模型近日成功参与解决了数论中的著名开放问题——埃尔德什难题(Erdős problem)第 281 号。对此,知名数学家 陶哲轩(Terence Tao) 给出了高度评价,认为这是迄今为止 AI 介入并实质性推进开放数学问题的“最清晰、最具说服力的案例之一”。 据介绍,这一成果由研究人员 Neel Somani 主导完成。尽管此前学界已存在一些相关思路,可能为模型提供了背景语境,但陶哲轩在对比分析后指出,GPT-5.2 Pro 所给出的证明路径在结构和思路上都与既有解法明显不同,展现出独立的推理特征。值得注意的是,这并非偶然事件——早在 2026 年 1 月 4 日,该模型就曾实现过对埃尔德什难题的自主求解尝试。 不过,在肯定突破意义的同时,数学界也保持着理性态度。陶哲轩提醒,外界对 AI 数学能力的认知可能存在“幸存者偏差”:失败的尝试往往不被公开,公众看到的多是成功案例。AIbase 了解到,由 Paata Ivanisvili 与 Mehmet Mars Seven 建立的一项跟踪数据库显示,AI 在此类开放数学问题上的整体成功率仅约 1%–2%,且主要集中在相对低难度的题目上。即便如此,AI 作为辅助研究工具所展现出的潜力,已越来越难以忽视。 |
评论