数学界对 OpenAI 批量发布数学研究成果反应褒贬不一

OpenAI 集中发布了针对 372 个数学和计算机科学开放问题的 AI 生成成果，引发数学界广泛关注与争议。目前 42% 的成果已用 Lean 语言完成形式化验证，但论文质量参差不齐且已有 3 篇因重大错误撤稿；部分学者赞赏其引用改进与突破，也有学者批评其缺乏负面结果透明度并涉嫌展现学术霸权。