Live data from Hacker News

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

Post reply on HN

Print view View original

1–5 of 5 posts

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

#1

Post by carlsverre » Fri, Jun 05, 2026, 3:59 PM UTC

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

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

#2

Post by carlsverre » Fri, Jun 05, 2026, 4:04 PM UTC

Mostly posting for entertainment. The issues on the project are fun: https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1

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

#3

Post by notunhackable » Fri, Jun 05, 2026, 4:05 PM UTC

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

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

#4

Post by utrack » Fri, Jun 05, 2026, 10:49 PM UTC

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

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

#5

Post by cantalopes » Fri, Jun 05, 2026, 11:10 PM UTC

Yyyeah that's almost certainly bs

Post reply on HN