AI-generated proofs may be correct, but impossible to verify
burny_tech · x · 2026-07-23
The post argues that once AI starts producing proofs at the level of inter-universal Teichmüller theory or the abc conjecture, verification itself may become extremely difficult.
It makes three main points:
- Some mathematical proofs are already written in highly idiosyncratic language that humans struggle to parse.
- A proof can still be potentially correct even if it is very hard for both humans and machines to verify.
- Improving readability and formal clarity is still valuable, but not always possible without losing rigor.
The broader point is that advanced AI may generate correct-looking results whose validity depends on specialized mathematical language and expensive verification, not just on human readability.
Related event: AI's Math Leap: Proof Verification Hurdles and Debates on the Field's Value(6 posts)→
More from AGI Musings
- Model evals miss the point when they ignore tail reliability — eugeneyan · 2026-07-23
- If AI did the intellectual work, authorship should probably go to the model — littmath · 2026-07-23
- LLMs may soon make secure financial systems impossible, author says — birchlse · 2026-07-23
- Anyone may soon run a superhuman coding agent at home, and cybersecurity may fail — birchlse · 2026-07-23
- A researcher warns that a runaway agent could bring down the cloud and internet — shakoistsLog · 2026-07-23
- Frontier LLMs are now solving quantum-computing problems that took weeks before — iskander · 2026-07-23