Will Computers Redefine the Roots of Math?