Wave of New PCP Proofs Expected as LLMs Hit Human Ingenuity's Stronghold
willcb · x · 2026-09-22
willcb cites Irit Dinur's Gödel Prize-winning 2005 proof of the PCP theorem: the result was already known but famously dense, while her proof was self-contained, intuitive, and teachable in a lecture or two.
He predicts a wave of new "original algebraic PCP" proofs in the coming weeks and months, but few "gap amplification" ones — an avalanche of open problems aimed precisely where human ingenuity is strongest versus machines. "Should be a golden era," though he notes much math work remains.
Related event: Irit Dinur Wins Gödel Prize for Simplified PCP Theorem Proof(3 posts)→
More from AGI Musings
- The Last Mile of AI: Winning Depends on Diffusing Intelligence Into the Physical Economy — marcbhargava · 2026-09-22
- Xiaomi could turn AI's 10x R&D speedup into a manufacturing superpower, argues researcher — teortaxesTex · 2026-09-22
- As AI masters logic and language, empathy may be the last way to tell humans from machines — MickeySteamboat · 2026-09-22
- Ethan Mollick: Industrializing knowledge work will be as disruptive as industrializing physical labor — emollick · 2026-09-22
- The math doom atmosphere comes from Twitter, not from math itself — _onionesque · 2026-09-22
- First time in history everyone can access the most advanced technology on Earth — gabriberton · 2026-09-22