شگفتی ریاضیدانان از توانایی هوش مصنوعی در حل مسائل پیچیده ریاضی