NVIDIA团队完成Thurston猜想Lean形式化验证

由Ayush Khaitan带领的团队联合NVIDIA Humanfia团队，成功完成了Thurston几何化猜想的完整Lean形式化证明。该工程总计约470万行代码，其中新增的270万行代码在约两周内编写完成，目前已全面开源在GitHub上。项目利用LLM和自动化脚本生成底层证明代码，经Lean编译器校验，标志着AI辅助高阶几何分析取得重大突破。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。