Французский математик Уго Дюмениль-Копен, лауреат Филдсовской премии 2022 года, высшей награды в математике, признался, что плакал так, что разбудил дочь.

6 октября OpenAI опубликовала более 700 рукописей с заявленными решениями открытых математических задач, полученными ещё не выпущенной моделью. Шестнадцать из них касаются задач из его области, над которыми он размышлял годами. «Они уничтожили мою область исследований», сказал учёный.

Его область называется вероятностной теорией фазовых переходов. Это моменты, когда система резко меняет состояние: вода превращается в лёд, магнит при нагреве теряет намагниченность, жидкость начинает просачиваться сквозь пористый материал, как вода сквозь молотый кофе. Физики давно описывают такие явления, но строго доказать, почему и как именно они происходят, крайне сложно. Именно за такие доказательства Дюмениль-Копен получил свою медаль.

Здесь и возникает настоящая проблема. С одной стороны, искусственный интеллект берётся за задачи, над которыми люди бились десятилетиями. Только по темам Дюмениль-Копена объём доказательств превысил 3500 страниц, и пока ни одно из них не проверено другими математиками.
С другой стороны, математика никогда не сводилась к готовому ответу. Её ценность в понимании: почему решение работает, какие идеи за ним стоят, что из него следует дальше. Путь к доказательству рождает новые методы и воспитывает новых учёных.
Если человек перестанет понимать, как решаются такие задачи, возникнет опасный разрыв между решённой задачей и пониманием её сути. Мы будем знать, что ответ найден, но не будем знать, почему он верен. Некоторые математики уже говорят, что станут меньше делиться своими задачами, а сам Дюмениль-Копен больше всего тревожится за молодых исследователей.
Вопрос теперь не в том, может ли машина решить задачу. Вопрос в том, сможет ли человек понять это решение.