Navier–Stokes Lost in Translation(arxiv.org)
321 points by nill0 | 194 comments
arXiv paper arguing that Lean verification of AI-autoformalised proofs, such as a claimed Navier–Stokes blow-up proof, does not guarantee the original natural-language proof is correct.