OpenAI 发布 722 份数学手稿引发争议，AI 正加速重塑数学研究范式

OpenAI 在 GitHub 仓库 openai/math 中发布了由内部未公开模型生成的 722 份数学手稿与 372 组研究成果，声称在准黎曼猜想、矩阵乘法等经典未决问题上取得进展。文章系统梳理了该事件背景、菲尔兹奖得主等数学家对 AI 冲击传统研究伦理的联名反馈，并分析指出借助 Lean 等形式化验证工具，数学正率先经历技术爆发，而人类的审核与理解正在成为核心瓶颈。