I know nothing about this but I stay curious. Just like Navier-Stokes equations can be proved with numerical approximations, can this be verified even if we never solve it?