गणितज्ञ फ्रैंक कैलेगरी ने टेरेंस ताओ के प्रभावशाली ब्लॉग पर तर्क देते हुए कृत्रिम बुद्धिमत्ता ने उनके क्षेत्र में क्या किया है, इसका एक कुंद मूल्यांकन प्रकाशित किया है कि 6 अक्टूबर को ओपनएआई द्वारा 700 से अधिक शोध पत्रों का विमोचन "गणित के इतिहास में एक ऐतिहासिक घटना थी।" पोस्ट, जिसका शीर्षक था, "गणित बदल गया है। आइए इस तरह कार्य करें," शनिवार को प्रकाशित हुई और जल्द ही हैकर न्यूज के पहले पन्ने पर पहुंच गई, जहां इस पर सैकड़ों टिप्पणियां आईं। निबंध का मूल संदेश गणितज्ञों के लिए उतना ही चुनौती है जितना कि एआई कंपनियों के लिए - उस टकराव की चल रही कवरेज के लिए, हमारा एआई शोध समाचार देखें।

कैलेगरी लिखते हैं, "एआई अब गणित के कई क्षेत्रों में अभूतपूर्व योगदान देने में निर्विवाद रूप से सक्षम है।" "तो कुछ गणितज्ञ इतने नाखुश क्यों हैं?" उनका उत्तर वह नहीं है जिसकी आप एआई-जनित अनुसंधान के क्षेत्र के सबसे प्रमुख संशयवादियों में से एक से अपेक्षा कर सकते हैं।

कागजों पर खुद ही एक दो टूक फैसला

ओपनएआई रिलीज की कैलेगरी की आलोचना शिल्प और सामुदायिक मानदंडों के सवालों पर तीखी है। वह लिखते हैं, कागजात "अत्याचारपूर्ण तरीके से लिखे गए हैं और हमारे समुदाय की अपेक्षाओं का उल्लंघन करते हैं। उनमें से कुछ गलत भी हैं।" शिकायत यह नहीं है कि एआई गणित नहीं कर सकता - वह मानता है कि यह कर सकता है - बल्कि यह है कि यह उन मानकों का सम्मान किए बिना गणित कर रहा है जो गणितीय साहित्य को उपयोगी बनाते हैं।

उनका उपाय बिल्कुल व्यावहारिक है. उनका तर्क है, "गणितज्ञों का इस बात पर अधिक नियंत्रण है कि हम गणितज्ञों को कैसे नियुक्त करते हैं, पेपर प्रकाशित करते हैं और छात्रों को ट्रिलियन-डॉलर कंपनियों के व्यवहार की तुलना में प्रशिक्षित करते हैं," और यही वह जगह है जहां क्षेत्र की ऊर्जा खर्च होनी चाहिए।

'सबकुछ साबित होने का दावा किया गया है'

निबंध में सबसे प्रभावशाली अंश व्यक्तिगत है। कैलेगारी का मानना ​​है कि उन्होंने अपने पूरे करियर में सार्वजनिक रूप से जिन बड़ी खुली समस्याओं का उल्लेख किया है - वार्ता, व्याख्यान, लेख या अनुदान प्रस्तावों में से एक भी - "घोषणा से अछूता नहीं छोड़ा गया था। सब कुछ साबित होने का दावा किया गया है।"

वह लिखते हैं, ''मुझे सूची में उनमें से कुछ को देखने की उम्मीद थी।'' "लेकिन सभी नहीं। एक बार में नहीं। इतनी लापरवाही से नहीं।" एक कामकाजी गणितज्ञ के लिए, आपके द्वारा छूई गई हर समस्या को कॉर्पोरेट प्रेस चक्र में बहते हुए देखने का अनुभव एक तरह से भटकाव है, जो एआई जोखिम के बारे में अमूर्त तर्क नहीं हैं।

आवर्त सारणी रसायन विज्ञान नहीं है

कैलेगारी इस विचार पर जोर देते हैं कि क्षेत्र के प्रसिद्ध स्थलों पर दावा करने का मतलब है कि क्षेत्र समाप्त हो गया है। उन्होंने नोट किया कि ओपनएआई पेपर्स ने लैंगलैंड्स कार्यक्रम में कार्यात्मकता और पारस्परिकता की सामान्य समस्याओं पर "मुश्किल से सेंध लगाई" - जो आधुनिक संख्या सिद्धांत में सबसे गहरी संरचनाओं में से एक है।

लेकिन भले ही रिलीज़ ने लैंगलैंड्स कार्यक्रम में हर समस्या को हल कर दिया हो, वह लिखते हैं, यह कल्पना करना कि "संख्या सिद्धांत हल हो जाएगा" "यह कहना उतना ही मूर्खतापूर्ण होगा जितना कि यह कहना कि आवर्त सारणी के निर्माण ने रसायन विज्ञान को हल कर दिया।" यह एक तर्क है जिसे गणितज्ञों को जनता के सामने रखने की आवश्यकता है, उनका सुझाव है: केंद्रीय समस्याएं केवल सबसे अधिक दिखाई देने वाली चोटियाँ हैं, और पर्वत श्रृंखला उनसे बहुत आगे तक फैली हुई है।

समूह सिद्धांत के इतिहास से एक चेतावनी

निबंध का ऐतिहासिक आधार परिमित सरल समूहों का वर्गीकरण है - एक गाथा कैलगरी अंदर से जानती है। 1972 में, डैनियल गोरेन्स्टीन ने वर्गीकरण की दिशा में एक कार्यक्रम की घोषणा की। लगभग एक दशक की उन्मत्त गतिविधि के बाद, वर्गीकरण को 1983 में पूरा करने की घोषणा की गई - समय से पहले, जैसा कि यह निकला, क्वासिथिन समूहों का मामला तब तक समाप्त नहीं हुआ जब तक कि एशबैकर और स्मिथ ने इसे लगभग दो दशक बाद पूरा नहीं किया।

कैलेगरी लिखते हैं, वर्गीकरण "कई मायनों में एक बड़ी सफलता थी," लेकिन यह एक विफलता भी थी - यह घोषणा कि प्रसिद्ध समस्या समाप्त हो गई थी, इस विषय में रुचि कम हो गई, और गणितज्ञों ने अपना ध्यान कहीं और केंद्रित कर दिया। फिर भी समृद्ध प्रश्न बने रहे, जिनमें वह भी शामिल है जिसे वह जॉन कॉनवे के पसंदीदा के रूप में पहचानते हैं: मॉन्स्टर समूह का अस्तित्व क्यों है? कुछ क्षेत्रों के लिए, कैलेगरी का सुझाव है, ओपनएआई डंप बिल्कुल वैसा ही महसूस हो सकता है जैसा कि समूह सिद्धांतकारों को वर्गीकरण महसूस हुआ था।

कैलेगरी गणितज्ञों से क्या करवाना चाहता है

निबंध एक विलाप के बजाय एक कार्यक्रम के साथ समाप्त होता है। इस क्षेत्र को वर्गीकरण के गोरेंस्टीन-ल्योंस-सोलोमन संशोधित उपचार जैसे प्रयासों की आवश्यकता है - दावा किए गए परिणाम को वास्तव में ठोस बनाने के लिए धैर्यवान, बहु-मात्रा कार्य। और इसे विषय को "पूरा" कहने का विरोध करने की आवश्यकता है, क्योंकि उपलब्ध नए उपकरणों के साथ, गणित "आगे की जांच के लिए तैयार है।"

उनका तर्क है कि कैलगरी जिसे एआई-सहायता प्राप्त प्रमाणों का "गैलेक्टिक बाईपास" कहता है, उससे छूट गए पुराने रास्ते अभी भी मौजूद हैं, और गणितज्ञों को उनकी तलाश करनी चाहिए - और, महत्वपूर्ण रूप से, "जब लोगों को नौकरी देने की बात आती है तो हमें उस व्यवहार को पुरस्कृत करने की आवश्यकता है।" निबंध में ताओ का एक फुटनोट है जिसमें कहा गया है कि पोस्ट शुरू में एक अलग फ़ाइल प्रारूप में लिखी गई थी और एआई का उपयोग करके परिवर्तित की गई थी, एक छोटी सी विडंबना यह रेखांकित करती है कि उपकरण क्षेत्र के दैनिक कार्य में कितनी अच्छी तरह से घुस गए हैं।

एक बहुत बड़ी गणना का हिस्सा

यह निबंध गणितज्ञों और एआई प्रयोगशालाओं के बीच एक साल से बढ़ती खींचतान के बीच आया है। एआई बज़ वायर ने पहले गणितज्ञों पर इस बात का प्रमाण मांगने की रिपोर्ट दी थी कि ओपनएआई के मॉडलों को उनकी निजी चर्चाओं में प्रशिक्षित नहीं किया गया था, टेरेंस ताओ सहित 25 फील्ड पदक विजेताओं ने एआई और गणित के बीच "गंभीर गलत संरेखण" की घोषणा की थी, 377 एआई-व्युत्पन्न गणित परिणामों पर इंस्टीट्यूट फॉर एडवांस्ड स्टडी की चिंताओं पर, और ताओ की अपनी चेतावनियों पर कि एआई गैर-नवीकरणीय रूप से दुनिया की अच्छी खुली समस्याओं के भंडार का खनन कर रहा है।

जो चीज़ नए निबंध को उल्लेखनीय बनाती है वह है मुद्रा में बदलाव। पिछली प्रतिक्रियाओं में प्रमुख नोट अलार्म था; कैलेगरी का अनुकूलन है। उनके अनुसार, प्रौद्योगिकी दूर नहीं जा रही है, असाधारण दावे दूर नहीं जा रहे हैं, और क्षेत्र द्वारा नियंत्रित एकमात्र चर उसकी अपनी प्रतिक्रिया है - यह कैसे प्रकाशित करती है, यह कैसे प्रशिक्षित करती है, और किसे काम पर रखती है।

---

एआई से आगे रहें

नवीनतम एआई समाचार, विश्लेषण और सफलताएँ प्राप्त करें - सभी एक ही स्थान पर।

अधिक AI समाचार पढ़ें →