alt.hn

6/5/2026 at 3:59:47 PM

Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes

 https://github.com/TiruArt/Pedigree-Polytopes-Lean4

by carlsverre

6/5/2026 at 10:49:16 PM

I, too, like it when my theorems have zero 'sorry's in them.

by utrack

6/5/2026 at 11:10:04 PM

Yyyeah that's almost certainly bs

by cantalopes

6/5/2026 at 4:05:27 PM

nope, looks like a little bit of AI slop to me

by notunhackable