Jared Duker Lichtman
@jdlichtman
Really astounding work.
The Poincare proof generalized to the full Geometrization conjecture, all in Lean.
The Poincare proof generalized to the full Geometrization conjecture, all in Lean.
Ayush Khaitan@ayushkhaitan343 · 18hWe 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
5 99