I am by no means an expert, but it seems overly confident to me to assume that sustained human effort directed at a mach…

I am by no means an expert, but it seems overly confident to me to assume that sustained human effort directed at a machine generated proof can do nothing to uncover novel–and transferable–insights about a problem.

I understand the fear around change, but change also opens up new opportunities