密码学家评 ETH 新 Lean 形式化证明结果:数值上惊人
matthew_d_green · x · 2026-10-27
密码学研究者 Matthew Green 评论一项关于 ETH 的 Lean 形式化证明新结果,称若证明有效,即便数值上只是勉强惊人,实际上也相当震撼。未给出具体细节。
所属事件:密码学家评 ETH 新 Lean 形式化证明：或开启亚指数世界(2 条相关)→
「研究」频道最新
- 「指数时间假设不成立」？理论计算机圈惊传重磅断言 — davidad · 2026-10-27
- SuperMimic 用 1 张 GPU 3 小时超越 128 GPU 7 天的人形控制 SOTA — fdellaert · 2026-10-27
- OpenAI 复杂度结果意味着什么：部分 NP 问题或可低于指数时间求解 — jfischoff · 2026-10-27
- 研究:仅靠成败反馈即可重建生物识别模板,扩散先验省5倍查询 — Eliron Rahimi · 2026-10-27
- 「指数时间假设被证伪」?密码学家感叹10月来得比预期早 — matthew_d_green · 2026-10-27
- Science 刊文：AI 生物安全讨论不能只盯着人类病原，农业是盲区 — anshulkundaje · 2026-10-27