Hacker news

  • Top
  • New
  • Past
  • Ask
  • Show
  • Jobs

Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes (https://github.com)

6 points by carlsverre 1 day ago | 4 comments | View on ycombinator

carlsverre 1 day ago |

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

utrack about 20 hours ago |

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

cantalopes about 19 hours ago |

Yyyeah that's almost certainly bs

notunhackable 1 day ago |

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