Jui-Hui Chung
@juihuichung
Thrilled to have worked with Ayush, Ben, Yuan and Ziyang on this: a full Lean formalization of Thurston's Geometrization Conjecture!
Ayush Khaitan@ayushkhaitan343 · Oct 9We have now also completed a full Lean formalization of the Hamilton-Perelman proof of Thurston’s Geometrization conjecture!
Ben, Yuan, Ziyang and I completed this in collaboration with the Humanfia team at NVIDIA @juihuichung @LigengZhu
Open quoted post →Ben, Yuan, Ziyang and I completed this in collaboration with the Humanfia team at NVIDIA @juihuichung @LigengZhu
0 11