Thurston 几何化猜想 Hamilton-Perelman 证明完成 Lean 形式化
burny_tech · x · 2026-10-11
Ayush Khaitan 宣布团队(与 Ben、Yuan、Ziyang 及 NVIDIA Humanfia 项目的 juihuichung、LigengZhu 合作)完成了 Thurston 几何化猜想的 Hamilton-Perelman 证明的完整 Lean 形式化。这意味着庞加莱猜想所在的这一里程碑式数学成果已被机器可验证地固化,整套重要数学可以复用。
所属事件:Thurston 几何化猜想证明完成 Lean 形式化(3 条相关)→
「具身」频道最新
- Odyssey 发布 140 亿参数世界模型 Odyssey-3,可免费试用 — The Decoder · 2026-10-11
- Linus Ekenstam 巴黎实测小鹏 NGP 辅助驾驶 — LinusEkenstam · 2026-10-11
- 开源工具 Glovebox 上线，Vision Pro 可本地运行《半衰期：爱莉克斯》 — banteg · 2026-10-11
- 仿真环境转换器公开：自有环境可转 MuJoCo 与 Isaac Lab — joemeno · 2026-10-11
- 马斯克暗讽对手机器人演示造假,被指 Optimus 遥操作前科在身 — flowersslop · 2026-10-11
- 贝索斯吐槽自动驾驶太颠簸，Andrew Chen 反怼：能自己开就很神了 — andrewchen · 2026-10-11