गणितज्ञ फ्रँक कॅलेगारी यांनी आर्टिफिशियल इंटेलिजन्सने त्यांच्या क्षेत्रासाठी काय केले आहे याचे स्पष्ट मूल्यमापन प्रकाशित केले आहे, टेरेन्स ताओच्या प्रभावशाली ब्लॉगवर असा युक्तिवाद केला आहे की 6 ऑक्टोबर रोजी OpenAI द्वारे 700 हून अधिक शोधनिबंधांचे प्रकाशन "गणिताच्या इतिहासातील एक पाणलोट आहे." "गणित बदलले आहे. चला तसे वागूया," असे शीर्षक असलेली पोस्ट शनिवारी वर गेली आणि पटकन हॅकर न्यूजच्या पहिल्या पानावर पोहोचली, जिथे शेकडो टिप्पण्या आल्या. निबंधाचा मुख्य संदेश गणितज्ञांसाठी एआय कंपन्यांसाठी आव्हान आहे - त्या टक्करच्या सतत कव्हरेजसाठी, आमच्या AI संशोधन बातम्या पहा.

"एआय आता निर्विवादपणे गणिताच्या अनेक क्षेत्रांमध्ये महत्त्वपूर्ण योगदान देण्यास सक्षम आहे," कॅलेगारी लिहितात. "मग काही गणितज्ञ इतके नाराज का आहेत?" एआय-व्युत्पन्न केलेल्या संशोधनाच्या क्षेत्रातील सर्वात प्रमुख संशयी व्यक्तींकडून तुम्ही काय अपेक्षा करू शकता हे त्याचे उत्तर नाही.

स्वतःच कागदपत्रांवर एक बोथट निकाल

ओपनएआय रिलीझवर कॅलेगरीची टीका हस्तकला आणि सामुदायिक नियमांच्या प्रश्नांवर कठोर आहे. ते लिहितात, कागदपत्रे "अत्याचाराने लिहिलेली आहेत आणि श्रेयवादाच्या आमच्या समुदायाच्या अपेक्षांचे उल्लंघन करतात. त्यापैकी काही अगदी चुकीच्या आहेत." तक्रार अशी नाही की AI गणित करू शकत नाही - ते करू शकते हे ते मंजूर करते - परंतु ते गणित साहित्य वापरण्यायोग्य बनवणाऱ्या मानकांचा आदर न करता गणित करत आहे.

त्याचा उपाय स्पष्टपणे व्यावहारिक आहे. "ट्रिलियन-डॉलर कंपन्यांच्या वर्तनापेक्षा आपण गणितज्ञांना कसे कामावर घेतो, पेपर प्रकाशित करतो आणि विद्यार्थ्यांना प्रशिक्षण कसे देतो यावर गणितज्ञांचे अधिक नियंत्रण असते," तो असा युक्तिवाद करतो आणि तेथेच या क्षेत्राची ऊर्जा गेली पाहिजे.

'सर्व काही सिद्ध झाल्याचा दावा केला गेला आहे'

निबंधातील सर्वात उल्लेखनीय उतारा वैयक्तिक आहे. कॅलेगारी यांचे निरीक्षण आहे की त्यांच्या संपूर्ण कारकिर्दीत त्यांनी जाहीरपणे उल्लेख केलेल्या एकाही मोठ्या खुल्या समस्येचा — चर्चा, व्याख्याने, लेख किंवा अनुदान प्रस्तावांमध्ये — "घोषणेमुळे अस्पर्श राहिलेला नाही. सर्व काही सिद्ध झाल्याचा दावा केला गेला आहे."

"मला त्यांच्यापैकी काही यादीत पाहण्याची अपेक्षा होती," तो लिहितो. "पण सगळेच नाही. एकाच वेळी नाही. अशा बेफिकीरीने नाही." कार्यरत गणितज्ञांसाठी, तुम्ही स्पर्श केलेल्या प्रत्येक समस्येला कॉर्पोरेट प्रेसच्या चक्रात गुंफताना पाहण्याचा अनुभव अशा प्रकारे विचलित करणारा आहे की AI जोखमीबद्दल अमूर्त युक्तिवाद नाही.

आवर्त सारणी हे रसायनशास्त्र नाही

क्षेत्राच्या प्रसिद्ध खुणांवर दावा करणे म्हणजे फील्ड संपले या कल्पनेवर कॅलेगारी जोरदारपणे मागे सरकते. ओपनएआय पेपर्स, त्यांनी नोंदवले आहे की, लँगलँड्स प्रोग्राममधील कार्यक्षमता आणि परस्परसंवादाच्या सामान्य समस्यांवर "केवळ कमी" केले - आधुनिक संख्या सिद्धांतातील सर्वात खोल संरचनांपैकी एक.

पण जरी प्रकाशनाने लँगलँड्स प्रोग्राममधील प्रत्येक समस्या सोडवली असती तरी, तो लिहितो, "निराकरण केलेल्या संख्या सिद्धांत" असण्याची कल्पना करणे "नियतकालिक सारणीच्या बांधणीने रसायनशास्त्र सोडवले असे म्हणण्यासारखे भोळे असेल." हा एक युक्तिवाद आहे जो गणितज्ञांनी लोकांसमोर करणे आवश्यक आहे, तो सुचवतो: मध्यवर्ती समस्या केवळ सर्वात दृश्यमान शिखरे आहेत आणि पर्वतराजी त्यांच्या पलीकडे पसरलेली आहे.

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

निबंधाचा ऐतिहासिक अँकर मर्यादित साध्या गटांचे वर्गीकरण आहे — एक गाथा कॅलेगरीला आतून माहित आहे. 1972 मध्ये, डॅनियल गोरेन्स्टाईन यांनी वर्गीकरणासाठी एक कार्यक्रम जाहीर केला. सुमारे एक दशकाच्या उन्मत्त क्रियाकलापांनंतर, 1983 मध्ये वर्गीकरण पूर्ण झाल्याची घोषणा करण्यात आली - अकालीच, जसे की असे दिसून आले की, ॲशबॅकर आणि स्मिथने अंदाजे दोन दशके पूर्ण होईपर्यंत क्वासिथिन गटांचे प्रकरण पूर्ण केले नाही.

वर्गीकरण "अनेक प्रकारे एक मोठे यश होते," कॅलेगारी लिहितात, "परंतु ते अयशस्वी देखील होते" - प्रसिद्ध समस्या निघून गेल्याच्या घोषणेने या विषयातील रस कमी झाला आणि गणितज्ञांनी त्यांचे लक्ष दुसरीकडे वळवले. तरीही समृद्ध प्रश्न राहिले, ज्यात तो जॉन कॉनवेचा आवडता म्हणून ओळखतो: मॉन्स्टर गट का अस्तित्वात आहे? काही फील्डसाठी, कॅलेगारी सुचवते, ओपनएआय डंप गट सिद्धांतकारांना वर्गीकरण वाटले तसे वाटू शकते.

कॅलेगारीला गणितज्ञांनी काय करावे असे वाटते

निबंध विलाप करण्याऐवजी कार्यक्रमाने बंद होतो. या क्षेत्राला गोरेन्स्टाईन-लायन्स-सोलोमन वर्गीकरणाच्या सुधारित उपचारांसारख्या प्रयत्नांची आवश्यकता आहे - रुग्ण, दावा केलेला निकाल प्रत्यक्षात आणण्याचे बहु-खंड कार्य. आणि "पूर्ण झाले" या विषयाचा उच्चार करण्यास विरोध करणे आवश्यक आहे कारण उपलब्ध नवीन साधनांसह, गणित "पुढील तपासणीसाठी योग्य" आहे.

कॅलेगारी ज्याला AI-सहाय्यित पुराव्यांचे "गॅलेक्टिक बायपास" म्हणतो त्याद्वारे चुकलेले जुने मार्ग अजूनही अस्तित्वात आहेत, तो असा युक्तिवाद करतो आणि गणितज्ञांनी ते शोधले पाहिजे - आणि, महत्त्वपूर्णपणे, "जेव्हा लोकांना नोकऱ्या ऑफर करण्याचा विचार येतो तेव्हा आम्हाला त्या वर्तनाचा पुरस्कार करणे आवश्यक आहे." निबंधात ताओ ची तळटीप आहे की पोस्ट सुरुवातीला वेगळ्या फाईल फॉरमॅटमध्ये लिहिली गेली होती आणि AI वापरून रूपांतरित केली गेली होती, ही एक छोटीशी विडंबना आहे जी साधने क्षेत्राच्या दैनंदिन कामात किती पूर्णपणे घुसली आहे हे अधोरेखित करते.

खूप मोठ्या हिशोबाचा भाग

गणितज्ञ आणि एआय लॅबमधील वाढत्या घर्षणाच्या एका वर्षाच्या दरम्यान हा निबंध उतरला आहे. एआय बझ वायरने याआधी गणितज्ञांवर अहवाल दिला आहे की ओपनएआयचे मॉडेल त्यांच्या खाजगी चर्चेत प्रशिक्षित नसल्याचा पुरावा मागितला आहे, टेरेन्स ताओसह 25 फील्ड पदक विजेत्यांनी एआय आणि गणित यांच्यातील "तीव्र गैरसमज" घोषित केले आहे. AI नूतनीकरणक्षमतेने जगातील चांगल्या खुल्या समस्यांच्या साठ्याचे उत्खनन करत आहे.

नवीन निबंध लक्षात घेण्याजोगी गोष्ट म्हणजे पवित्रा बदलणे. मागील प्रतिसादांमधील प्रबळ टीप अलार्म होती; कॅलेगारी चे रुपांतर आहे. तंत्रज्ञान, त्याच्या सांगण्यानुसार, दूर जात नाही, असाधारण दावे दूर होत नाहीत, आणि फील्ड नियंत्रित करणारा एकमेव व्हेरिएबल म्हणजे त्याचा स्वतःचा प्रतिसाद - ते कसे प्रकाशित करते, ते कसे प्रशिक्षण देते आणि कोणाला कामावर घेते.

---

एआयच्या पुढे राहा

नवीनतम AI बातम्या, विश्लेषण आणि यश मिळवा — सर्व एकाच ठिकाणी.

अधिक AI बातम्या वाचा →