ИИ быстро меняет математику, и математики определяют свою роль в этом уравнении.

Марко Верман: Итак, Дэниел, в прошлом году вы предсказали, что вероятность того, что ИИ станет лучшим, составляет всего 25%. [top human mathematicians] написать математическую статью к 2030 году, и вам уже пришлось пересмотреть этот прогноз, верно?

Дэниел Литт: Итак, я бы сказал, что всего год или два назад я довольно скептически относился к тому, что инструменты ИИ смогут автономно проводить исследования на уровне ведущих математиков сегодня, в течение следующих пяти или шести лет. Что я считаю верным, учитывая нынешние темпы улучшения, так это то, что они смогут проводить высококачественные исследования автономно. Тем не менее, я ожидаю, что если это произойдет, люди, работающие с инструментами ИИ, будут проводить исследования еще лучше.

Да, и это ключевой момент, но большой скачок за год. Как именно ИИ меняет область математики?

Да, сейчас я бы сказал, что хорошим эмпирическим правилом является то, что инструменты ИИ способны решать математические задачи, которые кому-то, возможно, мировому эксперту в определенной области, покажутся легкими. Так что это действительно полезно, поскольку отдельные математики не являются экспертами во всем, и возможность сделать что-то, что кому-то кажется легким, очень эффективна.

Верно, это один из способов, которым ИИ меняет область математики. Перенесём нас к другим изменениям.

Ну, может быть, позвольте мне немного отойти назад. Итак, два года назад модели могли сделать очень мало. Они будут бороться с элементарной арифметикой. Одна вещь, которая сильно изменилась за последние пару лет, заключается в том, что они стали очень хороши в кодировании и стали более надежными в доказательствах, так тщательно проверяя истинность математического утверждения. На мой взгляд, две причины, по которым модели стали полезны для математических исследований, заключаются, во-первых, в том, что они могут доказывать утверждения, доказательство которых раньше, возможно, требовалось бы от эксперта. И они могут выполнять очень сложные задачи по кодированию, которые позволяют вам как бы детально исследовать математическое явление, что раньше было бы сложной задачей и отнимало бы гораздо больше времени.

Верно, мы знаем, что у ИИ есть свои «слепые зоны». Я помню, как недавно видел, как некоторые чат-боты с искусственным интеллектом изо всех сил пытаются ответить, сколько рупий содержится в таком слове, как клубника. Однако ChatGPT, очевидно, это усвоил. Как мы тогда узнаем, что ИИ решил ранее нерешённую проблему, когда это время наступит?

Одна из проблем при использовании этих моделей заключается в том, что они не ищут истину, поэтому часто выдают то, что, по их утверждению, является доказательством, которое может быть правильным, а может и не быть. И это очень сложно проверить. Так что на самом деле частое использование моделей для математических вычислений… они порождают какие-то утверждения, а затем их нужно проверить… и это сложно.

Итак, людям все еще придется проверять ИИ. Как вы думаете, когда это изменится или изменится когда-нибудь?

Я думаю, что вполне вероятно, что это не изменится в течение некоторого времени, вы знаете, работа по автоформализации обещает сделать некоторые математические вычисления ИИ более надежными. Но да, посмотрим, сколько времени это займет. Конечно, я не ожидаю, что это станет практичным во всех областях математики в ближайшие пару лет.

Итак, Дэниел, как бы вы описали то, что лежит в основе споров о роли ИИ в будущем математики?

Сейчас возможности этих инструментов заключаются в выполнении задач, которые раньше требовали бы участия эксперта, но были более или менее рутинными для экспертов. И тогда вопрос в том, когда и смогут ли инструменты выполнять нерутинные задачи. Судя по траектории возможностей, я ожидаю, что это произойдет в ближайшее время, возможно, в ближайшие пару лет. Я лично ожидаю, что в ближайшие пять лет мы увидим, как инструменты искусственного интеллекта будут проводить высококачественные автономные исследования, но это определенно не единодушное мнение в математическом сообществе.

Дэниел, я думаю, что в прошлом компьютеры использовались для подтверждения математических уравнений. Видим ли мы смену ролей?

Итак, исторически компьютеры использовались в исследованиях так: вы генерируете огромное количество примеров и анализируете их. Кроме того, есть несколько случаев доказательств, которые распадаются на сотни или тысячи случаев, и многие из этих случаев могут быть решены с помощью компьютера. Итак, как известно, доказательство теоремы о четырех красках, которая гласит, что можно раскрасить карту в четыре цвета так, чтобы любые две соседние страны были разных цветов, потребовало некоторой компьютерной помощи. Вы должны воспринимать нынешнее использование инструментов ИИ как естественное продолжение этого.

Я помню, когда я учился в средней школе, портативные калькуляторы стали достаточно доступными, чтобы дети могли брать их с собой в школу. А потом возникла дискуссия о том, мешает ли это нашему развитию навыков решения проблем. Является ли ИИ следующим этапом в этой дискуссии или это принципиально другой разговор?

Лично я считаю, что это естественное продолжение этого вопроса. Каждый раз, когда вы разрабатываете новый инструмент, он одновременно расширяет наши возможности при его использовании и делает некоторые старые возможности и методы менее полезными и актуальными. Я думаю, это естественное развитие технологий: вы получаете возможности, а затем сам инструмент заменяет некоторые из возможностей, которые вам были нужны ранее. Я думаю, это нормально.

Я хочу вернуться к отрывку, который мы услышали из этого фильма «Банк». Я имею в виду, как все эти изменения могут повлиять на мир финансов, например, где математика действительно важна, или на разработку политики, где результатам решений часто присваивается вероятность?

Это отличный вопрос. В этих инструментах есть одна интересная особенность: они расширяют доступность математических методов, поэтому я думаю, что люди, которые раньше не пытались создать математическую модель чего-либо, теперь могут иметь возможность сделать это. Вам не нужно столько знаний, чтобы использовать инструменты для математических вычислений, как раньше, без инструментов искусственного интеллекта. Я думаю, что в этом есть некоторая опасность: можно, конечно, неправильно использовать инструмент. Но да, я надеюсь, что они приведут к демократизации математики и увеличению количества людей, мыслящих математически и задающих интересные математические вопросы.