OpenAI ने कहा कि वह गणित के तीन प्रीप्रिंट शोधपत्र वापस ले रहा है। इनके एक केंद्रीय प्रमाण में चिह्न संबंधी गलती मिली है। इस गलती से स्थिरीकरण-ट्रेस के निरस्तीकरण का एक चरण अमान्य हो जाता है और इस नतीजे पर आधारित बाद के दो शोधपत्रों के तर्क भी प्रभावित होते हैं। वापस लिए गए शोधपत्र ये हैं: • 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 OpenAI ने शोधपत्रों पर सूचनाएं जोड़ी हैं और उनके संग्रहित संस्करणों के लिंक दिए हैं, ताकि पाठक प्रमाण में आई कमी देख सकें।
और क्या अपडेट किया गया?
शोधपत्र वापस लेने के साथ OpenAI ने 14 अन्य पांडुलिपियों में सुधार किए। इन सुधारों में प्रमाण की कमियां दूर करना, परिकल्पनाएं स्पष्ट करना और उद्धरण ठीक करना शामिल है। जिन विषयों पर काम किया गया, उनमें Lipschitz heights, Kähler minimal model programs और hypersymplectic deformation शामिल हैं। संबंधित शोध के संशोधित संस्करणों का हवाला देने के लिए 13 और शोधपत्र अपडेट किए गए। संगठन ने छह नए औपचारिक सत्यापन भी जोड़े, जिससे मुख्य नतीजों में औपचारिक रूप से सत्यापित नतीजों का अनुपात बढ़कर लगभग 42 % (719 में से 300) हो गया।
यह क्यों मायने रखता है
OpenAI के औपचारिक सत्यापन से जुड़े काम पर नजर रखने वाले गणितज्ञों के लिए, इन शोधपत्रों की वापसी का मतलब है कि साहित्य में एक कमी सामने आई है। इससे उन शोधों पर असर पड़ सकता है जिन्होंने इन तीन नतीजों का हवाला दिया था। पाठक अब देख सकते हैं कि गलती कहां हुई और उस गलत प्रमाण पर आगे काम करने से बच सकते हैं। वहीं, सुधारे गए 14 शोधपत्र और नए औपचारिक सत्यापन OpenAI के गणितीय संग्रह की विश्वसनीयता बढ़ाते हैं।
