sf12sd··on Ten advances in mathematics and theoretical computer scienceNot peer reviewed, Lean proofs are 100,000 lines long and Lean has bugs:https://cr.yp.to/proofs.htmlWho is going to wade through this?