ست أوراق رياضية بمساعدة Muse Spark… لكن الباحثين ظلوا في قلب العمل

قالت ميتا في 2 أكتوبر إن علماء رياضيات تعاونوا مع Muse Spark لإعداد ست أوراق بحثية، وإن خمسًا منها تتناول أسئلة لم تكن لها إجابات معروفة من قبل. لكن الإعلان يصف بحثًا قاده البشر واستعانوا فيه بالذكاء الاصطناعي، لا نموذجًا حلّ المسائل الست بمفرده: اختار علماء الرياضيات مسارات البحث وطوّروا الحجج، ثم راجع العمل فريق آخر. 17

ما المجالات والنتائج التي تناولتها الأوراق؟

تتنقل الأبحاث بين فروع رياضية متعددة، ومن أبرز ما ورد فيها:

• الاحتمالات والهندسة: تبحث ورقة The Strict Threshold for Gaussian Ellipsoid Fitting في وجود مصفوفة موجبة شبه معرّفة تحقق قيودًا تحددها متجهات غاوسية عشوائية. وتثبت وجود عتبة حادة تقارب (n \sim d^2/4). 1
• نظرية الزمر: تعرض إحدى النتائج زمرةً تضم 384 عنصرًا بوصفها مثالًا مضادًا لحدسية طُرحت عام 2024. 20
• الجبر: تتناول ورقة On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez حدسية مرتبطة بجبر التطور. 4
• التحسين الرياضي: تبحث ورقة Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles في مدى إحكام استرخاء رياضي قائم على الدورات. 4
• الفيزياء الرياضية: تضم قائمة المنشورات ورقة بعنوان String Two-Point Function = Height Function on a Curve. 4
• المعادلات التفاضلية: تشمل القائمة أيضًا بحثًا عن الانفجار في زمن منتهٍ لحلول شعاعية ذات طاقة سالبة لمعادلة شرودنغر ثنائية التوافق الحرجة كتليًا.

ينبغي التعامل بدقة مع رقم ميتا: الشركة تقول إن خمسًا من الأوراق الست تجيب عن أسئلة مفتوحة، لكن قوائم الأوراق المتاحة لا توضح بصورة قاطعة أي ورقة تقابل كل سؤال من الأسئلة الخمسة. 174

كيف تعاون الباحثون مع النموذج؟

استخدم الباحثون نسختي Muse Spark 1.1 و1.2 في وضع التفكير عبر واجهة المحادثة المعتادة على meta.ai، من دون تجهيز بيئة بحثية خاصة. وتقول ميتا إن علماء الرياضيات وجّهوا العمل واستكشفوا الأفكار وطوّروا الحجج بمساعدة النموذج، ثم راجع فريق ثانٍ من علماء الرياضيات النتائج. كما تبيّن الأوراق المقاطع التي صاغها الباحثون أساسًا وتلك التي أُعدت بمساعدة الذكاء الاصطناعي. 17

هذا التفصيل مهم لفهم ما أنجزه النموذج. فقد يساهم في اقتراح الأفكار أو تطوير الحجج أو كتابة الشيفرات، لكن اختيار المسائل ومراجعة النتائج ظلا من مسؤولية الباحثين. وفي مثال نظرية الزمر، أفاد تقرير خارجي بأن Muse Spark كتب برنامج بحث لنظام GAP، ثم تحقّق علماء الرياضيات من المثال المضاد وأكملوا البرهان؛ أي إن النموذج لم يصادق بنفسه على صحة النتيجة. 20

ما الذي لا تثبته الأوراق بعد؟

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

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

أُطلق Muse Spark في 8 أبريل 2026 بوصفه أول نموذج من Meta Superintelligence Labs. وتعرض أوراق أكتوبر استخدامًا لاحقًا للنموذج في تعاون بحثي، لكنها لا تكفي لإثبات أن الادعاءات الرياضية التي ينتجها الذكاء الاصطناعي خالية من الأخطاء. ويتطلب تقييم ذلك فحص الحجج الواردة في الأوراق والتحقق منها بصورة مستقلة.