AI ने केवल एक प्रसिद्ध गणितीय सिद्धांत में मदद नहीं की। इसने सिद्धांत को मशीन द्वारा जांचने योग्य बनाने में मदद की। Anthropic का कहना है कि @claudeai ने लीन में फर्मा के अंतिम प्रमेय का पहला पूर्ण कंप्यूटर-जांचित औपचारिकीकरण तैयार करने के लिए 11 दिनों तक अधिकांशतः स्वायत्त रूप से काम किया। 13 मिलियन पंक्तियों का औपचारिक सिद्धांत। अंतिम परिणाम में 29,500 मध्यवर्ती प्रमेयों का उपयोग किया गया। यह विशेषता महत्वपूर्ण है। एंड्रयू वाइल्स ने दशकों पहले ही फर्मा के अंतिम प्रमेय का सिद्धांत साबित कर दिया था। यहाँ की क्रांति अत्यधिक जटिल मानवीय गणित को एक ऐसी चीज में बदलना है, जिसे कंप्यूटर पूरी तरह से सत्यापित कर सकता है। और मुझे लगता है कि यह AI के विज्ञान में खेल सकने वाली सबसे महत्वपूर्ण भूमिकाओं में से एक की ओर संकेत करता है। वैज्ञानिक को प्रतिस्थापित करना नहीं। सत्यापन की बाधा को कम करना। जैसे-जैसे AI अधिक गणित, कोड और वैज्ञानिक तर्क प्रस्तुत करता है, उत्तर प्राप्त करना सस्ता होता जाएगा। लेकिन इन उत्तरों की वास्तविकता साबित करना अधिक मूल्यवान हो सकता है। AI की अगली सीमा केवल बुद्धि हो सकती है। यह सत्यापनयोग्य बुद्धि हो सकती है।