数学家仍对AI不服气！菲尔兹奖得主陶哲轩带头向OpenAI宣战

📋总体概括

OpenAI公开一批AI辅助数学研究成果——内部模型尝试解决约4000道数学问题，整理出372组成果并发布700多份文件及部分Lean形式化证明代码，引发数学界强烈反弹。菲尔兹奖得主陶哲轩在博客转载人类数学协会AHM声明，敦促数学家停止与OpenAI合作，批评其成果缺乏可理解性、规范引用与同行审查，指出形式化验证无法替代学术审查，「一次性发布700多份文件展示的不是学术研究而是权力」。此前不到一个月，25位菲尔兹奖得主已联署公开信警告AI公司，争议仍在发酵。