هوش مصنوعی، ریاضی‌دانان را شگفت‌زده کرد