OpenAI ने 7 अक्टूबर को 3 दस्तावेज़ वापस लेने के बाद गणित संग्रह अपडेट किया। शुरुआत में 372 परिवारों में 722 पांडुलिपियाँ थीं; सक्रिय सूची अब उन्हीं 372 परिवारों में 719 दिखाती है। इतिहास के अनुसार एक काम की चिह्न त्रुटि ने तर्क और उस संरचना को अमान्य किया जिस पर 2 अन्य काम टिके थे। यह प्रारंभिक गणना का महत्वपूर्ण सुधार और याद दिलाना है कि प्रकाशन जाँच समाप्त नहीं करता।
संग्रह में OpenAI के अप्रकाशित आंतरिक मॉडल से बने काम और प्रमाण सामग्री हैं। कंपनी के अनुसार सत्यापन स्तर अलग हैं और सबके साथ Lean औपचारिकीकरण नहीं है। अपडेट पर करीब 42% मुख्य परिणाम औपचारिक हैं। इसका अर्थ 42% की सहकर्मी समीक्षा नहीं; यह अकेले नवीनता, महत्व या हर गणितीय दावे की व्याख्या भी नहीं प्रमाणित करता।
722 दस्तावेज़ 722 सफलताएँ क्यों नहीं
OpenAI पांडुलिपियाँ गिनता है, जरूरी नहीं कि अलग खुले सवाल हल होने की संख्या। दस्तावेज़ संबंधित परिणाम परिवारों में हैं। परिवार में मुख्य परिणाम, सहायक तर्क, निष्कर्ष या वैकल्पिक प्रमाण हो सकते हैं। इसलिए 372 भी स्वतः स्वतंत्र उपलब्धियों की सूची नहीं। हर काम का दावा, आधार और पुराने ज्ञान में जोड़ देखना जरूरी है।
परिवार और दस्तावेज़ का अंतर समझाता है कि 3 वापसी से परिवार भी उतने घटें, जरूरी नहीं। सक्रिय दस्तावेज़ घट सकते हैं बिना सभी समूह हटे। अतिरिक्त हिसाबी स्पष्टीकरण गढ़ने की जरूरत नहीं: आधिकारिक वर्तमान संख्या 719 और 372 है। 722 पहले प्रकाशन के लिए सही है, वापसी के बाद की स्थिति के लिए नहीं।
फ़ोल्डर नामों के दिनांक भी जरूरी नहीं सार्वजनिक प्रकाशन हों। पुराने तैयारी दिनांक वाला काम बाद में जारी हो सकता है। यह खबर 6 अक्टूबर के प्रकाशन और अगले दिन के अपडेट पर है। क्रम रखने से लिखने का समय, शोध संस्करण और पाठक को पहुँच मिलने का दिन नहीं मिलते। ये उसी सामग्री के अलग चरण हैं।
एक गलती और 2 निर्भर काम
मुख्य वापस लिया काम 8 आयामी विभक्त abelian varieties पर Weil classes की बीजगणितीयता पर है। इतिहास के अनुसार चिह्न त्रुटि ने trace cancellation तर्क और 2 निर्भर कामों में इस्तेमाल संरचना को अमान्य किया। दूसरे काम K3 सतहों के Kuga-Satake correspondences और K3 सतहों के गुणनफल की परिमेय Hodge परिकल्पना से जुड़े हैं। विवरण OpenAI का है, AI24 की स्वतंत्र गणित जाँच नहीं।
प्रमाण वापस लेना मूल कथन गलत सिद्ध करना जरूरी नहीं। मतलब प्रस्तुत दस्तावेज़ उसी तरह परिणाम का समर्थन नहीं कर सकता। अलग प्रमाण चाहिए हो सकता है, पर यहाँ उसकी गारंटी नहीं। आधिकारिक इतिहास त्रुटि और निर्भरता बताता है, परिकल्पना खारिज घोषित करने या सरल त्वरित सुधार के बाद वापसी का वादा करने का आधार नहीं।
निर्भरता महत्वपूर्ण है। एक परिणाम दूसरे की संरचना का भाग होता है, इसलिए शुरुआती दोष उस दस्तावेज़ पर भी असर डाल सकता है जिसमें वही गलती सीधे नहीं। इसलिए फ़ाइल गिनना पर्याप्त नहीं; दावों के रिश्ते भी समझने होंगे। OpenAI ने श्रृंखला दर्ज की और प्रारंभिक संख्या रखने के बजाय 3 दस्तावेज़ सक्रिय गिनती से हटाए।
हर सुधार एक जैसा नहीं
वापसी के अलावा इतिहास 14 और पांडुलिपियों के अपडेट बताता है। इनमें प्रमाण सुधार, संशोधित कथन, मान्यताओं और निर्भरता का स्पष्टीकरण तथा पुराना संदर्भ सुधार है। ये अलग काम हैं, सभी 14 मुख्य परिणाम खारिज होने की घोषणा नहीं। Lipschitz heights, Kähler minimal model programs और symplectic geometry शामिल हैं। बदलाव की सीमा दस्तावेज़ के अनुसार पढ़नी चाहिए।
13 और पांडुलिपियों में संबंधित काम बदलने से संदर्भ और संस्करण तारीख अपडेट हुई। सबको 27 गलत प्रमाण की सुर्खी बनाना भ्रामक होगा: संदर्भ सुधार तर्क सुधार नहीं, और तर्क सुधार जरूरी नहीं वापसी। संग्रह की श्रेणियाँ बनाए रखना एक बड़ी संख्या में अलग रखरखाव मिलाने से ज्यादा सटीक है।
OpenAI कहता है पुरानी प्रतियाँ सुधारों के साथ उपलब्ध रहेंगी। उद्धरण देते समय दस्तावेज़ और संस्करण बताना जरूरी है, सिर्फ पूरा संग्रह नहीं। जीवित सूची खबर या पोस्ट के बाद बदल सकती है। खुला इतिहास बदलाव देखने देता है, मगर खास परिणाम की मान्यताएँ और सत्यापन स्थिति पढ़ना अनावश्यक नहीं बनाता।
Lean क्या जाँचता है, क्या नहीं
इतिहास मुख्य परिणामों में 719 में 300, करीब 42%, औपचारिक बताता है। Lean चुनी परिभाषाओं और मान्यताओं में औपचारिक भाषा के तर्क को जाँचता है। यह तार्किक श्रृंखला का महत्वपूर्ण साधन है, वैज्ञानिक मूल्यांकन की सभी भूमिकाओं का स्वचालित विकल्प नहीं। सही कथन, प्राकृतिक व्याख्या से मेल और साहित्य में नवीनता के लिए प्रमाण फ़ाइल से अधिक जाँच चाहिए।
औपचारिक प्रमाण उपलब्ध होना यह नहीं कि हर पाठक या समाचार संस्था ने उसे चलाया। इस शोध में स्वतंत्र Lean निष्पादन या सभी तर्कों की दोबारा जाँच नहीं हुई। सही कथन है कि संग्रह औपचारिकीकरण अनुपात बताता है, न कि AI24 ने परिणाम मंजूर किए। इस सीमा से बिना आधार समग्र प्रमाणन दिए प्रगति और सुधार बताए जा सकते हैं।
अभी बड़ा शोध संग्रह जाँच में है, जिसमें 3 वापसी, अन्य सुधार और सत्यापन रिकॉर्ड हैं। पाठक को पूर्ण उत्सव या पूर्ण अस्वीकृति में चुनने की जरूरत नहीं। हर दावा, सक्रिय संस्करण और पुष्टि का स्रोत देखना चाहिए। कटऑफ पर 372 परिवारों में 719 पांडुलिपियाँ हैं। यही पढ़ने की शुरुआत है, जाँच का अंत नहीं।