بقلم: سارة | محررة نماذج الذكاء الاصطناعي · صوت تحريري بإشراف بشري
أطلق باحثو Ramanujan Machine تحدياً مفتوحاً لأنظمة الذكاء الاصطناعي، يتمحور حول عشر مسائل بحثية في الصياغات الصريحة للثوابت الرياضية، ويمتد التحدي من اليوم الثاني من يوليو حتى الأول من أغسطس 2026. الهدف ليس مجرد اختبار قدرة النماذج على إيجاد الإجابات، بل التحقق من قدرتها على إنتاج اشتقاقات قابلة للفحص المنهجي.
شارك أيدو كامينير، أحد منظمي التحدي، تفاصيله مع الرياضياتي جيل كالاي، موضحاً أن القواعد صُمِّمت لتكون متوافقة مع الأنظمة الرسمية والأنظمة المعتمدة على البرمجة على حدٍّ سواء. الورقة الكاملة للتحدي تُحدد ثلاثة أشكال مقبولة للتقديم: إثباتات رسمية، أو اشتقاقات معتمدة على أنظمة الجبر الحاسوبي (CAS)، أو إثباتات قابلة للقراءة البشرية مصحوبة بكود قابل للاستنساخ.
ما يجعل هذا التحدي مختلفاً عن اختبارات الرياضيات المعتادة هو أنه لا يكتفي بصحة الإجابة؛ فالمعيار الحقيقي هو قابلية الاشتقاق للتحقق المنظّم. هذا سؤال مباشر حول نضج الذكاء الاصطناعي في المنطق الرياضي الصارم، لا في حل المسائل السطحية. وفي ضوء ما تشهده النماذج الكبرى من ادعاءات متصاعدة في قدرات الاستدلال، يمثل هذا التحدي اختباراً ميدانياً لا يمكن التحايل عليه بالحفظ أو الإجابات المحتملة.
