لم يساعد الذكاء الاصطناعي فقط في إثبات رياضي مشهور. بل ساعد في جعل هذا الإثبات قابلاً للتحقق الآلي. يقول Anthropic إن @claudeai عمل بشكل ذاتي إلى حد كبير لمدة 11 يومًا لإنتاج أول ترسيم رسمي كامل ومتحقق آليًا لنظرية فيرما الأخيرة باستخدام Lean. 13 مليون سطر من الإثبات الرسمي. 29,500 نظرية وسيطة استُخدمت في النتيجة النهائية. هذا التمييز مهم. لقد أثبت أندرو وايلز بالفعل نظرية فيرما الأخيرة منذ عقود. الإنجاز الحقيقي هنا هو تحويل مجموعة رياضية بشرية معقدة بشكل استثنائي إلى شيء يمكن للحاسوب التحقق منه من البداية إلى النهاية. وأعتقد أن هذا يشير إلى أحد أهم الأدوار التي قد يلعبها الذكاء الاصطناعي في العلم. ليس استبدال العالم العلمي. بل تقليل عقدة التحقق. مع توليد الذكاء الاصطناعي لمزيد من الرياضيات والكود والاستدلال العلمي، سيصبح إنتاج الإجابات أرخص. وقد يصبح إثبات صحة هذه الإجابات أكثر قيمة. ربما لا تكون الحدود التالية للذكاء الاصطناعي فقط الذكاء. بل قد تكون الذكاء القابل للتحقق.