bluesky — steven t. piantadosi — 9 Oct 2026
But mathematicians reading these proofs seem to often have a hard time, meaning that they're not great at aligning the f…
#ai-mathematics #mathematical-reasoning #proof-verification
But mathematicians reading these proofs seem to often have a hard time, meaning that they're not great at aligning the formal stuff with our intuitions (yet). I'd also take this as a little evidence arxiv.org/abs/2610.08144