⚡️Терренс Тао: AI может сделать доказательства массовыми раньше, чем математика успеет к этому адаптироваться

В новой работе *Mathematics in the age of AI* Терренс Тао пишет, что математика входит в период серьёзной турбулентности.

Проблема уже не только в том, сможет ли AI доказывать теоремы.

Куда важнее другое: что произойдёт, если генерация доказательств станет дешёвой и массовой?

Тогда придётся заново отвечать на вопросы:

— что вообще считать вкладом в математику
— что значит «понять» доказательство
— за что давать признание
— кто считается автором работы: человек, AI или их связка
— какие результаты действительно ценны, если доказательств стало слишком много

Тао считает, что математикам придётся сделать явными те правила и ценности, которые раньше существовали неформально.

То есть AI может изменить не только то, как мы доказываем теоремы, но и само понимание того, что считается хорошей математикой.

https://arxiv.org/abs/2608.16753