Irit Dinur 凭 PCP 定理简化证明摘得哥德尔奖

理论计算机科学家 Irit Dinur 因其对 PCP 定理的新证明获得哥德尔奖。该定理的结论早已确立，但原证明以晦涩冗长著称，且建立在大量前人工作的长链条之上；Dinur 的证明自包含、直观且具原创性，两节课即可讲完。有评论者借此展望，认为大语言模型或将在类似的数学核心难题上带来证明井喷。

2026-09-22 ~ 2026-09-22 · 3 条相关

• Dinur 凭 2006 年 PCP 定理新证摘得哥德尔奖，两节课即可讲完 — willcb · 2026-09-22
• Irit Dinur 凭 PCP 定理简化证明摘得哥德尔奖 — willcb · 2026-09-22
• PCP 定理证明或将井喷:LLM 冲击人类智慧最坚固的堡垒 — willcb · 2026-09-22