↑
Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes
Posted by
carlsverre
|
2 hours ago |
2 comments
carlsverre 2 hours ago
Mostly posting for entertainment. The issues on the project are fun:
https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
notunhackable 2 hours ago
nope, looks like a little bit of AI slop to me
