منذ 2024 يعمل مشروع بشري في إمبريال كوليدج لندن على تحويل برهان نظرية فيرما الأخيرة إلى صيغة يتحقق منها الحاسوب سطراً بسطر، وكان مخططاً أن يمتد الجهد لسنوات. في 4 سبتمبر 2026 أعلنت “أنثروبيك” (Anthropic) أنها أنجزت المهمة خلال نحو 11 يوماً، وفق منشورها البحثي، بما يضع المقارنة الزمنية في قلب الخبر لا تفاصيل المختبر.
يقود المشروع البشري كيفن بازارد، ويهدف إلى إعادة كتابة برهان أندرو وايلز، الذي أثبت النظرية في التسعينيات، بلغة يفهمها برنامج مساعد إثبات حتى لا تبقى صحة الخطوات رهينة قراءة بشرية طويلة وحدها. ووفق التغطيات العلمية، كان التمويل والجدول يشيران إلى مسار يمتد لسنوات لا أسابيع.
أما نتيجة “أنثروبيك” فتعتمد على وكلاء نموذج “كلود” (Claude) عملوا بتنسيق مشترك، وأعادت صياغة البرهان نفسه لا اكتشاف نظرية جديدة. وقد راجع بازارد هذه النتيجة وقال إنها تثبت النظرية «بلا افتراضات سوى بديهيات الرياضيات»، وفق ما نقلته الشركة والتقارير، كما أشارت الشركة إلى اعتماد جزئي على أعمال سابقة من المجتمع الرياضي ونشرت المستودع علناً ليُفحص.
وبذلك لا تتمحور القصة حول شرح المعادلة أو أدوات البرمجة، بل حول تسارع التحقق الآلي لما كان يُعامل كمهمة جماعية طويلة الأمد. ما احتاج مشروعاً بشرياً متعدد السنوات أصبح، في هذا الإعلان، مساراً يُقاس بالأيام، مع بقاء المراجعة البشرية حاضرة عبر اطّلاع بازارد على الناتج.
يُظهر هذا الملف أن التحقق الآلي بات قادراً على اختصار مسار كان يُخطَّط له بسنوات من الجهد البشري إلى أيام معدودة، من دون أن يلغي دور المراجعة البشرية كما في اطّلاع بازارد على الناتج. والخبر هنا ليس درس رياضيات، بل قياس واضح لفجوة الزمن بين التخطيط الجماعي الطويل والتنفيذ الآلي المنسَّق في مهمة علمية واحدة.
الإفصاح: مادة مولَّدة بالذكاء الاصطناعي تحت إشراف تحريري. الصورة البارزة توضيحية من Wikimedia Commons (GastelEtzwane) بترخيص CC BY-SA 4.0.
مصادر أساسية: Anthropic · TechTimes · Decrypt · New Scientist
