"The real work of us mathematicians, from now until, roughly, fifty years from now, when computers won't need us anymore, is to make the transition from human-centric math to machine-centric math as smooth and efficient as possible."

Previous Quote

There is no doubt that human survival will continue to depend more and more on human intellect and technology. It is idle to argue whether this is good or bad. The point of no return was passed long ago, before anyone knew it was happening.

— Theodosius Dobzhansky