Anthropic تكشف عن Claude Fable 5.2: مبرهنة فيرما في Lean خلال 30 ساعة بدلاً من 11 يوماً

عندما يقول مختبر ما إن «الذكاء الاصطناعي بات يمارس العلم»، فإن السؤال الأول بسيط: ماذا فعل بالضبط ومن تحقق من ذلك؟ أطلقت Anthropic نموذجي Claude Fable 5.2 وMythos 5.2 وجاءت معهما بأربعة ادعاءات دفعة واحدة. وهي تختلف كثيراً في وزنها، ولا ينبغي خلطها جميعاً تحت عنوان واحد اسمه «اختراق».

ما الذي أعلنته Anthropic تحديداً

وفق بيانات الشركة، أتمّ Fable 5.2 في 30 ساعة صياغة برهان مبرهنة فيرما الأخيرة صياغةً صورية في Lean. أما الإصدار السابق فاحتاج إلى 11 يوماً لذلك. وفي التجربة الثانية نسّق Fable أكثر من ألف وكيل ذكاء اصطناعي، وكتبوا خلال ثمانية أيام نموذجاً أولياً لنظام تشغيل بنواته الخاصة وبرامج تشغيل الأجهزة (drivers) وواجهة رسومية.

أما الادعاءان الآخران فيتعلقان بالعلوم. تذكر Anthropic أنها حلّت مسألتين مفتوحتين في الفيزياء النظرية مرتبطتين بالثقوب السوداء والجاذبية الكمومية. وتقول إن نموذج Mythos اقترح طريقة جديدة لنمذجة الأغلفة البروتينية للفيروسات.

أين الإشارة الحقيقية هنا

أثمن قصة للممارس هي قصة Lean. هذا نظام لا يتحقق فيه من البرهان مُراجِع بشري بل مُصرِّف (compiler). فإما أن تتسق سلسلة الاستدلال، وإما يتعذر بناء الملف. وصياغة برهان معروف صورياً تعني تحويل نص بشري يحوي عبارات مثل «من البديهي أن» إلى صيغة آلية صارمة. وهذا عمل روتيني ضخم، وتقليصه من 11 يوماً إلى 30 ساعة يعني تسارعاً يقارب تسعة أضعاف.

والأهم أيضاً أن هذه النتيجة يمكن التحقق منها دون الوثوق بكلام المختبر. فإذا نشرت Anthropic الملفات المصدرية، يستطيع أي شخص تشغيلها عبر Lean. وهذا هو المنطق نفسه الذي تقوم عليه الاختبارات والمُصرِّف في التطوير المعتاد: كلما كان المدقِّق الآلي أشد صرامة، كان إطلاق الوكيل في عمل طويل أكثر أماناً.

قصة الألف وكيل مثيرة للاهتمام ليس بسبب نظام التشغيل نفسه، بل لأن النموذج يؤدي دور قائد الأوركسترا. فالسؤال لم يعد عن مدى جودة كتابته لدالة برمجية، بل عن قدرته على الاحتفاظ بالخطة وتوزيع المهام وجمع النتائج على مدى أسبوع من العمل. ولا يذكر المنشور شيئاً عن التكلفة أو عدد الأخطاء أو مدى بعد «النموذج الأولي» عن نظام يعمل فعلاً. وبدون هذه الأرقام لا يمكن تقدير حجم الإنجاز.

ما الذي يظل موضع تساؤل

يشير كاتب المنشور الأصلي نفسه إلى تحفظات مهمة. فالذكاء الاصطناعي لم يبرهن مبرهنة فيرما من جديد: فالبرهان معروف منذ زمن طويل، وكل ما فعله أنه حوّله إلى صيغة صورية. وهذا إنجاز هندسي وليس اكتشافاً رياضياً.

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

ماذا نفعل بهذا

للمطوّر. خذ النمط لا العلامة التجارية. فحيثما تتحقق آلة من نتيجة الوكيل (Lean، الاختبارات، الأنواع، المحاكاة)، تصبح المهام المستقلة الطويلة واقعية بالفعل. وحيثما يقتصر التحقق على «يبدو مشابهاً»، فمن المبكر تفويض هذا القدر الكبير.

لمدير المنتج. انظر إلى مدة المهام لا إلى معايير الدقائق الخمس. فالانتقال من 11 يوماً إلى 30 ساعة يدل على أن النماذج تتحسن بسرعة على الآفاق الطويلة. أدرج ذلك في تخطيطك، لكن تحقق منه على حالاتك الخاصة.

للمؤسس. لا تبنِ خارطة طريقك على بيان صحفي. انتظر البيانات الأولية وإعادة الإنتاج المستقلة وشروط الإتاحة: فالسعر وتوفر الواجهة البرمجية (API) لم يُذكرا في المنشور. ويمكنك الآن أن تسجّل لنفسك بهدوء أن الأنظمة الوكيلة تعلّمت العمل أياماً لا دقائق. أما الادعاءات حول «مسائل فيزيائية محلولة» فالأفضل وضعها جانباً إلى أن يتحقق منها أحد غير مؤلفيها.