1959 चे एक अनुमान, OpenAI ची एक सिद्धता, आणि ती वाचणारी एक गणितज्ञ व्यक्ती

हा लेख एका गणितज्ञ व्यक्तीने दुसऱ्या कोणाची तरी सिद्धता समजावून सांगण्यासाठी लिहिलेल्या टिपणांबद्दल आहे. OpenAI च्या सिद्धतेबद्दल इथे सांगितलेले सर्व काही त्या टिपणांमधून, अप्रत्यक्षपणे, आलेले आहे.

बिंदूंमधून जाणारे वक्र

हा प्रश्न आंतरवेशन (interpolation) नावाच्या शाळेतील एका स्वाध्यायातून उगवतो: x ची काही मूल्ये निवडा, प्रत्येकावर एखाद्या फलनाचे मूल्य काय असावे ते ठरवा, आणि कोणती तरी बहुपदी ते नेहमीच करते. प्रतलात तोच खेळ एखाद्या वक्राला बिंदूंच्या संचातून जाण्यास सांगतो, जे त्याची घात पुरेशी मोठी असेल तर त्याला शक्य असते. d घाताच्या वक्राला — x आणि y मधील अशा बहुपदी समीकरणाने काढलेला वक्र ज्याचा सर्वोच्च घात d आहे: रेषेचा घात 1, वर्तुळाचा 2 — (d+1)(d+2)/2 सहगुणक असतात, आणि त्याने एखाद्या बिंदूतून जावे अशी मागणी म्हणजे एक समीकरण.

आता अधिक मागा: वक्राने प्रत्येक बिंदूतून बहुलता m सह जायला हवे — अनेक वेळा, जणू तिथे शाखा एकमेकींना छेदणारी गाठ. असा प्रत्येक बिंदू 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 पूर्ण वर्ग असताना नागाता यांनी ते सिद्ध केले.

टिपणांतील दोन उदाहरणे: 10 सर्वसाधारण बिंदूंपैकी प्रत्येकातून तीन वेळा जाणारा 9 घाताचा कोणताही वक्र नाही (60 अटींसाठी फक्त 55 सहगुणक — केवळ यावरून निष्कर्ष काढता येत नाही, कारण अटी एकमेकींवर येऊ शकतात; तो वक्र नाकारते ती नागाता यांची मर्यादा, कारण 9 हे 3√10 ≈ 9.5 पेक्षा कमी आहे), आणि 16 सर्वसाधारण बिंदूंमधून तीन वेळा जाणारा 12 घाताचा कोणताही वक्र नाही — समानतेची स्थिती 12 = 3√16.

तेवेलेव सांगतात ती सिद्धता

संदर्भ आहे “OpenAI, Nagata’s conjecture for plane curves”, 23 सप्टेंबर 2026 दिनांकित OpenAI Math Release प्रीप्रिंट, संबंधित प्रश्नांवरील सहचर हस्तलिखिते 23 सप्टेंबर आणि 5 ऑक्टोबर रोजी प्रसिद्ध झाली. UMass Amherst च्या जेनिया तेवेलेव यांनी एका व्याख्यानासाठी तिचा अभ्यास केला आणि ते विवेचन या टिपणांमध्ये रूपांतरित केले, या आशेने की ती “उपयुक्त ठरतील, विशेषतः अतज्ज्ञांसाठी”. तेवेलेव कोणत्याही मौलिकतेचा दावा करत नाहीत आणि त्यांनी युक्तिवादाची पुनर्रचना केली आहे.

प्रमाणित पहिल्या पायऱ्या प्रतलाला एका गुळगुळीत त्रिघाती वक्रावर दाबून बसवतात आणि r बिंदूंना एकात विलीन करतात. या विवेचनानुसार नवी कल्पना म्हणजे त्रिघाती वक्रात एक गाठ (node) विकसित होऊ देणे — असा बिंदू जिथे वक्र स्वतःलाच छेदतो आणि एक फास चिमटून वेगळा होतो — आणि तो चिमटा मिटत जात असताना त्याच्या थीटा फलनांचा (theta functions) माग घेणे, म्हणजे अशा वक्रावर वास्तव्य करणारी फलने लिहून काढण्याच्या प्रमाणित पद्धतीचा. त्यानंतर एक द्वैतता “या बिंदूंवर कोणते वक्र शून्य होतात?” हा प्रश्न त्याच्या आरशातल्या प्रतिरूपाशी बदलते, “तिथे कोणती मूल्ये ठरवून देता येतील?”, आणि उरते ती पूर्णांक जाळी-बिंदूंच्या एका त्रिकोणावरील आंतरवेशन — भरून काढण्यासाठी मूल्यांचा एक सांत तक्ता, “जे सरळसोट आहे”.

सोळा तिहेरी बिंदूंची स्थिती: त्रिकोणातील 91 जाळी-बिंदू (डावीकडे) आणि 96 एकपदे (monomials), म्हणजे ज्यांपासून बहुपदी बनतात असे x²y सारखे मूलभूत पद (उजवीकडे). ही 96 पदे 91 बिंदूंवर कोणतीही मूल्ये घेऊ शकतात — 96 × 91 आव्यूहाची “कोटी पूर्ण” आहे — हे दाखवल्याने तो वक्र अस्तित्वात नाही हे ठरते. — आकृती 3, Tevelev (2026), arXiv:2610.30050, CC BY 4.0.

हीच गणना एक संबंधित, अधिक तांत्रिक प्रश्नही निकाली काढते, ज्यात प्रतल एका बिंदूभोवती दोन दिशांत वेगवेगळ्या प्रमाणात मोठे केले जाते (“भारित ब्लो-अप्स”, weighted blow-ups), त्या प्रमाणांचे गुणोत्तर नऊपेक्षा जास्त असताना — डुम्निकी, हारबोर्न, क्युरोन्या, रोए आणि शेम्बर्ग यांच्या एका अनुमानाची एक स्थिती.

टिपणे युक्तिवाद सिद्धता म्हणून मांडतात. समवयस्क पुनरावलोकन किंवा संगणकाने पडताळलेली सिद्धता यांसारख्या कोणत्याही स्वतंत्र औपचारिक तपासणीचा उल्लेख त्यांत नाही.

“त्यांचे पहिले मानवी वाचक”

टिपणांमध्ये लेखकाचे मतही आहे. प्रसिद्ध केलेली हस्तलिखिते वाचताना तेवेलेव यांना “प्रश्न पडला की मी त्यांचा पहिला मानवी वाचक असेन का. ती जवळजवळ पूर्णपणे असंपादित वाटत होती.” तेवेलेव यांना शंका आहे की कंपनीने गणितज्ञ ती नीट लावतील अशी अपेक्षा केली होती — असे संपादकीय काम जे “तज्ज्ञता आणि वेळ मागते, तरीही मौलिक संशोधनाशी जोडलेली मान्यता फारशी देत नाही”. इतर अनेकांप्रमाणे तेवेलेव यांना वाटते की हा दृष्टिकोन व्यवसायाला हानी पोहोचवतो, “विशेषतः तरुणांच्या प्रेरणेला आणि प्रशिक्षणाला”.

“त्याच वेळी, मला वाटते की ही हस्तलिखिते एक थक्क करणारी कामगिरी आहेत,” तेवेलेव लिहितात: प्रतिमानाने अनेक तज्ज्ञांना आवाक्याबाहेर वाटलेले प्रश्न सोडवले, आणि “गणितीय अनुमानांचे जुने झुडूप” “AI च्या आगीत वेगाने जळत आहे”.

प्रस्ताव: AI कंपन्यांनी निधी दिलेले एक स्वतंत्र प्रतिष्ठान, जे तरुण संशोधकांना अनुदाने, अधिछात्रवृत्ती आणि सर्वोत्तम प्रतिमानांपर्यंत प्रवेश देईल, आणि ज्याचे समवयस्क पुनरावलोकन अमेरिकेच्या नॅशनल सायन्स फाउंडेशनच्या धर्तीवर असेल.

टिपणे सांगतात की ती “ChatGPT Astra सह संपादित व सचित्र” करण्यात आली.