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