Post

The actual math in this paper is over the heads of non-mathematicians but the core argument is pretty easy to follow: AI theorem-prover formalizations can't actually be trusted to faithfully be the same argument as the natural-language paper they come attached to arxiv.org/abs/2610.081...

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...

Dr Seasoned Rice, Goddess Most Divinely Made

@seasonedrice.bsky.social

What in the world... They didn't even check? How do you publish 700 "proofs" and not be rock solid the thing you said you did is what you did?

Alec

@denmachi.dev

Why review it yourself when you can just dump the labor of reviewing it onto the people you're trying to replace and have them do the work for free? Dumping piles of possible shit for humans to review is kinda their whole MO.

11/10/26, 3:31 pm0 reposts1 like

No replies yet.