«Математика 2.0»: конец эпохи единоличных гениев

Лауреат Филдсовской премии Теренс Тао выступил в Калифорнийском технологическом институте с лекцией, которая может изменить облик фундаментальной науки. Поводом стало событие, всколыхнувшее математическое сообщество: OpenAI опубликовала 722 рукописи, объединённые в 372 группы результатов, созданные экспериментальной моделью ИИ. Часть доказательств прошла формальную проверку через систему Lean, однако далеко не все.

Классическая математика строилась на дефиците доказательств. Годы, а иногда десятилетия уходили на то, чтобы открыть одну дверь — и попутно обнаружить коридоры, о существовании которых никто не подозревал. Теперь ИИ генерирует результаты со скоростью, которую научное сообщество физически не успевает осмысливать. Тао назвал это «несоответствием импеданса»: генерация доказательств ускорилась на порядки, а их человеческое усвоение осталось на прежнем уровне.

Представьте, что ИИ создал лекарство от рака. Оно работает на тестах. Но ни один химик на планете не может объяснить механизм. Стали бы вы это принимать? Математики — не стали бы. Формально корректное доказательство, которое не даёт понимания, — это «заголовок без истории», как выразился один из комментаторов идей Тао.

Что такое «Математика 2.0»

Тао предлагает не хоронить дисциплину, а перестроить её приоритеты. В новой парадигме ценность исследователя определяется не способностью первым решить задачу, а умением интерпретировать машинный результат, встраивать его в общую картину и извлекать новые вопросы. Математик превращается из решателя в переводчика и архитектора.

Это не абстрактная философия. Уже сейчас в проекте IEANTN, который курирует Тао, ИИ выполняет формализацию лемм за часы вместо недель. Но сгенерированные доказательства содержат сотни избыточных строк, которые человек никогда бы не написал. AI способен на «локальный гольф» — сжать отдельный фрагмент, но не может самостоятельно увидеть, что повторяющийся аргумент стоит вынести в отдельную лемму и поместить в общую библиотеку Mathlib.

Почему это касается не только математиков

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

Ответ Тао — не запрет, а переопределение. Если машина решает задачи, человек должен научиться задавать правильные вопросы, проверять смысл, строить мосты между областями. Профессуре придётся переквалифицироваться. Иначе наука рискует превратиться в чёрный ящик, где технологии работают магическим образом, а люди просто нажимают кнопки.