मे महिन्यात सपाट पृष्ठावरील ठिपक्यांविषयीच्या प्रश्नातून अनपेक्षित उत्तर मिळाले. सप्टेंबरपर्यंत एआय प्रयोगशाळा द्रवातील सिंग्युलॅरिटीविषयी युक्तिवाद प्रसिद्ध करत होत्या; त्यासोबत संगणकांना पुरावे तपासता यावेत अशा फाइल्सही होत्या. या घोषणांमध्ये प्रतिवादांची नवी उदाहरणे, अधिक मजबूत सीमा आणि Fermat च्या शेवटच्या प्रमेयाचे औपचारीकरण आले.
एआय गणितातील बदलाचा आढावा म्हणजे कोणती अनुमाने खोडली यांची चालू गुणफलक-नोंद एवढेच नव्हे. हे निकाल वेगवेगळे प्रश्न विचारतात, त्यांच्यामागचे पुरावे भिन्न आहेत आणि काही काम बाकी ठेवतात. प्रतिवाद एखादा विश्वास उलथवू शकतो; पण सर्वोत्तम संभाव्य उत्तर देत नाही. सुधारित मर्यादा महत्त्वाची असू शकते, तरी तिच्याजवळचे प्रसिद्ध अनुमान उघडे राहू शकते. संगणकाने तपासलेला पुरावा विधान सिद्ध करतो; त्यातील कल्पना इतरत्र कशा उपयोगी पडतील हे समजावेलच असे नाही.
OpenAI च्या 20 मेच्या एकक-अंतर घोषणेपासून सप्टेंबरमधील Navier–Stokes दाव्यापर्यंतच्या मोठ्या घडामोडींची ही आमची तपासणी आहे; माहिती 22 सप्टेंबर 2026 पर्यंतची. मधल्या महत्त्वाच्या घोषणा आणि त्यातून पुढे आलेले संशोधनही यात आहे. हा क्रमाचा नकाशा आहे; एआयच्या मदतीने प्रसिद्ध झालेल्या प्रत्येक गणिती शोधनिबंधाची संपूर्ण यादी नाही. उद्धृत घोषणा, संबंधित प्रमेय-विधाने, संशोधनाची प्रस्तावना आणि पडताळणीची कागदपत्रे आम्ही वाचली. या पुराव्यांचे स्वतंत्र समीक्षण किंवा औपचारिकीकरण पुन्हा तयार केलेले नाही.
आमचा मध्यवर्ती निष्कर्ष असा: प्रगतीचे सर्वात मजबूत पुरावे दोन भागांत आहेत—यंत्रे गंभीर छाननीस पात्र गणिती युक्तिवाद देत आहेत; आणि काही युक्तिवादांतून लोक आधीच पुढचे गणित काढत आहेत. ही सातत्यपूर्ण प्रगती ठरेल का, हे काम तपासणे, समजावणे आणि पुढे नेणे यासाठी लागणाऱ्या संसाधनांवर अवलंबून आहे.
मे: प्रतिवादाने भूमितीचा नवा मार्ग उघडला
एकक-अंतरांची समस्या डोळ्यांसमोर आणणे सोपे आहे. सपाट पृष्ठावर बिंदूंचा संच ठेवा आणि एक एकक अंतर असलेल्या जोड्या मोजा. बिंदू वाढवत नेल्यावर अशा जोड्यांची संख्या किती मोठी होऊ शकते?
20 मेच्या घोषणेत OpenAI ने नवा आकृतिबंध अंतर्गत सर्वसाधारण तर्कशक्तीच्या मॉडेलने तयार केल्याचे म्हटले; Erdős समस्यांच्या संचावर त्याचे मूल्यमापन केले होते. युक्तिवाद तपासणाऱ्या बाह्य गणितज्ञांचा स्वतंत्र पूरक शोधनिबंधही कंपनीने प्रसिद्ध केला. दुसरा दस्तऐवज महत्त्वाचा आहे: प्रयोगशाळेच्या मॉडेल-वृत्तांतापलीकडे गणितज्ञांना काय समजले आणि त्यांनी काय पुन्हा उभे केले हे वाचक तपासू शकतात. OpenAI ची घोषणा.
मूळ हस्तलिखितात प्रत्येक निश्चित धन δ साठी n^(1+δ) किंवा त्याहून अधिक एकक-अंतर-जोड्या असलेले अनंत बिंदुसंच तयार केले आहेत. सोप्या भाषेत, उदाहरणे मोठी होत गेली तरी घातांकातील सुधारणा कायम राहते. त्यामुळे जवळजवळ रेषीय वाढीचे अनुमान खोटे ठरते. प्रत्येक बिंदुसंख्येसाठी एकक-अंतरांची कमाल नेमकी किती हे यातून ठरत नाही; सर्वोत्तम सीमा शोधण्याचे व्यापक काम सुरूच आहे. एकक-अंतरांचे हस्तलिखित.
हा आकृतिबंध कुठून आला हे आश्चर्यकारक होते. पूरक शोधनिबंध भूमितीच्या निकालाला प्रगत बीजगणिती संख्या-सिद्धांताशी जोडतो आणि आधीच्या गणिती घटकांचा उल्लेख करतो. लेखकांनी सोपी आणि काहीशी सामान्यीकृत पुनर्रचना दिली आहे. एआयच्या शोधानंतरचे मानवी काम कसे असू शकते याचे हे उपयुक्त उदाहरण आहे: कार्यपद्धती शोधणे, तिचे अवलंबित्व स्पष्ट करणे आणि इतर संशोधकांना हाताळता येईल असा युक्तिवाद तयार करणे. गणितज्ञांचा पूरक शोधनिबंध.
मेच्या निकालाचे महत्त्व शोधणाऱ्या वाचकांनी सुरुवातीच्या घोषणेबरोबर पुढचे शोधनिबंधही पाहावेत. इतर संशोधक एखादे तंत्र वापरून पुढचे प्रश्न विचारतात आणि सोडवतात, तेव्हा त्याला वेगळ्या प्रकारची विश्वासार्हता मिळते.
मे ते जुलै: कल्पना इतरत्र पोहोचू लागतात
27 मे रोजी Thomas Bloom, Will Sawin, Carl Schildkraut आणि Dmitrii Zhelezov यांनी वास्तविक संख्यांवरील sum-product अनुमानाला छेद देणारे उदाहरण प्रसिद्ध केले. साधारणपणे, संख्यांचा संच एकत्र बेरीज किंवा गुणाकार केल्यावर किती विस्तारतो याचा हा प्रश्न आहे. त्यांच्या रचनेत दोन्ही परिणामी संच अनुमानित जवळजवळ-द्विघात आकारापेक्षा लहान राहू शकतात. एकक-अंतरांच्या प्रतिवादामुळे मोठ्या घातांकाच्या संख्या-क्षेत्रांचा पुन्हा विचार करायला सुचले, असे लेखक स्पष्ट सांगतात. अंतिम रचनेसाठी आधीच्या निकालापेक्षा कमी संख्या-सिद्धांत लागतो, हेही ते स्पष्ट करतात. sum-product वरील शोधनिबंध.
एआयमधून आलेल्या निकालाने मानवी गणिताला चालना दिल्याचे हे ठोस उदाहरण आहे. पुढील शोधनिबंध एआयने लिहिला होता असे यातून सिद्ध होत नाही; आणि प्रयोगशाळेच्या यशगणनेत त्यांचे काम मिसळून लेखकांचे श्रेय पुसता कामा नये.
11 जूनला प्रथम सादर आणि 28 जूनला सुधारित केलेल्या Cosmin Pohoata यांच्या पूर्वप्रकाशित लेखाने हा क्रम Elekes–Rónyai समस्येपर्यंत नेला. योग्य संचांवरील बहुपदीची मूल्ये अपेक्षेपेक्षा कमी विस्तारतात असे उदाहरण त्यात दिले आहे; अलीकडील एकक-अंतर आणि sum-product रचनांतील घटक वापरले आहेत. समस्यांमधील दुवा शोधनिबंध स्पष्ट करतो. Pohoata यांचा शोधनिबंध.
6 जुलैला Sungchul Lee, Pohoata आणि Daniel Zhu यांनी Minkowski grid वरील पुढचा निकाल प्रसिद्ध केला. त्यांच्या रचनेत उपसंचांतील पुनरावृत्त-अंतरांचे गुणधर्म टिकतात; त्यातून पुनरावृत्त-अंतरे आणि समद्विबाहू त्रिकोणांशी संबंधित प्रश्नांना परिणाम होतात. एखादी विलक्षण रचना दाखवून तिचे अंतर्गत वर्तन न तपासता ठेवण्यापेक्षा ही अधिक बळकट स्वरूपाची रचना आहे. Minkowski-grid वरील शोधनिबंध.
आशावादी अर्थाला येथे पुरावा आहे. मेच्या निकालामुळे काही आठवड्यांत इतर संशोधकांनी बदलून वापरता येतील अशा रचना तयार केल्या. अशा उपयोगी पद्धती तयार होणे, आणि त्या समजण्यासाठी लागलेले काम, ही यशाची आमची सुचवलेली मोजपट्टी आहे. सोडवलेल्या समस्यांची ढोबळ संख्या हा फरक पकडू शकत नाही.
जुलै: Jacobian प्रतिवादातून व्याप्तीचे महत्त्व दिसते
दुसरी लक्षवेधी घटना Jacobian अनुमानाशी संबंधित होती. Fable AI च्या मदतीने तयार केलेल्या प्रतिवादाचा Terence Tao यांनी 21 जुलैच्या विवेचनात आढावा घेतला: तीन संमिश्र चलांतील बहुपदी रूपांतरण लहान परिसरात उलटवता येते, पण एकूणात वेगवेगळे बिंदू एकाच प्रतिमेवर पाठवते. तीन आणि त्याहून अधिक मितींतील सर्वसाधारण दावा खोटा ठरतो; द्विमितीतील प्रकरण उघडे आहे. Tao यांनी स्पष्ट सूत्रे दिली आणि रचनेची भूमिती समजावली. Tao यांचे गणिती विवेचन.
स्पष्ट प्रतिवादाचे मूलभूत विरोधाभास गणनेने तुलनेने सहज दिसू शकतात. असे उदाहरण का अस्तित्वात असावे आणि त्याच प्रकारची इतर उदाहरणे कशी तयार करावीत हे शोधण्यासाठी पुढचे गणिती काम लागते. Jacobian वरील घटनेत वाचकांना ही वेगळी कामे प्रकाशित स्वरूपात दिसतात.
सप्टेंबरमध्येही हा फरक महत्त्वाचा राहिला. Arno van den Essen यांच्या 15 सप्टेंबरच्या पूर्वप्रकाशित लेखात, रेषीय निर्देशांक-बदलानंतर Levent Alpöge यांनी शोधलेल्या उदाहरणाशी समतुल्य प्रतिवादापर्यंतचा सोपा मार्ग दिला आहे. ही रचनेची नवी मांडणी आहे; मूळ अनुमानाचा दुसऱ्यांदा स्वतंत्र पराभव नव्हे. van den Essen यांचा शोधनिबंध.
संशोधन व्यवस्थापकांसाठी, कशाला बक्षीस द्यायचे यातील व्यावहारिक बदल यातून सुचतो. गुंतागुंतीचा शोध समजण्याजोगा करणाऱ्या व्यक्तीला निधी दिल्याने आणखी एका मथळा मिळवणाऱ्या शोधाइतकेच पुढचे काम खुले होऊ शकते. क्रमावरील हे आमचे मूल्यमापन आहे; विद्यापीठांनी आधीच प्रोत्साहन बदलले आहे असा दावा नाही.
ऑगस्ट: गणिती दाव्यांची अधिक व्यापक श्रेणी
1 ऑगस्टच्या प्रकाशनात OpenAI ने गणित आणि सैद्धांतिक संगणकशास्त्रातील दहा गटांचे निकाल मांडले. युक्तिवाद अंतर्गत Astra आवृत्तीने तयार केले, हस्तलिखित तयार करण्यासाठी माणसांनी मॉडेलसोबत काम केले आणि मॉडेलने Lean प्रमाणपत्रे दिली, असे कंपनीचे म्हणणे आहे. मेमधील एका निकालाच्या घोषणेपेक्षा उत्पादनाविषयीचे हे वेगळे वर्णन आहे; यात हस्तलिखित-तयारीतील योगदान स्पष्ट केले आहे. ऑगस्टमधील घोषणा.
6 ऑगस्टला अद्ययावत केलेल्या संबंधित संकलनात पुढील निकाल नोंदवले आहेत. BIG CHANGE ने स्वतंत्रपणे प्रमाणित केलेले दहा वेगवेगळे निकाल म्हणून नव्हे, तर हस्तलिखितातील दाव्यांचे वर्णन म्हणून ही यादी वाचावी:
- गोलक-पॅकिंग: उच्च मितींमध्ये अधिक धारदार आसिम्प्टोटिक वरची मर्यादा.
- द्विमान आणि गोलकीय codes: निश्चित अंतरांवरील code आकारांच्या अधिक बळकट मर्यादा.
- गट-सिद्धांत: nonsofic गटाची रचना.
- ऑपरेटर बीजगणित: Connes यांच्या rigidity अनुमानाची प्रतिवाद-उदाहरणे.
- अंकगणिती गुंतागुंत: permanent साठी अधिक बळकट circuit आणि formula खालच्या मर्यादा.
- क्वांटम खेळ: घातांकीय parallel-repetition प्रमेय.
- जाळीच्या समस्या: closest vector problem साठी अधिक बळकट approximation-hardness निकाल.
- बहिर्वक्र भूमिती: Ehrhart च्या घनफळ-अनुमानाचा पुरावा.
- Ramsey सिद्धांत: बहुरंगी त्रिकोण Ramsey संख्यांसाठी घातांपेक्षा अधिक वेगाने वाढणारी खालची सीमा.
- अत्यंत आलेख-सिद्धांत: compactness आणि degeneracy अनुमानांना छेद देणारी उदाहरणे.
या निकालांची व्याप्ती महत्त्वाची आहे; पण त्यामुळे एकत्रित गुणदर्शक दिशाभूल करू शकतो. प्रतिवाद शोधणे, मर्यादा सुधारणे आणि सर्वसाधारण प्रमेय सिद्ध करणे यांचे परिणाम वेगळे आहेत. गणिती समस्येच्या कठीणपणाविषयीचा निकाल म्हणजे प्रत्यक्ष क्रिप्टोग्राफिक प्रणालीवर हल्ला केला, असे आपोआप होत नाही. त्यासाठी स्वतंत्र तर्क आणि पुरावे लागतात.
10 ऑगस्टला Anthropic ने Riemann अनुमानाजवळील अधिक मर्यादित स्वरूपाची प्रगती प्रसिद्ध केली. अप्रकाशित Claude मॉडेलने critical line वर असलेल्या झीटा शून्यांच्या प्रमाणाची खालची सीमा सुधारल्याचे कंपनी सांगते. Anthropic च्या गणितज्ञांनी काम तपासले, बाह्य तज्ज्ञांनी शोधनिबंधाचे पुनरावलोकन केले आणि औपचारीकरणही तयार झाले. Claude ने Riemann अनुमान सोडवलेले नाही आणि या तंत्रांनी ते सुटेल अशी अपेक्षा नाही, असे कंपनी स्पष्टपणे सांगते. Anthropic चा वृत्तांत.
जोडलेल्या शोधनिबंधात दोन-तृतीयांशपेक्षा किंचित मोठी, सुमारे 67.25% खालची सीमा दिली आहे; वापरलेले आधीचे विश्लेषणात्मक निकालही नमूद केले आहेत. हा आसिम्प्टोटिक गणिती दावा आहे; मोठ्या मर्यादित नमुन्यातील शून्य तपासून अनुमान सिद्ध केल्याचा दावा नव्हे. हा फरक अत्यावश्यक आहे: प्रमाणासाठीची खालची सीमा म्हणजे संबंधित प्रत्येक शून्य रेषेवर आहे असा अर्थ नाही. झीटा-शून्यांचे हस्तलिखित.
महत्त्वाकांक्षी इतर हस्तलिखितेही प्रसारित होत आहेत. Alpöge यांच्या संकेतस्थळावर होस्ट केलेल्या दस्तऐवजात सहामितीय गोलावर संमिश्र रचना प्रस्तावित आहे. तपासण्यासाठी रचना उपलब्ध आहे; मात्र आम्ही पाहिलेल्या प्रतीवरून विश्वसनीय घोषणा-तारीख किंवा एआयच्या योगदानाचा संपूर्ण तपशील निश्चित होत नाही. त्यामुळे वाचकांनी तपासता येईल असा प्रस्ताव म्हणून त्याचा समावेश केला आहे; या कालरेषेतील स्वतंत्रपणे प्रस्थापित टप्पा म्हणून नाही. सहामितीय गोलाचे हस्तलिखित.
सप्टेंबरची सुरुवात: अभाज्य-अंतरांत पडताळणीची मर्यादा दिसते
घोषणांचा क्रम अभाज्य संख्यांमधील अंतरांपर्यंत पोहोचला. Axiom सहयोगाचा 3 सप्टेंबरचा प्राथमिक शोधनिबंध सांगतो की सलग अभाज्य संख्यांच्या अनंत जोड्यांतील अंतर 212 किंवा त्याहून कमी आहे. तो Julia Stadlmann यांच्या विश्लेषणात्मक कामाला आणि आधीच्या Polymath प्रकल्पाला श्रेय देतो. Lean प्रमाणपत्रात विश्लेषणात्मक अंदाज आणि स्वतंत्रपणे तपासलेले विविधतेचे प्रमाणपत्र गृहितक म्हणून वापरले आहे. यामुळे मर्यादित-अंतराचा प्रश्न पुढे जातो; twin-prime अनुमानासाठी नेमके दोन अंतर असलेल्या जोड्या अनंत हव्यात. Axiom पथकाचा शोधनिबंध.
OpenAI च्या सार्वजनिक PrimeGaps186 repository मध्ये आणखी छोटी सीमा दिली आहे; पण महत्त्वाची अटही आहे. त्याचे Lean औपचारीकरण साहित्यातील दोन अंदाज आणि संख्यात्मक समाकलन-मर्यादा यांचा समावेश करणाऱ्या तीन इनपुट-अक्षियांवर अवलंबून आहे. संख्यात्मक प्रमाणपत्र ती अक्षिये सिद्ध करत नाही, असे repository सांगते. म्हणून प्रस्तावित गणिती युक्तिवाद आणि ठरवलेल्या इनपुट-अटींवर औपचारिकरीत्या तपासलेला भाग, यात वाचकांनी फरक करावा. या साधनाला पायाभूत अक्षियांपासून थेट मिळालेला बिनशर्त व पूर्ण औपचारिक पुरावा म्हणणे चुकीचे ठरेल. PrimeGaps186 repository.
दोन अभाज्यांतील मोठ्या अंतरांविषयीचा आणखी एक OpenAI शोधनिबंध आहे. वाढत्या मर्यादेखालील सर्वात मोठ्या अंतरांसाठी सुधारित खालची सीमा दिल्याचा तो दावा करतो. हा जवळच्या अभाज्य जोड्यांचा अनंत पुरावा शोधण्यापेक्षा वेगळा टोकाचा प्रश्न आहे; एका प्रश्नातील प्रगतीला दुसऱ्याचे उत्तर मानू नये. मोठ्या अंतरांचे हस्तलिखित.
अभाज्य-अंतरांची ही घटना विशेष उपयुक्त आहे. मथळ्यातील दोन संख्या साध्या शर्यतीसारख्या दिसू शकतात. पुराव्यांचे अवलंबित्व उघड झाल्यावर कोणती पायरी कोणत्या पद्धतीने सिद्ध झाली, हा अधिक चांगला प्रश्न ठरतो. गृहितके स्पष्ट करणे मोलाचे आहे, औपचारीकरण अजून अपूर्ण असले तरी.
4 सप्टेंबर: औपचारीकरणही शोधकथेचा भाग बनते
Anthropic ची 4 सप्टेंबरची घोषणा आधीपासून ज्ञात असलेल्या प्रमेयाविषयी आहे: Fermat चे शेवटचे प्रमेय. अकरा दिवसांत Claude ने जवळपास स्वायत्तपणे त्याचे संपूर्ण Lean औपचारीकरण केले, असा दावा आहे. एजंट्सना अवलंबित्वांचा मागोवा ठेवायला मदत करणाऱ्या सहकार्य-प्लॅटफॉर्मसह मानवी मार्गदर्शनाचे वर्णन कंपनी करते. या कामाचा आधार असलेल्या गणिती पुरावा-परंपरेला श्रेयही देते. औपचारीकरणाची घोषणा.
सार्वजनिक repository मथळ्यापेक्षा अधिक विशिष्ट पुरावे देते. त्यात प्रमेय सांगितले आहे, अवलंबित्वांची नोंद आहे आणि Lean च्या मानक अक्षियांशी तसेच Mathlib मधील विधानाशी तुलना करून केलेल्या तपासण्या दस्तऐवजीकृत केल्या आहेत. देखभाल न होणारी संशोधन-वस्तू अशी स्वतःची ओळखही ते देते. आम्ही ही कागदपत्रे पाहिली; build पुन्हा चालवलेला नाही. FLT repository.
अधिक उमेदवार युक्तिवाद निर्माण करणारी तीच साधने औपचारीकरणासही मदत करू शकली, तर तपासणीची क्षमताही वाढू शकते. आशावादाचे हे ठोस कारण आहे. पुढील संशोधकांना तपासता येईल अशी वस्तू मिळते. तरी मधले निकाल सहज पुन्हा वापरता येतात का, अवलंबित्वांचे build सुरू राहतात का आणि artifact ची देखभाल कोण करतो हे जाणून घ्यावे लागते. निर्माण झालेल्या कोडचे प्रमाण एकट्याने या प्रश्नांची उत्तरे देत नाही.
येथे संस्थांसमोर एक उपयुक्त निवड आहे. प्रयोगशाळा मॉडेलचे पूर्ण झालेले प्रात्यक्षिक म्हणून पुरावा प्रसिद्ध करू शकते; किंवा इतरांनी काम चालू ठेवता येईल अशी पायाभूत सुविधा म्हणून पाठिंबा देऊ शकते. या मार्गांमुळे प्रकाशनानंतर वेगवेगळ्या जबाबदाऱ्या निर्माण होतात. देखभाल, समजावणारी उदाहरणे आणि टिकाऊ संदर्भ यांसाठी संशोधनाच्या अंदाजपत्रकात जागा हवी.
8 सप्टेंबर: Navier–Stokes निकालाचा नेमका दावा
द्रव-गतीचा निकाल हे प्रश्न अधिक तीव्र करतो. 8 सप्टेंबरची आणि 10 सप्टेंबरला अद्ययावत केलेली OpenAI घोषणा Navier–Stokes अस्तित्व आणि गुळगुळीतपणाच्या समस्येवर प्रस्तावित उत्तर मांडते. समन्वय साधणाऱ्या एजंट्सद्वारे काम करणाऱ्या अंतर्गत मॉडेलला त्याचे श्रेय देते आणि लेखी युक्तिवाद तसेच Lean औपचारीकरण प्रसिद्ध करते. Millennium Prize मागण्याचा हेतू नसल्याचे OpenAI सांगते. घोषणा.
हस्तलिखितात धन श्यानता आणि काळजीपूर्वक तयार केलेले बाह्य बल असलेली त्रिमितीय असंपीड्य द्रवगती विचारात घेतली आहे. स्थिर स्थितीपासून सुरू होणाऱ्या प्रस्तावित उत्तरात एकूण ऊर्जा मर्यादित राहते; पण मर्यादित काळात वेग अमर्याद वाढतो. बाह्य बल गुळगुळीत असून अवकाश आणि काळ या दोन्हींत मर्यादित आहे. त्याच्या गणिती बांधणीत आकुंचन पावणारे भोवरे आणि उरलेले बल गुळगुळीत राहावे यासाठी मांडलेल्या दुरुस्त्या वापरल्या आहेत. हे समीकरणांच्या उत्तरांविषयीचे दावे आहेत; भौतिक प्रयोगाचे निरीक्षण किंवा नवे अभियांत्रिकी सिम्युलेटर नाहीत. Navier–Stokes हस्तलिखित.
प्रस्तावित उत्तराची व्याप्ती समजण्यासाठी बाह्य बल मध्यवर्ती आहे. Charles Fefferman यांच्या Clay समस्येच्या अधिकृत वर्णनात C आणि D या खंडन-पर्यायांसाठी गुळगुळीत बाह्य बल मान्य आहे. A आणि B हे जागतिक गुळगुळीतपणाचे पर्याय बाह्य बल नसलेली समीकरणे विचारतात. त्यामुळे या स्वरूपाचा वैध निकाल Clay ने स्पष्टपणे मान्य केलेला पर्याय हाताळू शकतो; पण बाह्य बल नसतानाचा जागतिक नियमिततेचा प्रश्न सुटत नाही. बल अप्रासंगिक म्हणणे प्रमेयाचा दावा वाढवेल; दिलेल्या समस्येबाहेरचे म्हणणे नियमांचा विपर्यास करेल. अधिकृत समस्या-विधान.
OpenAI ने आदर्शीकृत द्रव आणि श्यानता नसलेल्या Euler समीकरणांचा स्वतंत्र युक्तिवादही प्रसिद्ध केला. त्या हस्तलिखितात बाह्य बल नसताना गुळगुळीत सुरुवातीच्या माहितीपासून मर्यादित काळात बिघाड होतो, असा प्रस्ताव आहे. Euler आणि Navier–Stokes ही संबंधित समीकरणे असली तरी या दोन लेखांतील गृहितके आणि निष्कर्ष वेगळेच ठेवावेत. Euler हस्तलिखित.
आजूबाजूचा संशोधन-इतिहासही महत्त्वाचा आहे. 10 सप्टेंबरच्या निवेदनात European Mathematical Society ने Alpöge आणि Buckmaster तसेच आधीच्या गणिती योगदानांबरोबर Córdoba, Martínez-Zoroa आणि Zheng यांच्या कामाची दखल घेतली. प्रवेश, लेखकत्व आणि श्रेय यांबद्दल प्रश्नही उपस्थित केले. मॉडेलच्या नावापासून थेट प्रमेयापर्यंत झेपावणारा वृत्तांत काम शक्य करणाऱ्या कल्पनांचा संचय गमावतो. EMS चे निवेदन.
11 सप्टेंबरला Clay ने संभाव्य उलगड्याबद्दल मोजूनमापून उत्साह व्यक्त केला; मूल्यमापन आणि श्रेयवाटप मुद्दाम घाई न करता होईल, असे सांगितले. हा संस्थेचा अर्थपूर्ण प्रतिसाद आहे; पुरस्कार जाहीर करणे किंवा कामाच्या प्रत्येक अंगाची तपासणी पूर्ण झाली असे घोषित करणे नव्हे. Clay ची घोषणा.
वाचकांसाठी, अधिक भर न घालता ठोस निष्कर्ष एवढा पुरेसा आहे: मान्यताप्राप्त Millennium समस्येला उत्तर देण्याच्या उद्देशाने एआय प्रयोगशाळेने प्रस्तावित पुरावा आणि तपासता येणाऱ्या गणिती व औपचारिक वस्तू प्रसिद्ध केल्या आहेत; मोठ्या संस्था हे काम गंभीरपणे घेत आहेत. व्यापक स्वीकार, श्रेय आणि आकलन या प्रक्रियांतील काम अद्याप बाकी आहे.
पुरावा-तपासणी एका नेमक्या प्रश्नाचे उत्तर देते
औपचारिक पडताळणीमुळे समीक्षकांना उपलब्ध पुराव्याचे स्वरूप बदलते; बातमीतही अधिक नेमकेपणा हवा.
पुराव्याची वैधता आणि सिद्ध होत असलेल्या विधानाचा अर्थ यात Lean ची कागदपत्रे फरक करतात. मूलभूत यशस्वी तपासणीवरून औपचारिक विधान त्याच्या व्याख्या व गृहितकांतून निघते हे कळते. अतिरिक्त तपासण्यांत अपूर्ण अवलंबित्व उघड करणे, अक्षियांची छाननी करणे आणि पुराव्याची स्वतंत्रपणे ठरवलेल्या विधानाशी तुलना करणे शक्य आहे. बाह्य तपासक वापरण्यासह अधिक मजबूत पडताळणीचे वर्णन कागदपत्रे करतात; तरी उरलेली गृहितकेही नमूद करतात. Lean चे पडताळणी मार्गदर्शक.
प्रत्येक इनपुटला लागू होणारी मर्यादा हवी असलेल्या संशोधकाची कल्पना करा. सहाय्यक औपचारिकदृष्ट्या योग्य प्रमेय देतो; पण ग्राह्य इनपुटच्या व्याख्येतून अवघड वर्ग वगळतो. पुरावा योग्य असू शकतो, तरी संशोधकाचा उपयोग समर्थित होत नाही. प्रश्नाचे औपचारिक विधानात रूपांतर करताना काळजी का हवी, याचे हे काल्पनिक उदाहरण आहे.
नावीन्यामुळे वेगळी तपासणी आवश्यक होते. पुरावा-प्रणालीने वेगळ्या संज्ञांत तोच युक्तिवाद जुन्या शोधनिबंधात आला आहे का, श्रेय पूर्ण आहे का किंवा दावा केलेली सुधारणा अनुप्रयोगासाठी महत्त्वाची आहे का हे ठरत नाही. या निर्णयांसाठी साहित्य-संशोधन आणि विषयातील तज्ज्ञता लागते.
मोठा निकाल प्रसिद्ध करणाऱ्या प्रयोगशाळेने टिकाऊ संच द्यावा अशी आमची अपेक्षा असेल: सामान्य गणिती भाषेतील अचूक दावा, उपलब्ध असल्यास त्याचे औपचारिक रूप, पुरावा आणि अवलंबित्वे, माणसांचे व मॉडेलचे योगदान स्पष्ट करणारा वृत्तांत आणि काय तपासले किंवा सुधारले याची नोंद. हे आमचे प्रस्तावित अहवाल-मानक आहे. जबाबदारी शोधण्यासाठी आणि संबंधित तपासण्या पुन्हा करण्यासाठी ते इतर संशोधकांना मार्ग देते.
सल्लागार गट वाढत्या समन्वय-समस्येला हात घालतो
गणित आणि कृत्रिम बुद्धिमत्तेविषयी सल्लागार गटाची 21 सप्टेंबरची घोषणा या पार्श्वभूमीवर आली. हा गट स्वतंत्र आणि विनामोबदला आहे; संबंधित कोणत्याही एआय कंपनीला सल्ला द्यायला तयार असल्याचे तो सांगतो. कंपनीने मिळवल्याचा दावा केलेल्या पुढील निकालांच्या प्रकाशनाबाबत OpenAI ला सल्ला देणे हे त्याचे तातडीचे काम आहे. शिफारशी सार्वजनिक करण्याचे आश्वासन असून कंपन्यांत निर्णय घेण्याचा अधिकार आपल्याकडे नाही, असे स्पष्ट केले आहे. Terence Tao यांच्या ब्लॉगवरील घोषणा ही गटाने लिहिलेली अतिथी-पोस्ट आहे. गटाचे निवेदन.
पुनरावलोकन, संवाद, महत्त्व आणि प्रसार यांचा कार्यक्षेत्रात समावेश असल्याचे OpenAI सांगते. अंतर्गत गणिती प्रगतीचा वेग कसा असावा यावर गट सल्ला देणार नाही, असेही ते सांगते. म्हणून सल्लागारांची भूमिका म्हणजे छाननी आणि समन्वयाचे माध्यम; अंतिम निर्णय कंपनीकडेच राहतील. OpenAI ची सल्लागार-गटावरील घोषणा.
या व्यवस्थेचे स्वागत करण्याची कारणे आहेत. चांगला समन्वय पुनरावृत्तीचे पुनरावलोकन-काम कमी करू शकतो, योग्य तज्ज्ञ ओळखू शकतो आणि निकालाचे वर्णन पुरावा जे समर्थित करतो त्याशी जुळवू शकतो. मर्यादाही स्पष्ट आहेत: सल्ल्याला उत्तर मिळावे लागते आणि फक्त स्वातंत्र्याने अंमलबजावणी होत नाही. प्रसिद्ध शिफारशी आणि त्यानुसार कंपन्या काय करतात याकडे वाचकांनी लक्ष द्यावे.
संशोधनाचा उद्देशही साशंक टीकेचा भाग आहे. 11 सप्टेंबरच्या Math and AI निवेदनानुसार यादीतील समस्या सोडवण्याची शर्यत आकलनाचा विकास आणि भावी गणितज्ञांचे प्रशिक्षण दुर्लक्षित करू शकते. कल्पना शिकवण्याजोग्या आणि उपयुक्त होण्याच्या प्रक्रियेला धोका असल्याचे स्वाक्षरीकर्ते सांगतात. हा क्षेत्रातील सहभागींचा गंभीर दृष्टिकोन आहे; एआयच्या प्रत्येक वापराने आधीच हानी केली याचे मोजमाप नाही. निवेदन.
15 सप्टेंबरच्या Tao यांच्या ब्लॉगवरील अतिथी-निबंधात Henry Cohn संबंधित युक्तिवाद पुढे नेतात: नीट न समजावलेले निकाल आत्मसात करण्यासाठी समुदायाला मोठे काम करावे लागू शकते. स्पष्टीकरण देणाऱ्या लोकांना मिळणाऱ्या प्रोत्साहनाविषयीही त्यांची चिंता आहे. श्रेय येथेही महत्त्वाचे: हा निबंध Cohn यांचा आहे; Tao यांनी तो होस्ट केला आहे. Cohn यांचा निबंध.
पुढचा शोध इतरांना वापरायला अधिक सोपा असावा
मे ते सप्टेंबरचा क्रम ठोस उदाहरणांसह आशादायी चित्राला आधार देतो. भूमितीतील प्रतिवादातून पुढील रचना सुचल्या. संशोधकांनी आश्चर्यकारक बहुपदी रूपांतरण अधिक स्पष्टपणे समजावले. औपचारीकरणातून गुंतागुंतीचे तर्क तपासता येतील अशा अतिरिक्त वस्तू तयार झाल्या. मॉडेलचा निकाल आणि गणिती व्यवहार यांतील फलदायी नात्याचे घटक दिसतात.
निराशावादी शक्यताही व्यावहारिक आहे. प्रयोगशाळा इतरांना समजून घेता येण्यापेक्षा वेगाने प्रस्तावित निकाल तयार करतील आणि घोषणांनाच पूर्ण वैज्ञानिक योगदान मोजतील. पुनरावलोकनाचे ओझे मोजक्या तज्ज्ञांवर पडेल; तर संसाधने आणि प्रतिष्ठा अनुशेष निर्माण करणाऱ्या प्रणालींकडे जाईल. मॉडेलचा मर्यादित प्रवेश शोध निर्माण करणाऱ्यांमध्ये आणि त्यांचे मूल्यमापन अपेक्षित असणाऱ्यांमध्ये दरी वाढवू शकतो.
आमच्या मते, प्रयोगशाळा, निधीदार आणि नियतकालिकांनी प्रक्रियेच्या दोन्ही बाजू मोजाव्यात. संभाव्य शोध नोंदवा; पण स्वतंत्र छाननी, उपयुक्त सुलभीकरणे, दुरुस्त युक्तिवाद, पुन्हा वापरता येतील अशी औपचारिक ग्रंथालये आणि पुढचे संशोधनही मोजा. निकाल समजण्याजोगा करणाऱ्या लोकांना श्रेय द्या. घोषणांइतक्याच सातत्याने दुरुस्त्याही प्रसिद्ध करा.
पुढचा मोठा शोध पाहणाऱ्या वाचकाने विशिष्ट प्रश्न विचारावा: आता दुसरा संशोधक असे काय करू शकतो, जे आधी शक्य नव्हते? उत्तर प्रतिवाद तयार करणे, बळकट हमी सिद्ध करणे, कठीण युक्तिवाद तपासणे किंवा नवी पद्धत शिकवणे असे असू शकते. एआय गणिताची प्रगती गणिताची प्रगती कधी होते, हे तेथे दिसते.
