Irit Dinur 凭 PCP 定理简化证明摘得哥德尔奖
willcb · x · 2026-09-22
Irit Dinur 因其 2005 年对 PCP 定理的证明获得哥德尔奖。该定理结论早已确立，但此前的证明以晦涩冗长著称，建立在大量前人工作之上；Dinur 的证明自包含、直觉清晰、原创性强，一两堂课就能讲完。帖主指出，数学领域仍有大量工作待完成。
所属事件: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