Comment by auggierose

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.