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 Impact on Math: Verification, Value, and Education(10 posts)→
More from AGI Musings
- 'AGI is here' vs reality: AI labs still ship some of the jankiest desktop apps ever — MilesCranmer · 2026-09-11
- Misquoted: Anthropic Staff Warned of Double-Digit Extinction Risk by 2030, Not Dismissed It — davidmanheim · 2026-09-11
- Economist Ben Moll: You Can Model Anthropic's 15% AI GDP Growth, But It Won't Happen — sebkrier · 2026-09-11
- Cohere Labs launches interactive tool mapping which tasks of 178 occupations AI can automate — Cohere_Labs · 2026-09-11
- AI researcher on SkyNews flags concerns over inequality, power and criminal misuse — schwarzjn_ · 2026-09-11
- VC compares AI doom rhetoric to pandemic-era fear messaging — StewartalsopIII · 2026-09-11