AI نے صرف ایک مشہور ریاضیاتی ثبوت میں مدد نہیں کی۔ اس نے ثبوت کو مشین کے ذریعے جانچنے کے قابل بنایا۔ Anthropic کا کہنا ہے کہ @claudeai نے فرما کے آخری نظریہ کا پہلا مکمل کمپیوٹر جانچ شدہ فارملائزیشن لین میں تیار کرنے کے لیے 11 دن تک تقریباً خودمختار طور پر کام کیا۔ 13 ملین لائنز کا فارمل ثبوت۔ آخری نتیجہ میں استعمال ہونے والے 29,500 درمیانی نظریات۔ یہ تمیز اہم ہے۔ اینڈرو وائلز نے پہلے ہی دہائیوں پہلے فرما کے آخری نظریہ کا ثبوت پیش کر دیا تھا۔ یہاں کا انقلاب یہ ہے کہ انسانی ریاضیات کے انتہائی پیچیدہ مجموعے کو ایک ایسی چیز میں تبدیل کرنا جسے کمپیوٹر مکمل طور پر جانچ سکے۔ اور مجھے لگتا ہے کہ یہ AI کے سائنس میں ادا کرنے والے اہم ترین کرداروں میں سے ایک کو ظاہر کرتا ہے۔ سائنسدان کو بدلنا نہیں۔ جانچ کے بند راستے کو کم کرنا۔ جب AI زیادہ ریاضیات، کوڈ اور سائنسٹک استدلال پیدا کرے گا، تو جوابات تخلیق کرنا سستا ہو جائے گا۔ اس بات کا ثبوت دینا کہ ان جوابات درحقیقت صحیح ہیں، زیادہ قیمتی ہو سکتا ہے۔ AI کا اگلا آگاہی کا شعبہ صرف ذکاوت نہیں ہو سکتا۔ اس ممکنہ طور پر قابل جانچ ذکاوت ہو سکتا ہے۔