OpenAI因首篇论文中存在的符号错误撤回了三篇相关数学论文1。被撤回的论文分别为《Algebraicity of Weil classes on split abelian eightfolds》、《Algebraicity of Kuga–Satake Correspondences for K3 Surfaces》和《The rational Hodge conjecture for products of K3 surfaces》1。该符号错误导致稳定化-迹消消论证失效1。
与此同时，OpenAI修正了14篇其他论文中的证明、表述和引用问题1。此外，OpenAI新增了6篇形式化验证，使其已形式化的顶级研究结果占比达到约42%（719篇中的300篇）1。
OpenAI has withdrawn three mathematics papers following the discovery of a symbolic error in one of the foundational works 1. The retracted papers are "Algebraicity of Weil Classes on Split Abelian Eightfolds," "Algebraicity of Kuga–Satake Correspondences for K3 Surfaces," and "The Rational Hodge Conjecture for Products of K3 Surfaces" 1. The error in the first paper invalidated the stabilization-trace vanishing argument that the research relied upon 1.
In addition to the withdrawals, OpenAI has corrected issues across fourteen other papers, addressing problems in proofs, terminology, assumptions, and citations 1. The company has also added six newly formalized verifications to strengthen the mathematical rigor of its work 1. These efforts have raised the proportion of formalized top-level results to approximately 42 percent, representing 300 out of 719 total results 1.
评论
还没有评论，欢迎留下第一条。