OpenAI、数学論文3本を取り下げ 符号誤りで証明に亀裂
OpenAI Withdraws 3 Math Papers
OpenAIは、Weil類の代数性に関する論文の符号誤りが安定化トレース消去の議論を無効にし、依存する2本の論文にも影響を与えたため、関連する3本の数学論文を取り下げた。同時に他の14本で証明の修正や仮定の明確化を行い、新たに6件の形式化を追加。トップライン結果の形式化率は約42%に達した。
「Algebraicity of Weil classes on split abelian eightfolds」における符号誤りが、安定化トレース消去の議論と、2本の依存論文で用いられた構成を無効にする。