密码学家借 Claude 谈 ETH 新结果:或揭开「亚指数世界」
matthew_d_green · x · 2026-10-27
安全研究者 Matthew Green 分享了一项来自 ETH 的新结果(若 Lean 形式化证明有效,数值上虽勉强但相当惊人),并让 Claude 推演其含义:我们可能生活在「Subexponentia」——公钥密码可以无限量使用,但 SAT 求解复杂度仍是 2^{n^{0.01}} 这类准多项式级别,意味着加密体系依旧安全,只是你可能需要块新硬盘来存 GPG 密钥。
所属事件:密码学家评 ETH 新 Lean 形式化证明：或开启亚指数世界(2 条相关)→
「Fun」频道最新
- 「模型育种」实验开场：组合特定神经元能让 Qwen 自认是饼干怪 — yacineMTB · 2026-10-27
- 84 岁老母亲都来报信：Anthropic 要上市，AI 破圈进入大众时代 — geoffwolfe · 2026-10-27
- 创立科技巨头时都多大？OpenAI 创始人 30 岁，Anthropic 的 Dario 已 38 岁 — akbirthko · 2026-10-27
- AI 圈梗：拆解水星比在湾区盖房更容易 — generativist · 2026-10-27
- 开发者自嘲：不是我在用 Codex 和 Claude，是它们让我 7×24 值班 — sloppenheimer · 2026-10-27
- Cohere 被指散布中国模型 FUD,连 FUD 诗都出来了 — voooooogel · 2026-10-27