4 ms·
Not peer reviewed, Lean proofs are 100,000 lines long and Lean has bugs: https://cr.yp.to/proofs.html https://cr.yp.to/proofs.html Who is going to wade throug
by sf12sd 2mo ago
Not peer reviewed, Lean proofs are 100,000 lines long and Lean has bugs:
https://cr.yp.to/proofs.html https://cr.yp.to/proofs.html
Who is going to wade through this?
- kypro 2mo agoThey've been hiring mathematicians to verify this stuff themselves. They're obviously not just throwing it out there without any human review.
- 12asg 2mo agoAnd these mathematicians sink the comment to the bottom in 5 min? It is not peer review if it is all in one company that wants an IPO.