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

यह बढ़ोतरी कई मोर्चों पर हो रही है। इस सप्ताह, NYU के प्रोफेसर ट्रिस्टन बकमास्टर ने OpenAI पर आरोप लगाया कि उन्होंने एक महत्वपूर्ण गणितीय समस्या को हल करने के लिए Anthropic में काम करने वाले एक सहयोगी को श्रेय देने से रोकने के लिए दबाव डाला, और आश्चर्य जताया कि क्या कंपनी ने Codex के साथ उनके काम का उपयोग करके अनुमान के एक मैराथन सप्ताहांत में अपना स्वयं का अभूतपूर्व प्रमाण तैयार किया था। गुरुवार को, OpenAI ने CalTech में एक गणित कार्यक्रम के अपने प्रायोजन को वापस ले लिया, जब विश्वविद्यालय के शोधकर्ताओं द्वारा कंपनी की आलोचना की गई - एक ऐसा कदम जो इस बहस को सुलझाता है कि क्या प्रायोजन को प्रमाण सत्यापित होने से तेज़ी से रद्द किया जा सकता है।

हालांकि AI मॉडल द्वारा दुनिया की बकाया गणितीय चुनौतियों को हल करना सैद्धांतिक रूप से मानवता के लिए वरदान हो सकता है, हस्ताक्षरकर्ताओं का तर्क है कि ऐसा तभी होगा जब उन समाधानों को गणित समुदाय और अंततः शेष दुनिया द्वारा समझा और संप्रेषित किया जा सके। जो कि विनम्र तरीके से यह कहने का तरीका है: एक प्रमाण जिसे कोई नहीं पढ़ सकता, वह सिर्फ एक बहुत महंगा नंबर है।

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

अन्य गणितज्ञों के बढ़ते संदेह और यह सोचने के साथ कि क्या उनके Codex उपयोग को बदले में OpenAI के नए मॉडलों में खिलाया गया था, एक वास्तविक डर है कि खुले शोध की संस्कृति खतरे में पड़ जाएगी। आज, यदि फ्रंटियर लैब्स को किसी खोज का उपयोगी रास्ता दिखता है, तो वे मूल शोधकर्ताओं को प्रमाण तक पहुंचने से पहले LLM का उपयोग करके करोड़ों डॉलर खर्च कर सकते हैं - एक ऐसी गतिशीलता जो गोपनीयता को प्रोत्साहित करेगी, जो ऐतिहासिक रूप से गणित के काम करने के तरीके के बिल्कुल विपरीत है।

यह पत्र जून में गणितज्ञों के एक कार्य समूह द्वारा जारी लीडेन घोषणापत्र के बाद आया है। वह दस्तावेज़ भी उन तरीकों से जूझता है जिनसे LLM प्रमाण उनके काम को बदल देंगे, और गणितज्ञों, संस्थानों और नीति निर्माताओं के लिए सिफारिशों का एक सेट प्रदान करता है, जिसमें संभवतः "शायद सहकर्मी समीक्षा की प्रतीक्षा करें" शामिल है।

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

और यदि आप उच्च-दांव वाले गणितीय प्रमाणों की कट्टर दुनिया की विशेष परवाह नहीं करते हैं, तो मत भूलिए: आपका रुचि का क्षेत्र अगला है।

"गणितीय समुदाय अब जिन मुद्दों का सामना कर रहा है, वे अन्य वैज्ञानिक और रचनात्मक व्यवसायों के सामने आने वाले मुद्दों के समान हैं, और उन मुद्दों को इंगित करते हैं जिनका सामना पूरी मानवता को करना पड़ सकता है: यह सुनिश्चित करना कि जैसे-जैसे AI काम करने का तरीका बदलता है, हम यह न भूलें कि वह काम मूल रूप से क्या हासिल करना चाहता था," उन्होंने लिखा। जो यह कहने का सबसे कूटनीतिक संभव तरीका है: आपके आने से पहले हम ठीक थे।