RecodeX 重构消息,OpenAI前训练副总裁Liam Fedus公开回应陶哲轩等数学家关于“AI不应只追求解题、更应推动数学理解”的观点。他赞同对概念理解的重视,但认为不应以当前AI能力边界框定未来可能性,未来AI有望提出洞见并建立新概念框架。

此前9月11日,陶哲轩在个人博客发布《人工智能在数学中的严重错位》,由25位菲尔兹奖得主联署,指出AI公司以“解决著名数学难题”衡量模型能力,与数学共同体追求概念理解、方法提炼和知识传承的目标存在严重偏移。

争议背景是AI正加速进入开放数学问题:今年5月OpenAI内部模型反驳了近80年历史的Erdős单位距离猜想;9月初OpenAI又宣布约1万个自主AI Agent配合内部模型在约88小时内找到三维Navier–Stokes方程奇点证明并通过Lean形式化验证。美国数学学会、伦敦数学会与克雷数学研究所随后分别发声,强调数学的目的仍是人类的理解,AI结果需公开并经同行长期检验。