传闻千禧年猜想已有反例，Lean 形式化即将收官
lpachter · x · 2026-09-11
lpachter 引用 mbeisen「人类能活到 2036 年 9 月 10 日」的预测，转述一个传闻：某猜想的反例已经找到，Lean 形式化验证正在收尾，正式公告即将发布。这是近期数学/AI 圈猜想 drama 的又一进展信号，尚属未经证实的传闻。
「研究」频道最新
- GLIE 预印本：晚交互检索每页千向量仅 5 个自由度，可大幅压缩存储 — lateinteraction · 2026-09-11
- 克雷研究所将 Navier-Stokes 方程状态改为 Active,疑有解了? — felpix_ · 2026-09-11
- 独立团队内核级复验 OpenAI 纳维-斯托克斯 Lean 证明，四次构建全通过 — pvaa · 2026-09-11
- ACL 推出可持续评审新政,Kyunghyun Cho 提议 ScholarCoin 代币经济 — kchonyc · 2026-09-11
- 传 OpenAI、Anthropic 正攻关 P vs NP，构造性证明将颠覆密码学 — MohMayaTyagi · 2026-09-11
- CHI 投稿大限将至，学者预警 AI 垃圾文风将致论文被拒 — IanArawjo · 2026-09-11