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