Repositori openai/math telah menarik tiga naskah setelah ditemukan kesalahan tanda dalam makalah "Algebraicity of Weil classes on split abelian eightfolds". Kesalahan ini membatalkan argumen penghapusan jejak stabilisasi dan konstruksi yang digunakan oleh dua makalah turunan. Naskah yang ditarik adalah "Algebraicity of Weil classes on split abelian eightfolds", "Algebraicity of Kuga–Satake Correspondences for K3 Surfaces", dan "The rational Hodge conjecture for products of K3 surfaces". Masing-masing kini memuat pemberitahuan yang menjelaskan celah tersebut dan menautkan ke naskah arsip.
Sebanyak empat belas naskah lain telah direvisi, mencakup perbaikan bukti, pernyataan yang dikoreksi, hipotesis dan ketergantungan yang lebih jelas, serta koreksi satu kutipan yang sudah usang. Empat makalah tentang tinggi Lipschitz dan arus Ashkin–Teller memperbaiki argumen persilangan, keterlekatan batas, pengondisian, dan konvergensi. Enam makalah tentang program model minimal Kähler dan abundansi memperluas argumen positivitas dan kontraksi. Dua makalah tentang taming dan deformasi hipersimplektik memperbaiki klaim kesamaan kerucut dan menambahkan contoh inklusi ketat.
Selain itu, tiga belas naskah tambahan diperbarui untuk mengutip edisi revisi makalah pendamping, dengan perubahan pada referensi dan tanggal versi. Edisi yang telah terbit sebelumnya tetap dapat diakses melalui catatan versi di setiap README.
Repositori ini juga menambahkan enam formalisasi dan lima tambahan pendukung lainnya. Proporsi hasil utama yang telah diformalkan kini mencapai 300 dari 719, sekitar 42%.
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing