Irit Dinur Wins Godel Prize for a Self-Contained 2006 Proof of the PCP Theorem
willcb · x · 2026-09-22
Irit Dinur won the Godel Prize for her 2006 proof of the PCP theorem. The result was already known but famously dense, built on a long line of prior work; her proof is self-contained, intuitive, and teachable in a lecture or two — a classic example of proof simplification. The poster notes much similar work remains across math.
Related event: Irit Dinur Wins Gödel Prize for Simplified PCP Theorem Proof(3 posts)→
More from Research
- Schmidhuber: I published the first concrete RSI algorithms back in 1987 — SchmidhuberAI · 2026-09-22
- Tencent's GameHorizon: 5,000 Hours of AAA Gameplay Data to Benchmark 47 Models — tencent · 2026-09-22
- NUS's Grounded Action Model Tops Robot Manipulation Benchmarks with 3D Grounding — NationalUniversityofSingapore · 2026-09-22
- Harness-Zero Distills Agent Harness Gains into Model Weights, 23.3% to 44.3% — Haoran Ye · 2026-09-22
- Mutation Analysis Shows GPU-Kernel Benchmarks Miss 16.9% of Faults — NationalUniversityofSingapore · 2026-09-22
- Jev-Mem Uses a System-One Control Plane to Cut Agent Memory Latency 36.7% — Dongming Jiang · 2026-09-22