60 وكيل ذكاء اصطناعي يحرزون تقدمًا في مسألة رياضية عمرها 150 عامًا خلال يوم ونصف

في 10-11 أغسطس 2026، أعلنت أنثروبيك أن نسخة أبحاث غير مُصدرة من نموذجها كلود (Claude) حققت تقدمًا كبيرًا في مسألة مرتبطة بفرضية ريمان . رفع النموذج حدًا أدنى قديمًا لنسبة الأصفار غير البديهية لدالة زيتا لريمان التي تقع على الخط الحرج — من 41.6% إلى 67.2% . هذا هو أكبر تحسن منفرد يُسجل على الإطلاق لهذا الحد . لم يثبت النموذج فرضية ريمان نفسها (التي تظل واحدة من مسائل الألفية السبع لجمعية كلاي بجائزة مليون دولار)، لكن النتيجة هي مبرهنة حقيقية في نظرية الأعداد التحليلية .

العملية المستقلة وراء النتيجة

تبع الإنجاز سير عمل مذهل متعدد الوكلاء أذهل حتى الباحثين في أنثروبيك:

• طلب موظف في أنثروبيك ليس لديه خلفية رياضية جادة من النموذج "أن يأخذ محاولة جادة" لإثبات الفرضية .
• على مدار حوالي 1.5 يوم، اختبر النموذج ما يقرب من 650 نهجًا مرشحًا عبر 60 وكيلًا فرعيًا منسقًا .
• استهلكت الجلسة 31 مليون رمز (token) مخرج عبر جلستين، ونفذت 2400 أمر شل (shell command)، وراجعت 54 ورقة بحثية من arXiv .
• كان اثنان من الوكلاء الـ60 مسؤولين عن تطوير الاختراق الرياضي الرئيسي .
• النهج الرابح جمع بين ورقة بحثية من عام 2000 لإينريكو بومبيري مع نتائج أحدث — وهو مزيج لم يجمعه أي باحث بشري من قبل .

التحقق: طبقتان من الإثبات

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

نقطة تحول: 2026 كعام عبر فيه الذكاء الاصطناعي إلى أبحاث المسائل المفتوحة

تحسين حد ريمان بواسطة كلود ليس حدثًا منعزلاً. شهد عام 2026 سلسلة متسارعة من الاختراقات الرياضية بقيادة الذكاء الاصطناعي:

• مايو 2026 — أعلنت OpenAI أن نموذج استدلال عام غير مُصدر دحض بشكل مستقل حدسية مسافة الوحدة لإردوس، وهي مسألة مفتوحة عمرها 80 عامًا .
• مايو 2026 — قام نظام AlphaProof Nexus من Google DeepMind بحل تسع مسائل مفتوحة لإردوس (بعضها لم يُحل لمدة 56 عامًا) وأثبت 44 حدسية من موسوعة التسلسلات الصحيحة على الإنترنت (OEIS)، وكلها صيغت في (Lean) .
• يوليو 2026 — استخدم عالم الرياضيات في أنثروبيك ليفينت ألبوغي النموذج غير المُصدر "Fable 5" لإيجاد مثال مضاد لـ حدسية جاكوبي، وهي مسألة طرحت عام 1939 .
• أغسطس 2026 — أفيد أن نموذج Astra من OpenAI حل عشر مسائل رياضية عمرها عقود بتكلفة حوسبة تقدر بحوالي 2000 دولار، مع نشر براهين قابلة للفحص آليًا في (Lean) على GitHub .

لاحظ العديد من المعلقين أن المجال عبر عتبة في منتصف عام 2026: انتقلت أنظمة الذكاء الاصطناعي من حل الرياضيات على مستوى المسابقات إلى توليد أبحاث قابلة للنشر على مستوى المسائل المفتوحة .

الجدل: التأليف والمعايير وإعلان لايدن

أثارت الوتيرة السريعة للرياضيات المُنتجة بالذكاء الاصطناعي جدلاً حادًا:

• في يونيو 2026، نشرت مجموعة من 16 عالم رياضيات إعلان لايدن بشأن الذكاء الاصطناعي والرياضيات، الذي يوصي بمعايير جديدة لهيكل الإثبات، ونسب التأليف، والإشراف البشري على النتائج المُنتجة بالذكاء الاصطناعي . تمت مناقشة الإعلان منذ ذلك الحين من قبل الاتحاد الدولي للرياضيات .
• تشمل التوترات الرئيسية: من يحصل على تأليف عندما يولد الذكاء الاصطناعي إثباتًا؟ هل يمكن للمجال الحفاظ على الثقة المعرفية إذا كانت البراهين طويلة جدًا أو جديدة جدًا بحيث لا يستطيع البشر فحصها بالكامل بدون أدوات رسمية؟ وكيف ينبغي للمجلات مراجعة النظراء لنتائج لا يمكن لأي إنسان بمفرده أن ينتجها ؟
• يجادل بعض علماء الرياضيات بأن البراهين المدعومة بالذكاء الاصطناعي تخاطر بتآكل الفهم والرؤية التفسيرية — قد يكون الإثبات صحيحًا لكنه غير شفاف . ويرى آخرون أن التحقق الرسمي في (Lean) يوفر معيارًا أكثر صرامة من مراجعة النظراء التقليدية .

ماذا يعني هذا لقدرة الذكاء الاصطناعي على اكتشاف علوم جديدة

تقدم نتيجة ريمان من أنثروبيك النقاش بعدة طرق ملموسة:

1. حجم الاستكشاف المستقل مهم.

إظهار اختبار 650 فكرة عبر 60 وكيلًا فرعيًا يثبت أن البنى متعددة الوكلاء يمكنها إجراء بحث منهجي على نطاق لا يمكن لأي مجموعة بحثية بشرية مضاهاته في نفس الإطار الزمني . هذا يحول السؤال من "هل يمكن للذكاء الاصطناعي أن يقوم بالرياضيات؟" إلى "كيف ينبغي لنا دمج الاستكشاف الواسع بالذكاء الاصطناعي في خط أنابيب الاكتشاف العلمي؟"

2. التركيب الصدفي ممكن.

حقيقة أن نموذجًا بدون تدريب رياضي جمع بين ورقة بومبيري (2000) ونتائج أحدث — وهو مزيج لم يره أي إنسان من قبل — يُظهر أن الذكاء الاصطناعي يمكنه إجراء روابط مفاهيمية غير واضحة عبر آداب متباينة . هذه القدرة تعالج مباشرة قلقًا أساسيًا حول ما إذا كانت نماذج اللغة الكبيرة (LLMs) تقوم فقط بالاستيفاء أم يمكنها الاكتشاف الحقيقي.

3. التحقق الرسمي يحل مشكلة الثقة.

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

4. النقاش حول التأليف والمعايير بناء وليس مشلولًا.

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

5. تكلفة وسرعة الاكتشاف تنهاران.

تكلفة الحوسبة البالغة 2000 دولار لنتائج أسترا من أوبن إيه آي وفترة الـ36 ساعة لحد ريمان لكلود تشير إلى أن التكلفة الحدية لاكتشاف رياضي قابل للنشر تقترب من الصفر . هذا له آثار عميقة على الأسئلة التي يختار الباحثون متابعتها ومن يمكنه المشاركة في البحث الرياضي.

الخلاصة

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