AI proving the biggest math problems would turn abstract sparks into real power. Let machines chase truth at the speed of light.