एआई के युग में गणित: आईसीएम 2026 में टेरेंस ताओ का सार्वजनिक व्याख्यान

टेरेंस ताओ ने 24 जुलाई, 2026 को अंतर्राष्ट्रीय गणितज्ञ कांग्रेस में "गणित का एआई-युग" शीर्षक से एक सार्वजनिक व्याख्यान दिया। वे रसेल के विरोधाभास और गोडेल के अपूर्णता प्रमेयों के कारण 20वीं सदी की शुरुआत में उत्पन्न नींव संकट के समानांतर एक तुलना प्रस्तुत करते हैं, जो सुझाव देते हैं कि एआई अब एक समान चुनौती पेश कर रहा है। ताओ एक "एआई क्षमता परिकल्पना" तैयार करते हैं, जिसमें कमज़ोर और मज़बूत रूप शामिल हैं, लेकिन वे लक्ष्यों और मूल्यों के ऑर्थोगोनल प्रश्न पर ध्यान केंद्रित करना चुनते हैं। वे एक कार्यशील परिकल्पना अपनाते हैं कि एआई क्षमता परिकल्पना का एक उचित रूप से मज़बूत संस्करण सत्य है: एआई उपकरण जल्द ही उचित सफलता, गुणवत्ता, नियंत्रण और लागत के साथ अनुसंधान-स्तरीय गणितीय कार्यों का एक उचित हिस्सा करने में सक्षम होंगे। इस धारणा के तहत, वे तर्क देते हैं कि समुदाय को अपने वास्तविक लक्ष्यों—समस्याओं को हल करना, सिद्धांत बनाना, शिक्षा देना, सौंदर्यपूर्ण कार्य बनाना—की जांच करनी चाहिए, और चेतावनी देते हैं कि एआई-जनित समाधानों के लिए अनुकूलन करने से ये लक्ष्य विचलित हो सकते हैं। वे पहले प्रूफ चैलेंज (firstproof.org) के परिणामों का हवाला देते हैं, जहाँ 28 मई, 2026 को दस में से सात अनुसंधान-स्तरीय समस्याओं को एआई टीमों ने $10 से $1000 प्रति समस्या की लागत पर हल किया। ताओ नोट करते हैं कि एर्दोस प्रॉब्लम्स जैसी साइटों पर एआई-जनित प्रूफ सत्यापन संबंधी चिंताएँ उठाते हैं, क्योंकि मानव विशेषज्ञों के पास उन्हें मान्य करने का समय या योग्यता अक्सर नहीं होती।