bluesky — Fabrizio Musacchio — 7 Oct 2026
#NaviesStokes lost in translations: #Lean can verify a formal proof perfectly well, while the #AI may have changed the a…
#ai-mathematics #proof-assistants #formal-verification
#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