Nobody understands it: an AI-generated, AI-verified proof leaves humans unable to judge correctness
cloneofsimo · x · 2026-11-09
cloneofsimo on the AI-generated math proof released by Elliot: some ask for proof of correctness, others for flaws — but no human understands it, and it was fully AI-generated and AI-verified, so neither demand can be answered without AI. He expects more such situations ahead.
Related event: Fully AI-Generated Math Proof Sparks Correctness Debate(3 posts)→
More from AGI Musings
- Miyazaki: Young anime artists who only study anime are 'spinning wheels' — threepointone · 2026-11-09
- Dev Headcount Down, Customer-Facing Roles 10x: The Post-LLM Job Map — kylegawley · 2026-11-09
- ryolu_ releases full Shanghai talk: when AI can do anything, do we know what we want? — ryolu_ · 2026-11-09
- Australia Sees 108,300 Redundancies in Two Months, Highest Since COVID Amid AI Push — gaganghotra_ · 2026-11-09
- Productivity gains in OpenAI's data are actually declining over time, researcher finds — austinc3301 · 2026-11-09
- Ramez: OpenAI's Productivity Gain Per ECI Point Appears to Decline Over Time — ramez · 2026-11-09