نموذج أنثروبيك غير المُصدر يُحرز تقدمًا في مسألة رياضية رئيسية

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