https://machinechecked.org/ https://machinechecked.org/papers/2608.23203/ https://machinechecked.org/papers/ https://machinechecked.org/papers/openai-euler/ https://machinechecked.org/papers/openai-navier-stokes/