PCP 定理证明或将井喷:LLM 冲击人类智慧最坚固的堡垒

willcb · x · 2026-09-22

willcb 引用 Irit Dinur 因 2005 年 PCP 定理证明获哥德尔奖的旧事:当时结果已为人知,但此前的证明极为晦涩,依赖大量前人工作;Dinur 的证明自洽、直观、原创,一两节课即可讲完。

他预测未来数周数月将涌现大量新的「original algebraic PCP」证明,而「gap amplification」类证明会很少——因为开放问题恰好集中在人类创造力最强、机器最难替代的方向上。他称这像一场针对人类智慧高地的雪崩,「应该是黄金时代」,同时强调数学领域仍有大量工作要做。