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

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

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

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

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