Zijian Zhang — Neckpinchhttps://neckpinch.com/authors/zijian-zhang/New arXiv papers by Zijian Zhang, from Neckpinch Tue, 03 Nov 2026 08:41:12 GMT A Lean Formalization of the Hamilton–Perelman Proof of Thurston's Geometrization Conjecturehttps://neckpinch.com/papers/2610.13897/arxiv:2610.13897Fri, 09 Oct 2026 00:00:00 GMTYuan Liao, Ziyang Qin, Jui-Hui Chung, Ayush Khaitan, Zhengyang Zhang, Hongzhou Lin, Zijian Zhang, Ligeng Zhu, Peng Lu, Bennett Chow — We formalize the Hamilton–Perelman Ricci-flow proof of Thurston's geometrization conjecture. The public Lean declaration is reproduced in this paper. Its geometric interpretation follows, and verification is recorded in 4.Ricci flowGeometrization