eigenrobot on AI math proofs: humans who understood them numbered zero before AI
eigenrobot · x · 2026-10-08
Responding to worries that AI-generated math proofs will go unread by anyone able to verify them, eigenrobot quips that the number of humans who understood those proofs before AI generated them was zero — and while he can't prove the count has risen since, he's confident it hasn't fallen.
Related event: eigenrobot: AI Proofs Are Accelerating Human Understanding of Math(4 posts)→
More from Fun
- The 'why?' person is annoying — until you learn everyone worked on the wrong thing — Rahul_Chouhan · 2026-10-08
- Kyle Gawley: you're only vibe-coding internal tools to avoid doing sales — kylegawley · 2026-10-08
- VectorInst asks: what physics rule violation still shows up in generative video? — VectorInst · 2026-10-08
- "The worst code I've seen was human written": devs push back on AI code panic — DoctorJosh · 2026-10-08
- Redditor makes 2-minute AI docudrama of Bill Gates selling IBM an OS he didn't own — flallo95 · 2026-10-08
- Viral meme lists all tools Margaret Hamilton didn't have to land on the moon — cramforce · 2026-10-08