OpenAI最新发布的人工智能（AI）数学成果引发了学术界的广泛争议。尽管其下一代大型语言模型Astra在内部开发和测试中取得了10项数学进展，并声称解决了多个对数学界“具有重大意义的长期开放问题”，但多位专家在详细审阅后，对这些成果的学术严谨性提出了质疑，甚至指控其存在学术不端行为。

OpenAI宣布这些成果的总代币成本仅为2000美元，这一消息迅速传播，被视为AI有望超越人类、成为数学和计算机科学领域颠覆性力量的又一例证。然而，在公告发布后的几天里，当人类专家们仔细研读这份近250页的论文时，许多人感到沮丧。

专家们指出，其中两项最令人兴奋的成果，在未适当引用的情况下，整合了近期数学文献中的既有思想。这与OpenAI最初新闻稿中声称Astra所解决的问题“至少十年未在主要结果上取得进展”的说法相悖（OpenAI此后已更新了措辞，使其更加准确）。

耶什华大学的数学家Steven Miller教授直言不讳地指出，OpenAI“蓄意践踏了前人的工作”，他认为这构成“学术不端”。Miller教授所指的成果，是关于在1000维甚至更高维数学空间中，如何尽可能多地“将球体装入盒子”的问题。OpenAI的论文改进了球体最紧密堆积的最佳估计，但其大型语言模型生成的证明所依赖的一个特定数学论证，实际上首次出现在Miller教授及其合作者2016年的一篇论文中。

另一项引发争议的成果，解决了群论中的一个长期问题。群论研究的是以有组织方式相互作用的数学对象集合，即“群”。数学家们长期以来一直想知道所有群是否都具有“soficity”这一性质，即能否以特定方式被其他更简单的群忠实地近似。OpenAI的论文声称至少建立了一个不具备此性质的群。

剑桥大学研究群论的数学家Francesco Fournier-Facio教授最初对这一发现感到震惊。然而，当他“像对待人类撰写的成果一样”深入研究后，发现该结果并非如初见般新颖。与近期一些AI突破类似，它同样是将数学文献中的思想片段拼接起来，构建了一个新的定理。Fournier-Facio教授认为，Astra的“技巧”在于其“超人般的耐心”来组装这些“拼图碎片”，而非实现了“深刻的智力飞跃”。

具体而言，Astra在该问题上的关键数学步骤，结合了2016年和2019年两篇论文中的思想。德累斯顿工业大学的数学家Andreas Thom，也是这两篇论文的合著者之一，在MathOverflow.com上总结了该成果，称其“富有创意且基础”。

Fournier-Facio教授认为，OpenAI最初的新闻稿似乎忽视或完全不了解这些关键的近期进展。他指出，前两篇论文表明人类在soficity问题上并未陷入僵局。他表示，尽管OpenAI的数学家在论文中尽力正确归属这些思想，但“庞大的公关机器希望听起来尽可能令人印象深刻，却不关心100%的准确性”。

针对这些指控，OpenAI发言人向《科学美国人》发表声明称：“我们对这些结果的正确性负责，并正在达到人类数学家普遍期望的相同标准。我们计划本周对论文进行小幅更新，以符合标准的学术实践。”

然而，随着AI在数学领域持续推进，但却缺乏对该领域学术规范的内在忠诚，一些学术界人士显然正在失去耐心。Fournier-Facio教授强调：“OpenAI现在已全面参与到高水平研究中，因此他们应该遵守与我们相同的学术标准。”