{"artifact":{"id":"art-hist-phase33-geometrization-lean-preprint","dedupe_key":"17e51ed1b0520057217d475388f606c01efb35974f2616f56aec51ee1c2fc480","canonical_url":"https://arxiv.org/abs/2610.13897","evidence_locator":"","artifact_type":"original_publication","title":"Authors submit Lean formalization of Hamilton-Perelman geometrization proof","summary":"","creator_entities":[],"released_at":"2026-10-09T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-19T06:03:26.985Z","updated_at":"2026-10-19T06:03:26.985Z"},"sources":[{"id":"src-hist-phase33-geometrization-lean-preprint","dedupe_key":"94bfe084a2810d1ef597f63c19f202e7725fdff062ce7650cfb2e0d00ba0d102","name":"","publisher":"Yuan Liao and coauthors / arXiv","url":"https://arxiv.org/abs/2610.13897","evidence_locator":"","source_type":"original_author_preprint","primary_or_secondary":"","retrieved_at":"2026-10-18T11:41:00.000Z","published_at":"2026-10-09T00:00:00.000Z","author":null,"metadata":[],"created_at":"2026-10-19T06:03:26.985Z","updated_at":"2026-10-19T06:03:26.985Z"}]}