{"representations":[{"hash_profile":"rfc8785","id":"poincare-dimension-category","version":2,"sha256":"5bfa9deb1c5e8419e996c2126fdac32e58e4dd7c5f15d3683e2c15ed3ebbbf60"}],"problem_id":"problem-poincare-conjecture","version":12,"sha256":"6105516fc670da8da62fab2e6818b495b697ae180c0ce8cb058e220ea8d915a4","claims":[{"id":"claim-poincare-three-topological","version":2},{"id":"claim-poincare-three-smooth","version":2},{"id":"claim-poincare-moise-smoothing","version":1},{"id":"claim-poincare-finite-extinction","version":1},{"id":"claim-poincare-smooth-four","version":1},{"id":"claim-poincare-topological-four","version":1},{"id":"claim-poincare-high-dimensions","version":1}],"source_version_ids":["clay-millennium@observed-2026-10-01","morgan-tian-poincare@clay-monograph-3-2007","perelman-extinction@arxiv-math-0307245v1","milnor-poincare-description@clay-description-observed-2026-10-12","manolescu-four-manifolds@icm-2026-doi-25M1806703","qin-liao-khaitan-chow-poincare@arxiv-2609.33842v1","frenzymath-poincare@arxiv-2610.08329v1","frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a-metadata-v2","mathlib-poincare-wanted@9454a4c25a2b923eb55dba3098f2d6ae0484d09b","frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a"],"entry_ids":["poincare-conjecture:entry:0:v1","poincare-conjecture:entry:proof:v1","poincare-conjecture:entry:extinction:v1","poincare-conjecture:entry:dimension-scope:v1","poincare-conjecture:entry:smooth-four:v1","poincare-conjecture:entry:qin-formal:v1","poincare-conjecture:entry:frenzy-formal:v1","poincare-conjecture:entry:frenzy-verification:v1","poincare-conjecture:entry:frenzy-verification:v2","poincare-conjecture:entry:wanted-statements:v1","poincare-conjecture:entry:milnor-smale:v1"],"report_ids":["poincare-conjecture:report:0:v1","poincare-conjecture:report:poincare-three-smooth:v1","poincare-conjecture:report:poincare-moise-smoothing:v1","poincare-conjecture:report:poincare-finite-extinction:v1","poincare-conjecture:report:poincare-smooth-four:v1","poincare-conjecture:report:poincare-topological-four:v1","poincare-conjecture:report:high-dimensions:v1"]}