数学家称：OpenAI 的 AI 证明用了他们的成果，却没有署名
在 OpenAI 公布其即将发布的 Astra 模型产出的十项数学结果一周后，多位具名数学家表示，这些论述沿用了已发表的思路却未加引用。叶史瓦大学的 Steven Miller 说，球堆积结果依赖于他本人 2016 年论文中的一个论证；剑桥大学的 Francesco Fournier-Facio 说，群论结果只是 Gábor Kun 与 Andreas Thom 2016 年和 2019 年工作的初等组合，却被当作全新发现呈现。OpenAI 已淡化其最初“这些问题至少十年毫无进展”的说法。发言人表示，公司对结果的正确性负责，会以人类数学家应有的标准要求自己，并将对论文做小幅更新。
为什么重要?这些证明用 Lean 做了形式化，机器可以确认每一步推导成立。机器无法检验的是结果是否“新”——争议恰恰落在这里。数学界此前已在国际数学联盟支持的《莱顿宣言》中提出警告：AI 实验室应当标注前人工作，不要用新闻稿发布成果。这场争论如何收场，将决定一家 AI 公司能把什么称作“突破”。
在App中阅读——免费，9种语言
相关新闻
美国拉上16个国家，把 AI 放进科学的中心2026-10-05数学家用普通聊天框解决了五个未解难题
2026-10-05没微调过的模型解开了微调版做不出的任务。
2026-10-04用普通照片预训练的模型在推理测试拿到70%
2026-10-04谷歌把人工智能芯片送上轨道，看它们能不能活下来。
2026-10-03