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