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

📋总体概括

OpenAI公开一批AI辅助数学研究成果，涉及约4000道数学问题、372组成果及部分Lean形式化证明代码，引发数学界强烈反弹。菲尔兹奖得主陶哲轩在博客转载人类数学协会AHM的决裂声明，敦促数学家停止与OpenAI合作，重回以人类理解为核心的科学愿景。批评者指出，形式化验证只能确认逻辑正确，无法替代对推导可理解性、文献引用和学术贡献的人工审查；声明更直指一次性发布700多份文件展示的不是学术研究而是权力。此前不到一个月，陶哲轩等25位菲尔兹奖得主已联名警告AI公司偏离数学研究初衷。