OpenAI、符号の誤りなどを理由に数学論文3本を取り下げ

OpenAIは、符号の誤りにより証明の論拠が無効となったため「Algebraicity of Weil classes on split abelian eightfolds」を含む関連する3本の数学論文を取り下げたと発表した。また、14本の論文について証明の修復や前提条件の明確化などの改訂を実施し、これに伴い13本の参照情報を更新した。さらに6件の形式化などを追加したことで、主要な成果のうち形式化された割合は300/719(約42%)に達した。