{"schema_version":"source-reader-v1","record":{"source_id":"frenzymath-poincare","versions":[{"work":{"authors":["Zhiyuan Zhang","Axel Delaval","Leheng Chen","Jinxuan Chen","Jie Xu","Yuxuan Liao","Jiedong Jiang","Chunlei Liu","Bin Dong"],"kind":"research_paper","publication":"preprint","publication_note":"Source-backed selection; publication and proof assessment are separate.","ai_role":"self_reported","ai_note":"Authors report automated assistance; OpenMath has not independently assessed that workflow.","artifacts":[],"published":{"value":"2026-10-06"}},"id":"frenzymath-poincare@arxiv-2610.08329v1","source_id":"frenzymath-poincare","title":"An AI-Assisted Formalization of the Poincaré Conjecture","owner":"Zhiyuan Zhang; Axel Delaval; Leheng Chen; Jinxuan Chen; Jie Xu; Yuxuan Liao; Jiedong Jiang; Chunlei Liu; Bin Dong","url":"https://arxiv.org/abs/2610.08329v1","subject_scope":"An AI-Assisted Formalization of the Poincaré Conjecture","revision":"arxiv-2610.08329v1","content_sha256":null,"update_method":"Manual source review; publish new observations with immutable versions","identifier_policy":"Source revision plus exact passage or declaration; no fuzzy identity merge","observed_on":"2026-10-12","source_updated_on":null,"rights":"metadata-link","license":"Metadata, links and original OpenMath paraphrases only","terms_url":"https://arxiv.org/abs/2610.08329v1","attribution":"Zhiyuan Zhang; Axel Delaval; Leheng Chen; Jinxuan Chen; Jie Xu; Yuxuan Liao; Jiedong Jiang; Chunlei Liu; Bin Dong","rights_note":"Follow the original source for authoritative statements and reuse terms.","check_interval_days":90}],"entries":[{"id":"poincare-conjecture:entry:frenzy-formal:v1","source_version_id":"frenzymath-poincare@arxiv-2610.08329v1","item_id":"Formal theorem endpoints and verification discussion","url":"https://arxiv.org/abs/2610.08329v1","wording":"The team reports an AI-assisted Lean formalization of both the smooth and topological three-dimensional theorem, with public verification resources.","wording_kind":"paraphrase","locator":"Formal theorem endpoints and verification discussion","supersedes":null}],"problems":[{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13}],"selected_version_id":"frenzymath-poincare@arxiv-2610.08329v1","available_versions":[{"id":"frenzymath-poincare@arxiv-2610.08329v1","revision":"arxiv-2610.08329v1","observed_on":"2026-10-12","title":"An AI-Assisted Formalization of the Poincaré Conjecture","publication":"preprint","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-d17a293c1cac7fc55f94","entry_id":"poincare-conjecture:entry:frenzy-formal:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"activity","title":"Two public formalization projects","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"poincare-external-formalization","title":"Two public formalization projects","kind":"formalization","source_entry_ids":["poincare-conjecture:entry:qin-formal:v1","poincare-conjecture:entry:frenzy-formal:v1","poincare-conjecture:entry:frenzy-verification:v2"],"summary":"The selected 2026 projects report complete smooth and topological three-dimensional proofs, with exact release or verification revisions.","limitation":"These source reports do not constitute OpenMath executions or independently reviewed mathematical correspondence.","related_claim_ids":["claim-poincare-three-topological","claim-poincare-three-smooth"]}},{"id":"source-use-599ec3e0d70bba9cbdf6","entry_id":"poincare-conjecture:entry:frenzy-formal:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"formalization","title":"Topological theorem · FrenzyMath reported verified revision","claim":{"id":"claim-poincare-three-topological","version":2,"slug":"poincare-three-topological","title":"The topological three-dimensional Poincaré theorem"},"fragment":"claim-poincare-three-topological","assessment":null,"superseded":false,"formalization":{"title":"Topological theorem · FrenzyMath reported verified revision","url":"https://github.com/frenzymath/Poincare-Conjecture/blob/1876d7dc2c85325a3f62ce9776af98f910c5db04/PoincareConjecture/Comparator/Solution.lean","note":"Project evidence reports successful statement comparison and Lean/Nanoda verification for this proof commit. The later report revision is cited separately; OpenMath has not rerun these checks or completed independent mathematical review.","target":{"id":"claim-poincare-three-topological","version":2},"proof_status":"reported_complete","source_entry_ids":["poincare-conjecture:entry:frenzy-formal:v1","poincare-conjecture:entry:frenzy-verification:v2"],"declaration":"PoincareConjecture.ComparatorTargets.topologicalPoincareSkeleton","source_commit":"1876d7dc2c85325a3f62ce9776af98f910c5db04","alignment":"candidate","checked_on":"2026-10-12"},"update":null},{"id":"source-use-9367bc7cfcd744c9714f","entry_id":"poincare-conjecture:entry:frenzy-formal:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"formalization","title":"Smooth theorem · FrenzyMath reported verified revision","claim":{"id":"claim-poincare-three-smooth","version":2,"slug":"poincare-three-smooth","title":"The smooth three-dimensional theorem"},"fragment":"claim-poincare-three-smooth","assessment":null,"superseded":false,"formalization":{"title":"Smooth theorem · FrenzyMath reported verified revision","url":"https://github.com/frenzymath/Poincare-Conjecture/blob/1876d7dc2c85325a3f62ce9776af98f910c5db04/PoincareConjecture/Comparator/Solution.lean","note":"Project evidence reports successful statement comparison and Lean/Nanoda verification for this proof commit. The later report revision is cited separately; OpenMath has not rerun these checks or completed independent mathematical review.","target":{"id":"claim-poincare-three-smooth","version":2},"proof_status":"reported_complete","source_entry_ids":["poincare-conjecture:entry:frenzy-formal:v1","poincare-conjecture:entry:frenzy-verification:v2"],"declaration":"PoincareConjecture.ComparatorTargets.smoothPoincareSkeleton","source_commit":"1876d7dc2c85325a3f62ce9776af98f910c5db04","alignment":"candidate","checked_on":"2026-10-12"},"update":null},{"id":"source-use-d871466f92b17d17a8c4","entry_id":"poincare-conjecture:entry:frenzy-formal:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"milestone","title":"An AI-assisted formalization account","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-99e139796d9e44565b4f","entry_id":"poincare-conjecture:entry:frenzy-formal:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"question","title":"Poincaré conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-688c5df968f6f012f434","entry_id":"poincare-conjecture:entry:frenzy-formal:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"reading","title":"Inspect the formal statement, assumptions and reported checks.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3559244a82e95ff52185","entry_id":"poincare-conjecture:entry:frenzy-formal:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"scope","title":"The smooth three-dimensional theorem","claim":{"id":"claim-poincare-three-smooth","version":2,"slug":"poincare-three-smooth","title":"The smooth three-dimensional theorem"},"fragment":"claim-poincare-three-smooth","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-a465317ce12a4df6534d","entry_id":"poincare-conjecture:entry:frenzy-formal:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"scope","title":"The topological three-dimensional Poincaré theorem","claim":{"id":"claim-poincare-three-topological","version":2,"slug":"poincare-three-topological","title":"The topological three-dimensional Poincaré theorem"},"fragment":"claim-poincare-three-topological","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-29156b1964c1caab6daa","entry_id":"poincare-conjecture:entry:frenzy-formal:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"statement","title":"The topological three-dimensional Poincaré theorem","claim":{"id":"claim-poincare-three-topological","version":2,"slug":"poincare-three-topological","title":"The topological three-dimensional Poincaré theorem"},"fragment":"claim-poincare-three-topological","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-aaca8f0b8d0e7ecaf494","entry_id":"poincare-conjecture:entry:frenzy-formal:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"statement","title":"The smooth three-dimensional theorem","claim":{"id":"claim-poincare-three-smooth","version":2,"slug":"poincare-three-smooth","title":"The smooth three-dimensional theorem"},"fragment":"claim-poincare-three-smooth","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[{"id":"poincare-conjecture:entry:frenzy-formal:v1","source_version_id":"frenzymath-poincare@arxiv-2610.08329v1","item_id":"Formal theorem endpoints and verification discussion","url":"https://arxiv.org/abs/2610.08329v1","wording":"The team reports an AI-assisted Lean formalization of both the smooth and topological three-dimensional theorem, with public verification resources.","wording_kind":"paraphrase","locator":"Formal theorem endpoints and verification discussion","supersedes":null},{"id":"poincare-conjecture:entry:frenzy-verification:v2","source_version_id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a-metadata-v2","item_id":"Local integration verification; verification.json beside README","url":"https://github.com/frenzymath/Poincare-Conjecture/blob/432c38f2aa5a30efb13871292d17b4a3309a496a/archive/PoincareConjecture/references/ricci-flow/mapher/integration-verification/README.md","wording":"The project’s report records successful statement comparison and Lean/Nanoda checks on 28 September 2026 for proof commit 1876d7dc2c85325a3f62ce9776af98f910c5db04, permitting only the three standard axioms. Later documentation and import commits are not the tested revision; the report is project-supplied evidence.","wording_kind":"paraphrase","locator":"Local integration verification; verification.json beside README","supersedes":"poincare-conjecture:entry:frenzy-verification:v1"}],"linked_sources":[{"work":{"authors":["FrenzyMath contributors"],"kind":"research_project","publication":"project","publication_note":"Project-supplied verification report at the pinned documentation revision. The 28 September date describes verification, not publication; publication date is not established.","ai_role":"self_reported","ai_note":"Authors report automated assistance; OpenMath has not independently assessed that workflow.","artifacts":[{"kind":"formal_code","title":"Reported verified proof revision","url":"https://github.com/frenzymath/Poincare-Conjecture/tree/1876d7dc2c85325a3f62ce9776af98f910c5db04","version":"1876d7dc2c85325a3f62ce9776af98f910c5db04","assessment":"external_report","note":"Project reports successful Comparator, Lean and Nanoda checks; OpenMath has not reproduced them."}]},"id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a-metadata-v2","source_id":"frenzymath-poincare-verification","title":"Poincaré comparator integration verification","owner":"FrenzyMath contributors","url":"https://github.com/frenzymath/Poincare-Conjecture/blob/432c38f2aa5a30efb13871292d17b4a3309a496a/archive/PoincareConjecture/references/ricci-flow/mapher/integration-verification/README.md","subject_scope":"Poincaré comparator integration verification","revision":"432c38f2aa5a30efb13871292d17b4a3309a496a; bibliographic metadata corrected 2026-10-12","content_sha256":null,"update_method":"Manual source review; publish new observations with immutable versions","identifier_policy":"Source revision plus exact passage or declaration; no fuzzy identity merge","observed_on":"2026-10-12","source_updated_on":null,"rights":"metadata-link","license":"Metadata, links and original OpenMath paraphrases only","terms_url":"https://github.com/frenzymath/Poincare-Conjecture/blob/432c38f2aa5a30efb13871292d17b4a3309a496a/archive/PoincareConjecture/references/ricci-flow/mapher/integration-verification/README.md","attribution":"FrenzyMath contributors","rights_note":"Follow the original source for authoritative statements and reuse terms.","check_interval_days":90},{"work":{"authors":["Zhiyuan Zhang","Axel Delaval","Leheng Chen","Jinxuan Chen","Jie Xu","Yuxuan Liao","Jiedong Jiang","Chunlei Liu","Bin Dong"],"kind":"research_paper","publication":"preprint","publication_note":"Source-backed selection; publication and proof assessment are separate.","ai_role":"self_reported","ai_note":"Authors report automated assistance; OpenMath has not independently assessed that workflow.","artifacts":[],"published":{"value":"2026-10-06"}},"id":"frenzymath-poincare@arxiv-2610.08329v1","source_id":"frenzymath-poincare","title":"An AI-Assisted Formalization of the Poincaré Conjecture","owner":"Zhiyuan Zhang; Axel Delaval; Leheng Chen; Jinxuan Chen; Jie Xu; Yuxuan Liao; Jiedong Jiang; Chunlei Liu; Bin Dong","url":"https://arxiv.org/abs/2610.08329v1","subject_scope":"An AI-Assisted Formalization of the Poincaré Conjecture","revision":"arxiv-2610.08329v1","content_sha256":null,"update_method":"Manual source review; publish new observations with immutable versions","identifier_policy":"Source revision plus exact passage or declaration; no fuzzy identity merge","observed_on":"2026-10-12","source_updated_on":null,"rights":"metadata-link","license":"Metadata, links and original OpenMath paraphrases only","terms_url":"https://arxiv.org/abs/2610.08329v1","attribution":"Zhiyuan Zhang; Axel Delaval; Leheng Chen; Jinxuan Chen; Jie Xu; Yuxuan Liao; Jiedong Jiang; Chunlei Liu; Bin Dong","rights_note":"Follow the original source for authoritative statements and reuse terms.","check_interval_days":90}]}}