no, computers can't be trusted with math's future

A widely covered article about math confuses readers by equating volume of proof and code with quality of proof and code to imply that computers will take over math as a discipline.