نشرت Anthropic نتيجة في 10 أغسطس أظهرت أن نسخة بحثية غير مُطلقة من Claude رفعت حدًّا أدنى في نظرية الأعداد التحليلية: إذ انتقلت نسبة الأصفار غير البديهية لدالة زيتا لريمان المثبت وقوعها على الخط الحرج من 41.6% إلى 67.2%.
حساب الوكلاء الفرعيين
أُنجز العمل عبر سرب من 60 وكيلًا فرعيًا داخل Claude Code. وتفصّل Anthropic ما الذي فعله كلٌّ منهم: 2 قدّموا الأفكار الرئيسة، و13 أسهموا بأفكار داعمة، و30 طاردوا مسارات لم تؤدِّ إلى شيء، و13 تحقّقوا من الحجج، و2 ساعدوا في كتابة الورقة. وقد استهلك ذلك 31 مليون رمز مخرجات و2,400 أمر shell خلال نحو يوم ونصف.
من الذي راجعها
تحقّق من البرهان رياضيّا Anthropic نفسُها عبر Levent Alpöge وRalph Furman، مع مراجعة خارجية من منظّري الأعداد Brian Conrey وDan Goldston. وهذه الخطوة الخارجية هي ما يميّز هذا العمل عن الادعاء المعتاد بشأن الرياضيات المُولَّدة بالآلة.
ما الذي ليس هو
إنه ليس تقدّمًا نحو إثبات فرضية ريمان، وAnthropic تقول ذلك صراحة: فهي لا تتوقع أن تقود هذه التقنيات إلى برهان. وكانت زيادة الحدّ ناتجة جانبية عن محاولة حلّ مسألة مختلفة. كما أن التغطيات المنقولة أضافت أرقامًا غير موجودة في تدوينة Anthropic، بما في ذلك "650 solution approaches" و"36 hours"، وزادت عمر المسألة إلى 150 أو 160 عامًا — بينما تعود ورقة ريمان إلى 1859.
الجزء اللافت هو السجل
فشل ثلاثون من أصل ستين وكيلًا، وهذه النسبة منشورة. وهذه هي المرة الأولى التي يبيّن فيها مختبر معدل النجاح الداخلي لسرب بحثي بدلًا من الاكتفاء بمخرجاته.
لا أحد يستطيع إعادة تشغيله
النظام الذي أنتج هذا غير مُطلق، ولم تقل Anthropic ما إذا كانت ستطرحه. والنتيجة غير قابلة لإعادة الإنتاج خارج الشركة: فقد راجع المحكّمون الخارجيون الرياضيات، لا الادعاء المتعلق بكيفية توليدها.