#NaviesStokes lost in translations: #Lean can verify a formal proof perfectly well, while the #AI may have changed the actual #mathematical argument during translation

📝 arxiv.org/abs/2610.08144

#mathematics

1/N