OpenAI发布超 700 份AI数学手稿后撤回3篇
OpenAI一次性发布超过 700 份由 AI 生成的数学手稿,但次日因符号错误撤回其中 3 篇。菲尔兹奖得主陶哲轩警告,AI 对开放问题的「大规模收割」可能让整个数学分支的创造性研究走向贫瘠。人类数学协会随后呼吁抵制 OpenAI。

OpenAI一次性发布超过 700 份由 AI 生成的数学手稿,但次日因符号错误撤回其中 3 篇。菲尔兹奖得主陶哲轩警告,AI 对开放问题的「大规模收割」可能让整个数学分支的创造性研究走向贫瘠。人类数学协会随后呼吁抵制 OpenAI。


著名数学家陶哲轩代表 SAIR Foundation 宣布,"开放数学模型计划"已正式启动。该计划希望让开放模型与可负担的算力,成为数学研究的共享基石。SAIR Foundation 是一家聚焦人工智能与科学研究交叉领域的非营利组织。

针对陶哲轩等 25 位菲尔兹奖得主就 AI 威胁数学发展发布的联署声明,OpenAI 前训练 VP Liam Fedus作出回应。他认为,AI 不应只被看作解题工具,还有机会发展成能提出洞见、构建概念框架并促进人类理解的数学研究伙伴。双方都认同数学重在理解而非答案,分歧则集中在 AI 是否损害知识传承,以及它能否真正参与知识创造。

包括陶哲轩在内的 25 位菲尔兹奖得主发出联合警告,称部分人工智能公司过度追求基准测试速度,却忽视数学严谨性。相关学者认为,这种错位可能产出不可靠结果,并对依赖数学正确性的科学研究和金融系统构成风险。


菲尔兹奖得主、UCLA 教授陶哲轩在 Mathstodon 发文称,推理模型和前沿 AI 系统正加速解决数学难题,甚至会因传闻而引发竞速,提前“压平”原本需要长期研究的问题空间。他认为,这种做法可能削弱数学领域对“什么问题值得做”的判断能力,并提出将部分问题标记为“需要分析”的设想,即仅给出答案并不足够,还要附带能启发邻近问题的推理过程。

