إضفاء الصفة الرسمية على آخر نظرية لفيراما في لين: مشروع مفتوح المصدر تعاوني

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