Thurston几何化猜想完成Lean形式化验证
热点事件持续更新
Thurston几何化猜想完成Lean形式化验证
1 篇报道1 个报道来源16 小时前更新
先了解这件事
AI 综述
Ayush Khaitan 带领的团队联合 NVIDIA Humanfia 团队，用 Lean 完成了 Thurston 几何化猜想的完整形式化，成果已在 GitHub 的 differential-geometry 仓库开源。 该形式化总计约 470 万行代码，其中新增的 270 万行在大约两周内完成。Thurston 几何化猜想又称广义庞加莱猜想。
AI 根据报道生成 · 2 小时前更新
最新进展10月11日 16:22
丘成桐弟子再立功，广义庞加莱猜想证明首次形式化验证！报道时间线
沿着报道，了解事件的不同侧面。
10月11日
- 新智元丘成桐弟子再立功，广义庞加莱猜想证明首次形式化验证！
Ayush Khaitan 带领的团队联合 NVIDIA Humanfia 团队，用 Lean 完成了 Thurston 几何化猜想的完整形式化，总计约 470 万行代码，其中新增的 270 万行在大约两周内完成，成果已在 GitHub 的 differential-geometry 仓库开源。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。