搜索
菲尔兹奖得主陶哲轩点名批评OpenAI
14 小时前
OpenAI与数学界关系紧张升级。菲尔兹奖得主陶哲轩在个人博客转载了人类数学协会（AHM）的声明，批评OpenAI无视数学界研究规范，呼吁数学家停止合作。争议源于OpenAI公开的一批数学研究手稿，其内部模型尝试解决约4000道数学问题，整理出372组成果，并公开了部分Lean形式化证明代码。但成果规模未获学界一致认可，数学家指出证明需理解推导、引用前人工作，形式化验证不能替代人工审查。数学家认为，一次性发布大量文件展示的是权力而非学术研究。双方矛盾核心在于AI生成成果速度与人类理解能力的落差，传统数学研究需逐步解释证明，而商业实验室一次性发布复杂手稿，核验修订成本转嫁学术界，研究议程和成果发布节奏受科技公司影响。此前，陶哲轩等25位菲尔兹奖得主联署声明，警告AI公司偏离数学研究初衷。9月29日，数学与人工智能咨询组（AGMAI）建议反对前沿AI实验室用内部模型测试高难度数学问题，OpenAI称参考了建议，但AHM认为其忽视核心前提，呼吁数学家停止合作。AGMAI还要求实验室不得将数学成果发布用作推广模型的营销工具，应披露模型名称、提示词、算力成本与失败记录等信息。随着AI提升科研产出能力，数学界面临机器证明定理、研究方向决定、验证成本承担，以及技术进步服务于知识积累等问题。
