Irit Dinur wins Gödel Prize for her landmark 2005 proof of the PCP theorem
willcb · x · 2026-09-22
Irit Dinur has won the Gödel Prize for her 2005 proof of the PCP theorem. The result was already known but famously dense, built on a long line of prior work. Her proof was self-contained, intuitive, original, and teachable in a lecture or two. Much math work remains.
Related event: Irit Dinur Wins Gödel Prize for Simplified PCP Theorem Proof(3 posts)→
More from Research
- Figure's Helix 2.5 achieves zero-shot whole-body autonomy across 30 unseen homes — FinanceYF5 · 2026-09-22
- Penn's Susztak Lab opens biobank of 5,000+ kidney samples with multi-omics atlases — arjunrajlab · 2026-09-22
- Scale AI's RSI Bench draws 600+ proposals, adds Schmidhuber as advisor — alexandr_wang · 2026-09-22
- Anthropic and Adaptyv launch protein design contest with $1M in Claude credits — Flomerboy · 2026-09-22
- Bioinformatics-Skills repo turns computational biology methods into agent-executable skills — AryHHAry · 2026-09-22
- Xiaomi's MiMo-V2.6-Pro cuts materials R&D cycle from a month to 2-3 days, 10x productivity — teortaxesTex · 2026-09-22