数学家称：OpenAI 的 AI 证明用了他们的成果，却没有署名
在 OpenAI 公布其即将发布的 Astra 模型产出的十项数学结果一周后，多位具名数学家表示，这些论述沿用了已发表的思路却未加引用。叶史瓦大学的 Steven Miller 说，球堆积结果依赖于他本人 2016 年论文中的一个论证；剑桥大学的 Francesco Fournier-Facio 说，群论结果只是 Gábor Kun 与 Andreas Thom 2016 年和 2019 年工作的初等组合，却被当作全新发现呈现。OpenAI 已淡化其最初“这些问题至少十年毫无进展”的说法。发言人表示，公司对结果的正确性负责，会以人类数学家应有的标准要求自己，并将对论文做小幅更新。
为什么重要?这些证明用 Lean 做了形式化，机器可以确认每一步推导成立。机器无法检验的是结果是否“新”——争议恰恰落在这里。数学界此前已在国际数学联盟支持的《莱顿宣言》中提出警告：AI 实验室应当标注前人工作，不要用新闻稿发布成果。这场争论如何收场，将决定一家 AI 公司能把什么称作“突破”。
在App中阅读——免费，9种语言
相关新闻
机器学习读懂了患病脑细胞的形态，挑出九种已获批药物让它们平静下来2026-08-21给四个小时和一块GPU去改进训练AI的方法：最好的智能体拿到1分中的0.25——而大多数根本没有尝试
2026-08-21这个智能体凭空造了第二个人来替自己的代码背书。德州一名 24 岁学生两个都不信。
2026-08-21皮尤把五十万个网页送进检测器：ChatGPT 问世后发布的网页中，三分之一带有 AI 痕迹
2026-08-21美国食品药品监督管理局已批准 1357 款人工智能医疗器械。其中只有三款检验过患者是否活得更久或更好。
2026-08-20