الذكاء الاصطناعي يحل مشكلة رياضية عمرها 350 سنة بكتابة أطول برهان على الإطلاق

ملخص في 60 كلمة

يقدّم الذكاء الاصطناعي "كلود" من Anthropic برهانًا مكوّنًا من 13 مليون سطر لمبرهنة فيرما الأخيرة على مدار أحد عشر يومًا، وهو أطول برهان تم التحقق منه بالحاسوب حتى الآن. يكتب النظام شفرة تتحقق من نفسها دون إشراف بشري، مما يُظهر قدرة التفكير الرياضي المستقل. يُظهر هذا الاختراق إمكانات الذكاء الاصطناعي في معالجة المشكلات المعقدة غير المحلولة، ومن المحتمل أن يسرّع من مسارات البحث ويجذب استثمارات أكبر في الاكتشاف العلمي المدفوع بالذكاء الاصطناعي.