तीन साल पहले, AI दो संख्याएँ नहीं जोड़ सकता था। एक साल पहले, Open AI और Deep Mind के मॉडलों ने IMO पर स्वर्ण-पदक स्तर प्राप्त किया। अब वे स्वायत्त रूप से प्रमुख खुली समस्याओं को हल करते हैं। यह प्रवृत्ति संभवतः जारी रहेगी, जिसके लिए गणित की आमूल पुनर्विचार की आवश्यकता होगी।

《गणित का अंत》 शीर्षक एक वार्ता ने एक उदास भविष्य की चेतावनी दी जहाँ AI अतिमानवीय है लेकिन संस्थाएँ मानवीय समझ को रोक देती हैं। मेरा मानना है कि यदि शैक्षणिक गणित अनुकूलित होता है तो हम इससे बच सकते हैं।

लक्ष्यों पर कोई सहमति नहीं है: समस्याएँ हल करना, खेलना, प्लेटोनिक क्षेत्र में प्रवेश करना, या गणित के प्रति प्रेम संचारित करना। मेरे उत्तर: उच्च गुणवत्ता वाला गणित उत्पन्न और समझना, और उच्च गुणवत्ता वाले गणितज्ञ उत्पन्न करना।

हम प्रमेयों को सिद्ध करके लक्ष्यों को संचालित करते हैं। लेकिन यदि वही लक्ष्य होता, तो इसे स्वचालित करना तुच्छ होता—एक कंप्यूटर ZFC प्रमाणों की गणना कर सकता है। लक्ष्य प्रमेय सिद्ध करना नहीं है; यह समझ है।

मुख्य संस्थाएँ: कंपनियाँ: Open AI, Deep Mind