عاجل: أنتج Claude من Anthropic أول صياغة رسمية تحقّق منها الحاسوب لمبرهنة فيرما الأخيرة باستخدام Lean، حاسماً مسألة ظلت قائمة طوال 350 عاماً.

قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.