The Lean proof is published, you can download it. The clock definitely is ticking.

Edit: Oh, didn't see the "qualifying outlet" condition. But Poincare was ever just put on arXiv, so arXiv must count as well.

▲

adastra22 32 minutes ago | parent | next [-]

Publish in academic language means accepted peer-reviewed paper.

	▲	auggierose a few seconds ago \| parent [-]
		Accepted by whom? Peer-reviewed by whom? I guess these little questions are what this article is really about.

▲

raegis 35 minutes ago | parent | prev [-]

If I recall (too lazy to check) folks made slight improvements to Perelman's work and published it in mainstream journals, satisfying the "qualifying outlet" requirement.