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

Shared on Bluesky by 2 AI experts

• Colin @colin-fraser.net amplified

  @ponder.ooo

  lol arxiv.org/abs/2610.08144

  View on Bluesky →
• Vikram Saraph @vikramsaraph.com amplified

  @davidcrespo.bsky.social

  relevant from the front page of HN right now

  View on Bluesky →