Dinur 凭 2006 年 PCP 定理新证摘得哥德尔奖，两节课即可讲完
willcb · x · 2026-09-22
Irit Dinur 因 2006 年对 PCP 定理的证明获得哥德尔奖。该结论此前已被知晓，但原证明以艰深著称、建立在长链条的前人工作之上；Dinur 的证明自包含、直观、原创，一两次讲座即可讲完，被视为理论计算机科学的经典简化。
发帖人同时指出：PCP 之后，数学中仍有许多类似「需要更简洁证明」的工作等待完成。
所属事件:Irit Dinur 凭 PCP 定理简化证明摘得哥德尔奖(3 条相关)→
「研究」频道最新
- 小米 MiMo-V2.6-Pro 助力新材料研发,周期从一个月缩至两三天 — teortaxesTex · 2026-09-22
- ICLR 自动审稿工具 PAT 疑用 Gemini 2.5 Deep Think 驱动 — cjmaddison · 2026-09-22
- RoboDawn：用 VLM 加离散指令闭环控制机器人，零样本胜 π0.5 — Meng-Hao Guo · 2026-09-22
- HuRo 数据集：63 万条人类视频机器人化样本，VLA 预训练完成率 51.5%→80.3% — RLWRLD · 2026-09-22
- Google 提出 RRSI：正则化约束 Agent harness 递归自我改进，OOD 仍涨 4.7 分 — google · 2026-09-22
- 北邮研究揭示视频扩散模型违反物理的根源：RoPE 注意力衰减锁死轨迹 — BUPT-CIST · 2026-09-22