ونتج عن ذلك نحو 13 مليون سطر من الشيفرة البرمجية بلغة "Lean"، وحوالي 29,500 مبرهنة وسيطة، وهو ما يعادل نحو خمسة أضعاف حجم مكتبة الرياضيات الرسمية "Mathlib" بأكملها.
"كلود" يتحدى قرونا من الرياضيات ويصوغ "مبرهنة فيرما الكبرى" في 11 يوما فقط
- منذ شهر
- روسيا اليوم
Loading image...
