A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincaré Conjecture

Ziyang Qin; Yuan Liao; Ayush Khaitan; Bennett Chow

A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincaré Conjecture

Ziyang Qin, Yuan Liao, Ayush Khaitan, Bennett Chow

arXivarxiv/2609.33842Sep 27, 2026math.DGscore 0

We formalize the smooth three-dimensional Poincaré conjecture, together with the Moise smoothing theorem, yielding the topological three-dimensional Poincaré conjecture. The smooth proof follows the Hamilton--Perelman route through Ricci flow with surgery and finite-time extinction.

Source JSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2609.33842
curl -X POST /api/v1/records/arxiv/2609.33842/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.33842/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'