गणित में एआई: एआई मनुष्यों के लिए काम करता है, और उन पर

मई 2026 में, OpenAI ने "यूनिट डिस्टेंस कन्जेक्चर" के लिए एक प्रतिउदाहरण प्रकाशित किया, जो 1946 से खुला हुआ ज्यामितीय ग्राफ सिद्धांत का एक अनुमान था। यह लंबे समय से चली आ रही समस्याओं के अन्य AI-सहायता प्राप्त समाधानों के बाद हुआ, जो एक महत्वपूर्ण मोड़ का संकेत देता है। अभिषेक साहा जैसे गणितज्ञ अब नियमित कार्यों को संभालने के लिए AI मॉडल का उपयोग करते हैं, और अपनी भूमिका को एक संवाहक के रूप में वर्णित करते हैं, न कि पूरे ऑर्केस्ट्रा के रूप में। ट्रेफर बाज़ेट जैसे कुछ लोग एक नए स्वर्ण युग की संभावना देखते हैं, और कार्नेगी मेलन के एक पेपर का उल्लेख करते हैं जिसने SAT सॉल्वर, LLM-जनित कोड और औपचारिक प्रमाण सत्यापन का उपयोग करके रैमसे सिद्धांत की एक समस्या को हल किया। टिमोथी गॉवर्स, जिन्होंने 2000 में इस युग की भविष्यवाणी की थी, मिश्रित भावनाएँ रखते हैं, क्योंकि उन्होंने AI को अपनी शोध समस्याओं को हल करते देखा है। वह डरते हैं कि अगर मनुष्य विशेषज्ञता का निर्माण बंद कर देते हैं तो गणितीय संस्कृति का विनाश हो जाएगा। 3000 से अधिक गणितज्ञों द्वारा हस्ताक्षरित "लेडेन घोषणा और गणित" का उद्देश्य दिशानिर्देश निर्धारित करना है। एपोक AI ने प्रगति की सूचना दी लेकिन ध्यान दिया कि सबसे कठिन मानदंड श्रेणियाँ अनसुलझी हैं। टेरेंस ताओ इस स्थिति की तुलना 20वीं सदी की शुरुआत के मूलभूत संकट से करते हैं, और इसे गणित को मजबूत करने के अवसर के रूप में देखते हैं, जबकि किर्विन हैम्पशायर का निबंध "गणित की अंधेरी रात" अधिक निराशावादी दृष्टिकोण प्रस्तुत करता है, और सुझाव देता है कि सांत्वनाएँ आत्म-धोखा हैं।