ماذا يعني أن يضغط الذكاء الاصطناعي سنوات من العمل الخبير في 11 يومًا
أنجز كلود في 11 يومًا إثباتًا رياضيًا كان الخبراء يقدّرون أنه سيستغرق سنوات — والدرس لمهن المعرفة أوسع بكثير من الرياضيات.
- 11 days
- لإتمام ما توقّع الخبراء أنه سيستغرق سنوات
- 13 million
- سطرًا من كود Lean موثَّق حاسوبيًا
- 29,500
- نظرية وسيطة أُثبتت في الطريق
- 350 years
- منذ أن كتب فيرما المسألة عام 1637
الأسبوع الماضي، أتمّ نموذج الذكاء الاصطناعي كلود من Anthropic واحدة من أصعب المهام في الرياضيات. كان الهدف صياغة برهان نظرية فيرما الأخيرة — مسألة ظلّت مفتوحة 350 عامًا بعد أن كتبها بيير دو فيرما في هامش كتاب عام 1637. أثبتها الرياضي أندرو وايلز أخيرًا عام 1995، في 129 صفحة مكثّفة استغرقت سنوات. أنجز كلود نسخته في 11 يومًا.
بدقة أكبر: لم يحلّ كلود النظرية من الصفر — فعل ذلك وايلز من قبل. المهمة كانت "صياغة" البرهان رسميًا: ترجمة الرياضيات المكتوبة بشريًا إلى كود حاسوبي تتحقق منه الآلة خطوةً بخطوة، دون أي هامش للخطأ. قدّر الخبراء أن هذا سيستغرق فريقًا من المتخصصين سنوات عدة. أدار كلود عشرات عوامل متوازية تعمل معًا وأنتج 13 مليون سطر من الكود المُتحقَّق منه — خمسة أضعاف أكبر مكتبة رياضية وُجدت من قبل.
في الطريق، أثبتت العوامل 29,500 نظرية وسيطة واستهلكت نحو 6 مليارات رمز — الوحدات الصغيرة للنص التي يعالجها الذكاء الاصطناعي. أتمّت تجربة منفصلة صياغة نظرية مشهورة أخرى في ثلاثة أيام فقط، باستخدام خطط استهلاكية متاحة لأي شخص اليوم.
القصة الحقيقية هنا ليست رياضيات — بل هي وقت. إن كان الذكاء الاصطناعي قادرًا على ضغط مشروع متخصص يمتد سنوات في 11 يومًا، فإن النمط ذاته قد ينطبق على مراجعة المستندات القانونية، والتحقق من الأدبيات العلمية، وتحليل الامتثال، ومراجعة الكود. كل عمل متخصص عالي المخاطر يستغرق وقتًا للتحقق منه أصبح الآن مرشحًا لهذا النمط: أشهر من العمل الخبير مضغوطة في أيام.
ملاحظة صادقة: نجح هذا لأن البنية التحتية المناسبة كانت موجودة بالفعل — مكتبات رياضية بناها المجتمع، ومنصة مفتوحة المصدر، وبشر يضعون الاتجاه في اللحظات الحاسمة. لم يستبدل الذكاء الاصطناعي الخبراء؛ بل عمل بسرعة إلى جانبهم. السؤال العملي لكل فريق: أين في عملكم يُبطئ التحقق المتخصص البطيء كلَّ شيء آخر؟