OpenAI's Navier-Stokes proofs for humans and computers reportedly don't match

New Scientist reports that OpenAI published one proof for humans and one for computers when it announced a solution to the Navier-Stokes problem, but the two don't match. A team of mathematicians claims there is a subtle error in the translation. The reported error does not establish that the proofs are incorrect or that OpenAI failed to solve the problem.