Сборник Задач: post #1147 — TG.ME

Forwarded fromМАМатематика Дата саентиста

⚡️Терренс Тао: AI может сделать доказательства массовыми раньше, чем математика успеет к этому адаптироваться В новой работе *Mathematics in the age of AI* Терренс Тао пишет, что математика входит в период серьёзной турбулентности. Проблема уже не только в том, сможет ли AI доказывать теоремы. Куда важнее другое: что произойдёт, если генерация доказательств станет дешёвой и массовой? Тогда придётся заново отвечать на вопросы: — что вообще считать вкладом в математику — что значит «понять» доказательство — за что давать признание — кто считается автором работы: человек, AI или их связка — какие результаты действительно ценны, если доказательств стало слишком много Тао считает, что математикам придётся сделать явными те правила и ценности, которые раньше существовали неформально. То есть AI может изменить не только то, как мы доказываем теоремы, но и само понимание того, что считается хорошей математикой. https://arxiv.org/abs/2608.16753