openai/mathリポジトリは、論文「Algebraicity of Weil classes on split abelian eightfolds」で符号の誤りが見つかったことを受け、原稿3件を撤回しました。この誤りにより、安定化トレース相殺の議論と、依存する2つの論文で使われていた構成が成り立たなくなります。撤回された原稿は「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」です。いずれも現在、欠陥を説明する通知が付けられ、アーカイブされた原稿へのリンクが掲載されています。
その他14件の原稿も改訂されました。証明の修正、記述の訂正、仮定と依存関係の明確化、古くなった引用1件の訂正が含まれます。Lipschitz heightsとAshkin–Teller currentsに関する4件では、交差、境界への付着、条件付け、収束の議論を修正しました。Kähler minimal model programsとabundanceに関する6件では、正値性と縮約の議論を拡充しました。tamingとhypersymplectic deformationに関する2件では、錐の等式に関する主張を修正し、真の包含の例を追加しました。
さらに、関連論文の改訂版を引用するよう13件の原稿を更新し、参照と版の日付を変更しました。以前に公開された版は、各READMEの版に関する注記から引き続き閲覧できます。
また、リポジトリには形式化6件とその他の補足的な追加5件が加わりました。主要結果のうち形式化された割合は現在719件中300件、約42%です。
出典: Hacker News · 要約：HeadlinesBriefing