[2610.08144] Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

https://arxiv.org/abs/2610.08144

https://x.com/home/status/2108151829708066999

https://x.com/home/status/2108154090651869456

https://x.com/home/status/2108183631768494561