Грант Сандерсон отделил работу математика от самого доказательства теорем
Сандерсон относит к работе математика выбор вопросов, формулировку гипотез, построение теорий, поиск связей и объяснение результатов.
Он сравнивает самостоятельное решение задач с физической тренировкой, ценность которой не исчезает из-за более сильных машин.
Распространение машинных доказательств потребует пересмотреть правила научного признания.
Почему важно
Автоматизация доказательств смещает ценность образования к постановке вопросов, связям между идеями и проверке смысла полученного результата.