4 ms·
Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes
- notunhackable 4mo agonope, looks like a little bit of AI slop to me
- carlsverre 4mo agoMostly posting for entertainment. The issues on the project are fun: https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1 https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
- utrack 4mo agoI, too, like it when my theorems have zero 'sorry's in them.
- cantalopes 4mo agoYyyeah that's almost certainly bs