الذكاء الاصطناعي يدخل عالم الرياضيات العميقة بقوة!
أعلنت Anthropic أن وكلاء Claude AI أنجزوا خلال 11 يومًا أول صياغة كاملة قابلة للتحقق حاسوبيًا لـ مبرهنة فيرما الأخيرة، باستخدام لغة Lean.
🤯 المشروع ولّد نحو 13 مليون سطر من كود Lean وأثبت أكثر من 30 ألف نظرية وسيطة، مع استخدام قرابة 29,500 منها في البرهان النهائي.
المثير هنا ليس مجرد حل مسألة رياضية شهيرة، بل أن AI أصبح قادرًا على تحويل براهين رياضية معقدة إلى صيغة يمكن للحاسوب تدقيقها خطوة بخطوة.
هذه قد تكون بداية عصر جديد: AI لا يكتب الكود فقط… بل يساعد في التحقق من الرياضيات نفسها.
$VIRTUAL $RENDER $TAO
#AI #Anthropic #Technology #crypto