"إنجاز بارز" يؤكد عالم الرياضيات تيرينس تاو أن الذكاء الاصطناعي حل مشكلة إردوس "بشكل مستقل إلى حد ما" #728. ظل الأمر غير محلول لمدة 50 عاما. "هذا دليل على الزيادة الحقيقية في قدرة هذه الأدوات في الأشهر الأخيرة"