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