Irit Dinur Wins Gödel Prize for Simplified PCP Theorem Proof
Irit Dinur has won the Gödel Prize for her self-contained, intuitive proof of the PCP theorem, replacing a notoriously obscure earlier proof. Commentators suggest LLMs could soon spark a wave of proofs of similarly hard results.
2026-09-22 ~ 2026-09-22 · 3 related posts
- Irit Dinur Wins Godel Prize for a Self-Contained 2006 Proof of the PCP Theorem — willcb · 2026-09-22
- Irit Dinur wins Gödel Prize for her landmark 2005 proof of the PCP theorem — willcb · 2026-09-22
- Wave of New PCP Proofs Expected as LLMs Hit Human Ingenuity's Stronghold — willcb · 2026-09-22