361–370 of 1001 posts
Not peer reviewed, Lean proofs are 100,000 lines long and Lean has bugs: https://cr.yp.to/proofs.html Who is going to wade through this?
Not peer reviewed, Lean proofs are 100,000 lines long and Lean has bugs: https://cr.yp.to/proofs.html Who is going to wade through this?
They've been hiring mathematicians to verify this stuff themselves. They're obviously not just throwing it out there without any human review.
It is not peer review if it is all in one company that wants an IPO.
Earlier quoted context omitted.
This is not at the top as it is actively flagged by people that can't psychologically cope with the advances of AI. Hacker News is no longer a web site of an elite.
> Hacker News is no longer a web site of an elite hah, sorry, we are plebs out here.
For some reason comments got moved to this one.
check here : 1. high dimensional sphere packing https://muchmirul.github.io/conjectures/sphere-packing/
2. multicolor ramsey number https://muchmirul.github.io/conjectures/multicolor-ramsey
Earlier quoted context omitted.
This makes no sense. To believe this you have to think that the models are somehow being overfit explicitly on academic mathematics and it doesn’t carry over at all to more practical software engineering. I wouldn’t make that bet.
Unlike math, software is constrained by the physical world.
Original submission (460 votes) two days ago: https://news.ycombinator.com/item?id=49132058 For some reason comments got moved to this one.
This thread has an absolutely wild points to comments ratio.