Как ИИ меняет математику?

Новости с заголовком «ИИ решил задачу тысячелетия» стали появляться всё чаще. Со стороны бывает сложно оценить: где исторический прецедент, а где надуманный хайп? А главное: что всё это значит для будущего математики? Чтобы внести в вопрос ясность, полезно послушать самих математиков. Что они считают подходящими для ИИ задачами, а что — человеческими? В чём видят прогресс, а в чём — обыкновенный инфоповод? В чём вообще их видение смысла математики и как теперь, в изменившемся мире, подходить к математике сознательно? Мы в Kodik занимаемся не математикой, а редактором кода с ИИ. Тем не менее, в нашей команде есть люди с классическим мехмат-образованием, и мы с интересом следим за темой. Поэтому ранее переводили для Хабра мнения математиков про опровержение конкретной задачи Эрдёша, а теперь решили осветить их взгляд на происходящее в целом. Конечно, мнения расходятся, но в этой статье мы попробовали собрать срез математического сообщества.