توثيق آخر نظرية فيرما في لين: مشروع مفتوح المصدر
2025-08-03
يهدف مشروع مفتوح المصدر الطموح إلى إثبات آخر نظرية فيرما بشكل رسمي باستخدام مُثبت النظرية لين. يقود المشروع كيفن بوزارد، ويموله المجلس الوطني للبحوث في الهندسة والعلوم الفيزيائية (EPSRC)، ويستضيفه إمبريال كوليدج لندن، ويستخدم المشروع متغيرًا حديثًا لإثبات وايلز/تايلور-وايلز الأصلي، المُخطط له بالتعاون مع ريتشارد تايلور. يقدم موقع الويب الخاص بالمشروع تفاصيل حول آخر نظرية فيرما، ومُثبت لين، وأهداف المشروع، وإرشادات المساهمة.
التطوير
آخر نظرية فيرما