حلّت شبكة AlphaProof Nexus من Google DeepMind 9 مسائل من مسائل إردوس في 26 مايو، وهي أقدم المسائل غير المحلولة منذ 56 عاماً

وبحسب xinzhiyuan، أطلقت Google DeepMind AlphaProof Nexus في 26 مايو، وهو وكيل للرياضيات يعمل بالذكاء الاصطناعي وقد حل تسع مسائل مفتوحة طال أمدها من إرْدوس، كان أقدمها دون حل لمدة 56 عامًا. وكانت تكلفة كل حل لا تتجاوز عدة مئات من الدولارات.

تم التحقق من كل برهان بشكل رسمي عبر مُجمِّع Lean، مما يلغي احتمال وقوع خطأ. كما ذكرت DeepMind تحقيق اختراقات في الهندسة الجبرية، والتحسين التحدبي، ونظرية الرسوم البيانية، وعلم البصريات الكمية.