Even With Powerful Proof Machines, Mathematicians' Value Stays Immense
cloneofsimo · x · 2026-09-22
Responding to skepticism that OpenAI's internal 100 math problems were only solved by 'stealing' from mathematicians' Codex logs, the author argues people have no idea what's coming — yet even an extremely powerful proof generation machine wouldn't diminish the value of mathematical understanding, much like directing skill still decides film success despite plateaued CGI and post-production tech.
More from AGI Musings
- Stanford turns papers into AI agents; two unrelated studies surface unreported ADHD genetic link — VraserX · 2026-09-22
- Hot take: 90% of agentic AI is just fancy RPA with a reasoning layer — alex_verem · 2026-09-22
- The Real AI Risk Isn't a Machine Awakening, But Governance Lagging Behind Capability — AryHHAry · 2026-09-22
- Turing Award winner David Patterson: AI and robots will make everything free — davidpattersonx · 2026-09-22
- Dev's take: AI feels like a 24/7 mini-team, and the leverage for solo founders is huge — alexmacgregor__ · 2026-09-22
- Should AI Feel Pain? A Debate on Model Welfare and Dissonance-Based Control — GlenBradley · 2026-09-22