AI 88 小时“攻克”百年数学难题，OpenAI 却与两位数学家陷入署名与数据之争
OpenAI 宣称其内部 AI 模型在 88 小时内“攻克”纳维—斯托克斯千禧难题的一部分，并以约 1 万智能体并行搜索、17 小时 Lean 形式化验证的方式公开论文与代码；但在成果发布前，纽约大学教授巴克马斯特与合作者阿尔珀格已与该公司就署名安排、发布节奏，以及他们存放在 Codex 中的草稿是否被用于训练等问题爆发激烈争议，使一场本应聚焦 AI 数学能力的突破，演变为关于学术信用、数据权利与实验室竞争格局的公共讨论。 2026-09-24