ИИ научился решать задачи, неподвластные даже лучшим математикам