庞加莱猜想到几何化猜想:完整 Lean 形式化宣告完成
soumitrashukla9 · x · 2026-10-10
ayushkhaitan 等人宣布完成 Thurston 几何化猜想 Hamilton–Perelman 证明的完整 Lean 形式化,将此前仅覆盖庞加莱猜想的成果推广至完整几何化猜想。工作由 Ben、Yuan、Ziyang 与作者同 NVIDIA 的 Humanfia 团队协作完成,意味着三维拓扑核心定理已有机器可验证的完整证明。
所属事件:Thurston 几何化猜想证明完成完整 Lean 形式化(2 条相关)→
「研究」频道最新
- 循环模型新方法:1.6B 模型用 1/3 KV 缓存追平全缓存基线 — rupspace · 2026-10-11
- 纯 RL 训出的机器人自创杆上立杆、原地翻螺母等人类不会教的策略 — KyleMorgenstein · 2026-10-11
- 用一个三分类例子讲透 Softmax 与交叉熵的分工与梯度 — techNmak · 2026-10-11
- PartLLM 登陆 SIGGRAPH Asia：LLM 驱动任意粒度 3D 网格部件分割 — Promptmethus · 2026-10-11
- Duo Bregman伪散度实现截断指数族KL散度闭式计算 — FrnkNlsn · 2026-10-11
- 26 模型 228 任务:METR 时间视界曲线 2-30 分钟段近乎平坦 — lulzxdxdxd · 2026-10-11