Claude AI يكتب أطول برهان رياضي على الإطلاق ويحل مبرهنة فيرما الأخيرة
أنتج Claude AI من Anthropic أول برهان لنظرية فيرما الأخيرة خضع للتحقق الحاسوبي الكامل خلال 11 يومًا، إذ كتب 13 مليون سطر من الشيفرة تمثل أطول برهان رياضي يُنشأ على الإطلاق. وأكمل نظام الذكاء الاصطناعي مشروعًا لإضفاء الصيغة الرسمية على البرهان، وهو مشروع يعمل عليه فريق يقوده بشر في إمبريال كوليدج لندن منذ عام 2024 من دون أن يتمكن من إتمامه. وراجع عالم الرياضيات Kevin Buzzard، الذي يقود المشروع البشري، برهان Claude وأكد صحته باستخدام بديهيات الرياضيات الأساسية فقط، ما يثبت حل مسألة ظلت غير محلولة
GateAiHorizon·09-05 13:09
