The English edition is being prepared.

OpenAI Navier-Stokes proof and the Lean critique