Почему математикам не нравятся компьютерные доказательства?

Некоторые причины, по которым математикам могут не нравиться компьютерные доказательства:

• Отсутствие чётких правил использования компьютеров в математике. dzen.ru Нет стандартов, как проверять программы и устанавливать факт их правильной работы. dzen.ru
• Опасность ошибок. dzen.ru В компьютерных доказательствах могут быть ошибки, и это вызывает сомнения у математиков. dzen.ru
• Невозможность компьютера выработать концепцию. dzen.ru Компьютеры могут искать закономерности в данных или уравнениях, но они не способны выработать для них концепцию в рамках большей теории, как это делают люди. dzen.ru
• Сложность понимания сложных компьютерных доказательств. cyberleninka.ru Чем длиннее доказательство, построенное с помощью компьютера, тем труднее его понять. cyberleninka.ru
• Необходимость учиться программированию. habr.com Математикам нужно научиться программировать и придумать, как выразить свою задачу на понятном компьютеру языке, а это отвлекает от занятий математикой. habr.com

Однако есть и другие точки зрения, и некоторые математики считают, что компьютерные доказательства могут быть полезны и способствовать новому пониманию подходов к обоснованию математики. libeldoc.bsuir.by