1959 का एक अनुमान, OpenAI का एक प्रमाण, और एक गणितज्ञ जिसने उसे पढ़ा

यह लेख उन नोट्स के बारे में है जो एक गणितज्ञ ने किसी और के प्रमाण को समझाने के लिए लिखे। यहाँ OpenAI के प्रमाण के बारे में कही गई हर बात उन्हीं नोट्स से, परोक्ष रूप से, आई है।

बिंदुओं से गुज़रते वक्र

यह समस्या अंतर्वेशन (interpolation) नाम के एक स्कूली अभ्यास से निकलती है: x के कुछ मान चुनिए, तय कीजिए कि हर एक पर किसी फलन का मान क्या होना चाहिए, और कोई बहुपद यह हमेशा कर देता है। समतल में वही खेल एक वक्र से कहता है कि वह बिंदुओं के एक समूह से होकर गुज़रे, जो वह कर सकता है बशर्ते उसकी घात काफ़ी ऊँची हो। घात d के वक्र में — जो x और y के ऐसे बहुपद समीकरण से खिंचता है जिसकी सबसे ऊँची घात d हो: सरल रेखा की घात 1 होती है, वृत्त की 2 — (d+1)(d+2)/2 गुणांक होते हैं, और उससे किसी बिंदु से गुज़रने को कहना एक समीकरण के बराबर है।

अब और माँगिए: वक्र को हर बिंदु से बहुलता m (multiplicity) के साथ गुज़रना है — कई-कई बार, जैसे वहाँ शाखाओं की एक गाँठ एक-दूसरे को काटती हो। ऐसा हर बिंदु m(m+1)/2 समीकरण लगाता है। बड़े d और m के लिए गिनतियाँ लगभग d²/2 गुणांकों के मुक़ाबले r m²/2 शर्तें बनती हैं, इसलिए r बिंदुओं के लिए, जैसे ही d/m √r से थोड़ा ऊपर हो, यह गिनती किसी वक्र की गारंटी देती है — ठीक-ठीक कहें तो, जैसे ही गुणांक शर्तों से ज़्यादा हो जाएँ।

नागाता अनुमान (1959) इसे सटीक बनाता है: “बहुत सामान्य” ढंग से रखे गए r ≥ 10 बिंदुओं के लिए — उनके बीच कोई विशेष संयोग न हो, जैसे यादृच्छिक रूप से चुने गए बिंदुओं में होता है — ऐसे हर वक्र की घात m√r से अधिक होती है। शर्त r ≥ 10 ज़रूरी है: नौ बिंदु हमेशा किसी त्रिघाती वक्र (घात 3 का वक्र) पर पड़ते हैं, और उस त्रिघाती वक्र को m बार लेने से घात 3m का एक वक्र बनता है जो उनमें से हर एक से m बार गुज़रता है — ठीक m√9, वही समानता जिसे अनुमान ख़ारिज करता है। नागाता ने इसे तब सिद्ध किया जब r एक पूर्ण वर्ग हो।

नोट्स के दो उदाहरण: घात 9 का कोई भी वक्र 10 सामान्य बिंदुओं में से हर एक से तीन बार नहीं गुज़रता (60 शर्तों के लिए केवल 55 गुणांक — जो अपने आप में निष्कर्ष के लिए काफ़ी नहीं, क्योंकि शर्तें आपस में दोहरा सकती हैं; इसे ख़ारिज करती है नागाता की सीमा, क्योंकि 9, 3√10 ≈ 9.5 से कम है), और घात 12 का कोई भी वक्र 16 सामान्य बिंदुओं से तीन बार नहीं गुज़रता — समानता वाला मामला 12 = 3√16।

प्रमाण, जैसा Tevelev बताते हैं

संदर्भ है “OpenAI, Nagata’s conjecture for plane curves”, एक OpenAI Math Release प्रीप्रिंट, दिनांक 23 सितंबर 2026, साथ ही संबंधित प्रश्नों पर सहायक पांडुलिपियाँ जो 23 सितंबर और 5 अक्टूबर को जारी हुईं। UMass Amherst के Jenia Tevelev ने एक व्याख्यान के लिए इसका अध्ययन किया और उस विवरण को इन नोट्स में बदल दिया, इस आशा के साथ कि वे “उपयोगी होंगे, ख़ासकर ग़ैर-विशेषज्ञों के लिए”। Tevelev किसी मौलिकता का दावा नहीं करते और उन्होंने तर्क को फिर से व्यवस्थित किया है।

मानक शुरुआती क़दम समतल को एक चिकने त्रिघाती वक्र पर समेट देते हैं और r बिंदुओं को एक में मिला देते हैं। इस विवरण के अनुसार, नया विचार यह है कि त्रिघाती वक्र में एक नोड विकसित होने दिया जाए — एक बिंदु जहाँ वक्र ख़ुद को काटता है और एक फंदा चिमटकर अलग हो जाता है — और वह चिमटाव बंद होते जाते समय उसके थीटा फलनों (theta functions) का पीछा किया जाए, यानी ऐसे वक्र पर बसने वाले फलनों को लिख डालने के मानक तरीक़े का। फिर एक द्वैतता “कौन-से वक्र इन बिंदुओं पर लुप्त होते हैं?” प्रश्न को उसके आईने वाले रूप से बदल देती है, “वहाँ कौन-से मान निर्धारित किए जा सकते हैं?”, और जो बचता है वह पूर्णांक जालक बिंदुओं के एक त्रिभुज पर अंतर्वेशन है — भरने के लिए मानों की एक सांत तालिका, “जो सीधा-सादा है”।

सोलह त्रि-बिंदुओं (triple points) का मामला: त्रिभुज के 91 जालक बिंदु (बाएँ) और 96 एकपदी (monomials), यानी x²y जैसे मूल पद जिनसे बहुपद बनते हैं (दाएँ)। यह दिखाना कि ये 96 पद उन 91 बिंदुओं पर कोई भी मान ले सकते हैं — यानी 96 × 91 आव्यूह “पूर्ण कोटि” (full rank) का है — उस वक्र को ख़ारिज कर देता है। — चित्र 3, Tevelev (2026), arXiv:2610.30050, CC BY 4.0.

यही गणना एक संबंधित, अधिक तकनीकी प्रश्न को भी सुलझा देती है, जिसमें समतल को एक बिंदु के आसपास दो दिशाओं में अलग-अलग मात्रा में बड़ा किया जाता है (“भारित ब्लो-अप”, weighted blow-ups), जब उन मात्राओं का अनुपात नौ से अधिक हो — जो Dumnicki, Harbourne, Küronya, Roé और Szemberg के एक अनुमान का एक मामला है।

नोट्स इस तर्क को एक प्रमाण के रूप में प्रस्तुत करते हैं। वे किसी स्वतंत्र औपचारिक जाँच का ज़िक्र नहीं करते, जैसे सहकर्मी-समीक्षा या कंप्यूटर-सत्यापित प्रमाण।

“उनके पहले मानव पाठक”

नोट्स में लेखक की राय भी है। जारी की गई पांडुलिपियाँ पढ़ते हुए Tevelev ने “सोचा कि कहीं मैं उनका पहला मानव पाठक तो नहीं। वे लगभग पूरी तरह असंपादित लग रही थीं।” Tevelev को संदेह है कि कंपनी ने उम्मीद की थी कि गणितज्ञ उन्हें सुलझाएँगे, एक संपादकीय प्रयास जो “विशेषज्ञता और समय माँगता है, फिर भी मौलिक शोध से जुड़ी मान्यता उसमें बहुत कम मिलती है”। कई अन्य लोगों की तरह Tevelev का मानना है कि यह तरीक़ा इस पेशे को नुक़सान पहुँचाता है, “ख़ासकर युवाओं की प्रेरणा और प्रशिक्षण को”।

“साथ ही, मुझे लगता है कि ये पांडुलिपियाँ एक आश्चर्यजनक उपलब्धि हैं,” Tevelev लिखते हैं: मॉडल ने ऐसी समस्याएँ हल कीं जिन्हें कई विशेषज्ञ पहुँच से बाहर मानते थे, और “गणितीय अनुमानों की पुरानी झाड़-झंखाड़” “AI की आग में तेज़ी से जल रही है”।

प्रस्ताव: AI कंपनियों द्वारा वित्तपोषित एक स्वतंत्र फ़ाउंडेशन, जो युवा शोधकर्ताओं को अनुदान, फ़ेलोशिप और सर्वश्रेष्ठ मॉडलों तक पहुँच दे, और जिसकी सहकर्मी-समीक्षा अमेरिका के नेशनल साइंस फ़ाउंडेशन के ढाँचे पर हो।

नोट्स बताते हैं कि उन्हें “ChatGPT Astra से संपादित और चित्रित” किया गया था।