أعلنت شركة «Anthropic» أن نموذج الذكاء الاصطناعي «Claude» تمكن، بصورة شبه مستقلة، من صياغة مبرهنة فيرما الكبرى «Fermat’s Last Theorem» في صورة شيفرة برمجية خلال 11 يومًا فقط. وبحسب موقع «Naukatv.ru»، نتج عن العملية نحو 13 مليون سطر بلغة «Lean»، إضافة إلى 29.5 ألف مبرهنة وسيطة، في حجم يعادل نحو خمسة أضعاف مكتبة الرياضيات الرسمية «Mathlib». وتعود المبرهنة إلى عالم الرياضيات الفرنسي بيير دي فيرما في القرن السابع عشر، وظل إثباتها مستعصيًا أكثر من ثلاثة قرون، حتى أثبتها البريطاني أندرو وايلز عام 1995 بعد سنوات من العمل.

ولا يعني إنجاز «Claude» اكتشاف برهان جديد، بل تحويل البرهان الرياضي إلى صيغة رسمية قابلة للتحقق حاسوبيًا خطوة بخطوة. وقُسمت المهمة بين وكلاء ذكاء اصطناعي تلقوا توجيهات عامة، بمساعدة أداة «Prove2Me» لتنسيق العمل. ويرى باحثون أن نجاح التجربة، إذا أمكن تكراره بموثوقية، قد يسرع تحويل النظريات الرياضية إلى صيغ رقمية قابلة للتحقق الآلي، ويساعد في اكتشاف الأخطاء والثغرات داخل البراهين المعقدة. googletag.cmd.push(function() { googletag.display(div-gpt-ad-1705566205785-0); });