Преимущества компьютерных методов доказательства математических утверждений:

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

Недостатки компьютерных методов доказательства математических утверждений:

• Подверженность ошибкам в исходных программах, компиляторах и аппаратном обеспечении. 3 Для решения этой проблемы можно предоставить формальное доказательство корректности компьютерной программы, а также воспроизвести результат с использованием разных языков программирования, компиляторов и компьютерного оборудования. 3
• Отсутствие математической элегантности. 3 Некоторые считают, что компьютерные доказательства не дают понимания или новых и полезных концепций. 3
• Невозможность автоматизировать всю часть процесса создания доказательства. 4 Для некоторых задач требуется сложное творческое мышление, и машины с такой комбинацией навыков не справляются. 4