Selected research history · publication v9
Follow the ideas, results and limitations over time. This is a selected history, not a complete literature survey or a measure of how close the problem is to being solved.
Current state & remaining question →Viewing the timeline from pinned publication v9.
6 selected milestones · Source coverage checked 2026-10-12 · Historical annotation and mathematical review remain separate.
Foundation
The loop-contraction question becomes the three-dimensional conjecture.
Historical annotation review: pending. The date refers to the publication, with the precision supported by the source.
The final preprint supplies extinction for the relevant Ricci flows with surgery.
Historical annotation review: pending. The date refers to the preprint, with the precision supported by the source.
Morgan and Tian publish the proof and three-sphere conclusion.
Historical annotation review: pending. The date refers to the publication, with the precision supported by the source.
Formalization
The authors report smooth and topological proofs with release-specific endpoint audits.
Historical annotation review: pending. The date refers to the preprint, with the precision supported by the source.
Formalization
FrenzyMath records statement and kernel checks at its named proof commit.
Historical annotation review: pending. The date refers to the formalization, with the precision supported by the source.
Formalization
The preprint describes the project and public evidence.
Historical annotation review: pending. The date refers to the preprint, with the precision supported by the source.
Scope & review: Historical mathematics, external formal reports and OpenMath verification are separate evidence.
← Back to the Problem