Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs (via Corbin) — discussion

#formalmethods #math #pdf #reversing #vibecoding