الصياغة الرسمية لنظرية فيرما الأخيرة

في 9 نوفمبر 2026، أعلنت Anthropic في مدونتها الهندسية الرسمية عن تجربة متعددة الوكلاء: تعاون 1000 وكيل Claude Fable 5.2 على الصياغة الصورية لمبرهنة فيرما الأخيرة حاسوبيًا في 28.7 ساعة، واجتاز البرهان في النهاية فحص نواة Lean الرسمية. أما التجربة الأولى للصياغة الصورية، التي أُجريت قبل شهرين، فقد أنجزها عشرات الوكلاء واستغرقت 11 يومًا. هذا…