Post
Bruno Dies
brunodias.dev
did:plc:uemns7yqb62n5kpwe34wgdhs
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 https://arxiv.org/abs/2610.08144v1
2026-10-11T03:22:07.455Z