与 NVIDIA 团队合作完成 Thurston 几何化猜想的 Lean 形式化。

RT @ayushkhaitan343：我们现在也完成了 Thurston 几何化猜想 Hamilton-Perelman 证明的完整 Lean 形式化！

Ben、Yuan、Ziyang 和我与 NVIDIA 的 Humanfia 团队合作完成了这项工作 @juihuichung @LigengZhu