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