AREX Feed Article
OpenAI 被迫修改 Astra 声明：剑桥数学家指"十年无进展"不实，New Scientist 披露署名争议升级
OpenAI 对其 Astra 数学成果公告进行了静默修改，删除了"所有 10 个问题的主结果至少十年无进展"这一核心断言——这是《New Scientist》8 月 3 日报道中披露的关键细节，该刊同时于 8 月 4 日修正了自身对 soficity 问题的描述。
推动这一修改的是剑桥大学 Herchel-Smith 研究员 Francesco Fournier-Facio，他自 2020 年博士阶段起专攻 soficity 问题。他向《New Scientist》指出，OpenAI 关于"十年无进展"的说法"不正确"，并已促使其修改声明。对比 8 月 2 日 BleepingComputer 报道引用的原始措辞（"no progress on their central results for at least a decade"）与当前 OpenAI 博客页面（已无此语），确可印证这一变化。
Fournier-Facio：核心突破应归功于前人
Fournier-Facio 的批评不止于措辞。他明确指出，Astra 对非索菲群的构造"严重依赖"Andreas Thom（2016）和 Gábor Kun（2019）的两篇论文——"正是他们的工作，而非反例的发现，更值得被庆祝。"他进一步提出一个此前未被广泛讨论的问题：如果这一发现出现在他刚开始博士阶段时，他"很可能不会留在学术界"。
这一批评与此前争议形成层次递进：Ernie Davis 质疑的是透明度缺失，Henry Yuen 批评的是证明风格，而 Fournier-Facio 指向的是原创性归属——AI 系统在多大程度上是在"解决"问题，而非对已有理论工作进行巧妙的计算重组？
伦敦 Queen Mary 大学的 Abhishek Saha 则提供了更平衡的视角："其中任何一个结果都会是重大成就……有些不是反例而是真正的证明，但它们都属于不需要建立大量新理论的类型。"
Musk 宣告"奇点已至"与新一波传播
《New Scientist》同时提及，Elon Musk 在 Astra 公告发布当日发帖回应："Welcome to the Singularity. How's the temperature?"该帖获得 71.6 万次浏览、10,716 次点赞，成为 Astra 讨论中传播力最强的单条帖文，将原本限于数学界的讨论推向了"奇点已至"的大众叙事。
CACM 收录 Marcus 批评
8 月 4 日，Gary Marcus 的 Substack 长文《OpenAI's amazing — but vastly oversold — new model Astra》被 Communications of the ACM（CACM） 转载发表。这一顶级计算机学术出版物对 Marcus 批评的背书，为"合成谬误"论断赋予了远超 Substack 博客的学术分量。Marcus 在 X 上宣布此事，获得 6,342 次浏览和 34 次点赞。
争议实质
OpenAI 被迫修改声明的细节表明，Astra 成果的叙事至少在两个层面经不起推敲：其一，"十年无进展"这一用于强化突破性的表述本身就存在事实争议；其二，署名与归属框架——"模型生成论证，人类负责稿件与 Lean 形式化"——在面对具体技术谱系时暴露出模糊性。Fournier-Facio 的批评让这场争论从"AI 能做什么"进入了更棘手的领域："AI 做出来的东西，谁该得到 credit？"