openai/math रिपॉजिटरी ने "Algebraicity of Weil classes on split abelian eightfolds" शोधपत्र में एक साइन त्रुटि मिलने के बाद तीन पांडुलिपियाँ वापस ले ली हैं। इस त्रुटि से एक स्थिरीकरण-ट्रेस निरसन तर्क और दो आश्रित शोधपत्रों में उपयोग की गई एक संरचना अमान्य हो जाती है। वापस ली गई पांडुलिपियाँ हैं "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"। अब प्रत्येक पर एक सूचना है जो कमी को समझाती है और संग्रहित पांडुलिपि से लिंक करती है।
अन्य चौदह पांडुलिपियों में संशोधन हुए हैं, जिनमें प्रमाण सुधार, सही कथन, स्पष्ट परिकल्पनाएँ और निर्भरताएँ, तथा एक पुराने उद्धरण का सुधार शामिल है। Lipschitz heights और Ashkin–Teller currents पर चार शोधपत्रों में क्रॉसिंग, सीमा-संलग्नता, अनुबंधन और अभिसरण तर्कों की मरम्मत की गई। Kähler minimal model programs और abundance पर छह शोधपत्रों ने धनात्मकता और संकुचन तर्कों का विस्तार किया। taming और hypersymplectic deformation पर दो शोधपत्रों में शंकु-समानता के दावे को ठीक किया गया और एक कठोर समावेशन का उदाहरण जोड़ा गया।
अतिरिक्त तेरह पांडुलिपियों को सहायक शोधपत्रों के संशोधित संस्करणों का उद्धरण देने के लिए अद्यतन किया गया, जिससे संदर्भ और संस्करण तिथियाँ बदली गईं। पिछले प्रकाशित संस्करण प्रत्येक README की संस्करण टिप्पणियों के माध्यम से उपलब्ध हैं।
रिपॉजिटरी में छह औपचारिकीकरण और पाँच अन्य सहायक जोड़ भी जुड़े हैं। शीर्ष परिणामों में औपचारिक रूप से सिद्ध हिस्सा अब 719 में से 300, लगभग 42% है।
स्रोत: Hacker News · HeadlinesBriefing द्वारा सारांशित