Математическое доказательство долго считалось почти идеальной единицей научного прогресса. Был вопрос, затем появился строгий вывод — значит, задача решена, а знание продвинулось вперёд. Но что произойдёт, если доказательства начнут массово создавать машины, способные проверять тысячи ходов, хотя ни один человек не видит за ними цельной идеи? Именно этот неудобный вопрос поставил автор образовательного проекта 3Blue1Brown Грант Сандерсон в гостевой публикации в блоге математика Теренса Тао. Его предложение...