alt Hacker NewsThe 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.
Replies
raegis • today at 6:23 AM
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.
moffkalast • today at 9:24 AM
Anyone can put anything on arxiv, it counts the same as printing it on tissue paper.
➕ show 1 reply
Publish in academic language means accepted peer-reviewed paper.