Navier–Stokes Lost in Translation

[nill0]

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

Comments URL: Navier–Stokes Lost in Translation | Hacker News

Points: 120

# Comments: 83

Continue reading...