'We generated a proof but haven't checked it' is the new 'downloaded the PDF, haven't read it'
miniapeur · x · 2026-10-29
Quoted joke: academics saying "we generated a lean proof for our result but haven't checked it yet" is the new "I downloaded the PDF from arXiv and haven't read it."
miniapeur's punchline: generating a proof you neither understand nor bother to verify is not impressive — at that point, let serious people take over. A sharp jab at verification culture in AI-assisted mathematics.
More from AGI Musings
- Why writers hate AI but developers love it: it depends on what the end user actually consumes — bendee983 · 2026-10-29
- If an agent could just click around and do it, what's left of your startup? — dunkhippo33 · 2026-10-29
- Analyst Pushes Back on 'AI Is a Commodity' Takes, Citing Wrong Smartphone-Era Consensus on Apple — BenBajarin · 2026-10-29
- Debate set: Can we make AIs sentient — and should we? Solms vs. Humphrey — cccalum · 2026-10-29
- AI will change what companies hire software engineers for, dev argues — Overall-Beach-9801 · 2026-10-29
- Denis Noble: The idea that AI could be conscious 'makes no scientific sense' — AnnaCiaunica · 2026-10-29