Теренс Тао предложил проверять AI-доказательства абляциями условий
После доказательства теоремы Тао предлагает менять условия и искать момент, когда результат перестает работать.
Второй путь проверки — найти другой метод, который дает тот же результат проще.
Подход переносит ablation studies из машинного обучения на исследование структуры математического доказательства.
Почему важно
Ценность AI-доказательства растет, когда оно выявляет необходимые условия и механизм результата, а не только закрывает формальную задачу.