الذكاء الاصطناعي يحل مشكلة رياضية عمرها 350 عامًا بأطول إثبات على الإطلاق
أثبت الذكاء الاصطناعي من شركة Anthropic، المسمى Claude، نظرية فيرما الأخيرة في 11 يومًا فقط، وكتب إثباتًا مكونًا من 13 مليون سطر - وهي مهمة حيرت البشر لمدة 358 عامًا.
قام الذكاء الاصطناعي بما لم يستطع الرياضيون إكماله في سنوات خلال 11 يومًا فقط. تقول شركة Anthropic (التي تبني أنظمة الذكاء الاصطناعي) إن الذكاء الاصطناعي الخاص بها، المسمى Claude، أنتج أطول إثبات رياضي مكتوب على الإطلاق — واستخدمه لحل لغز حير الخبراء لمدة 358 عامًا.
تسمى اللغز نظرية فيرما الأخيرة. في عام 1637، كتب عالم الرياضيات بيير دي فيرما ادعاءً على هامش كتاب، قائلاً إنه لديه "إثبات رائع" لكنه لم يكن لديه مساحة لكتابته. ثم توفي، تاركًا علماء الرياضيات يقضون قرونًا في محاولة لفهمه.
وصل إثبات حقيقي أخيرًا في عام 1995 من أندرو وايلز — لكنه كان يتألف من 129 صفحة وكان يحتوي على خطأ استغرقه ما يقرب من عام لإصلاحه. النقطة هي: التحقق مما إذا كان الإثبات صحيحًا حقًا أمر صعب للغاية ويمكن أن يستغرق سنوات.
هذا هو المكان الذي يأتي فيه Claude. لقد "صاغ" الإثبات — مما يعني أنه أعاد كتابة الرياضيات بلغة حاسوبية فائقة الدقة (تسمى Lean) بحيث يمكن للحاسوب التحقق من كل خطوة تلقائيًا، دون ترك مجال للأخطاء البشرية.
الأرقام مذهلة:
- 11 يومًا لإكمال المهمة
- 13 مليون سطر من الشيفرة — أكبر بخمس مرات من المكتبة المشتركة التي يستخدمها الرياضيون عادةً
- أكثر من 30,000 إثبات داعم أصغر تم حله على طول الطريق
- ما يعادل تقريبًا 160 رواية من الحجة المنطقية الصرفة
الجزء الأفضل: كيفين بازارد، عالم الرياضيات الذي يقود هذا المشروع البشري، راجع عمل Claude وأكد أنه متماسك.
لماذا يهم هذا؟ إنه يظهر أن الذكاء الاصطناعي يمكنه الآن التعامل مع بعض أصعب المهام الفكرية التي يواجهها البشر — ليس فقط الدردشة، بل المنطق الصارم والقابل للتحقق. يمكن أن يعيد تشكيل كيفية إنجاز العلوم والرياضيات.
هذا ملخص تم إنشاؤه بواسطة الذكاء الاصطناعي. اقرأ المقال الأصلي على: https://decrypt.co/377491/ai-solved-350-year-old-math-problem