نموذج سري من «أنثروبيك» يحقق تقدماً لافتاً في حل المسائل الرياضية

الأربعاء، 12 أغسطس 2026 12:42 م

أنثروبيك

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

محاولة جادة لإثبات الفرضية

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

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

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

التعامل مع مسائل معقدة لعالم الرياضيات بول إردوش

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

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

Short Url