Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes | Dark Hacker News

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

5 points by carlsverre 10 hours ago | 2 comments

carlsverre 10 hours ago |

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

notunhackable 10 hours ago |

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