Как ИИ меняет математику?
<img src="https://habrastorage.org/getpro/habr/upload_files/544/b54/37a/544b5437a8edb0b3413ffd56899b9eaf.jpg" /><p>Новости с заголовком «ИИ решил задачу тысячелетия» стали появляться всё чаще. Со стороны бывает сложно оценить: где исторический прецедент, а где надуманный хайп? А главное: что всё это значит для будущего математики?</p><p>Чтобы внести в вопрос ясность, полезно послушать самих математиков. Что они считают подходящими для ИИ задачами, а что — человеческими? В чём видят прогресс, а в чём — обыкновенный инфоповод? В чём вообще их видение смысла математики и как теперь, в изменившемся мире, подходить к математике сознательно?</p><p>Мы в Kodik занимаемся не математикой, а редактором кода с ИИ. Тем не менее, в нашей команде есть люди с классическим мехмат-образованием, и мы с интересом следим за темой. Поэтому ранее переводили для Хабра мнения математиков про опровержение конкретной задачи Эрдёша, а теперь решили осветить их взгляд на происходящее в целом. Конечно, мнения расходятся, но в этой статье мы попробовали собрать срез математического сообщества.</p> <a href="https://habr.com/ru/articles/1081264/?utm_source=habrahabr&utm_medium=rss&utm_campaign=1081264#habracut">Читать далее</a>