密码学家评 ETH 新 Lean 形式化证明：或开启亚指数世界

密码学研究者 Matthew Green 关注到来自 ETH 的一项新结果：若其 Lean 形式化证明有效，数值上虽然只是勉强惊人，实际上已相当震撼。他借助 Claude 进一步推演该结果的含义，认为我们可能正生活在「亚指数世界」，即相关问题的实际难度远低于此前假设。这一讨论引发了对形式化验证与密码学假设的广泛兴趣，不过具体技术细节尚未公布。

2026-10-27 ~ 2026-10-27 · 2 条相关