Work

A Lean Formalization of the Hamilton--Perelman Proof of Thurston's Geometrization Conjecture

Year: 2026

Type: preprint

Abstract: 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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2610.13897

Authors: Liao, Yuan, Qin, Ziyang, Chung, Jui-Hui, Khaitan, Ayush, Zhang, Zhengyang, Lin, Hongzhou, Zhang, Zijian, Zhu, Ligeng, Lu, Peng, Chow, Bennett

Institutions: University of California San Diego, Cornell University, Princeton University, Nvidia (United States), Tsinghua University, University of Oregon

Language: English

Topic: Geometric Analysis and Curvature Flows

Subfield: Applied Mathematics

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

Funder: Defense Advanced Research Projects Agency

OpenAlex ID: W7221511735

Cites: 16

Cited by:

Related to: 10