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

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

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

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