تحليل نتائج Ramanujan Challenge يجد أن أحد المشاركات أثبت إحدى حدسيات نظرية الأعداد المفتوحة المنشورة

تقارن ورقة arXiv بين نماذج الذكاء الاصطناعي وأنظمة الجبر الحاسوبي والأدوات الصورية في صيغ ثوابت بمستوى بحثي، وتقول إن نظام التقييم بمساعدة الذكاء الاصطناعي خفّض الأحكام الإيجابية الخاطئة على البراهين اللغوية من 23% إلى 6% مقارنة بحكم LLM واحد؛ ولا يذكر الملخص النظام الذي أنتج البرهان.