Post

@samuelfoley.com

Okay, that's enough math for today.

20/10/26, 6:21 pm0 reposts3 likes

@samuelfoley.com

The paper this comes from is very interesting btw: arxiv.org/abs/2610.08144

arxiv.orgNavier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofsAutoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro...