FRESH
Hacker News
Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes
6 points by carlsverre
- I, too, like it when my theorems have zero 'sorry's in them.
by carlsverre
0 subcomment
- Mostly posting for entertainment. The issues on the project are fun:
https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
by cantalopes
0 subcomment
- Yyyeah that's almost certainly bs
by notunhackable
0 subcomment
- nope, looks like a little bit of AI slop to me