Impagliazzo 是密码学与计算复杂性理论中的一个重要名字——他提出的五个世界（算法耶利米、加密启示录等）至今仍是讨论计算硬度与密码学未来的经典框架，而近年学界常说的 Impagliazzo 硬核集合定理与 Impagliazzo 函数/猜想，则成为衡量人工智能能否真正做出原创理论贡献的一块试金石。2026 年 10 月底，OpenAI 公布的三组研究主张中，一项与 Impagliazzo 相关的计算机科学问题被点名，引发学界关于 AI 能否核验、复现这些结果的讨论。
Impagliazzo 相关问题的近期进展
当前焦点与观察点
目前围绕 Impagliazzo 相关结果的争议集中在两点：一是 OpenAI 公布的是"研究主张"而非经同行评议的证明，学界核验的进度和结论将决定这些突破是否成立；二是即便结果正确，AI 生成证明的可解释性、可复现性仍存疑。观察点包括学术界核验的官方结论、OpenAI 是否公开完整的证明过程，以及 Matthew Green 等密码学家对硬度假设稳定性判断的后续表态。在核验结果出来之前，把这类新闻当作"待验证的候选突破"看待，比直接采信更接近事实。