Towards a Numerical Proof of Turbulence Closure