N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes
(
github.com
)
6 points by
carlsverre
15 hours ago
|
4 comments
add comment
Rendered at 07:08:11 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
carlsverre 15 hours ago
[-]
Mostly posting for entertainment. The issues on the project are fun:
https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
utrack 8 hours ago
[-]
I, too, like it when my theorems have zero 'sorry's in them.
cantalopes 8 hours ago
[-]
Yyyeah that's almost certainly bs
notunhackable 15 hours ago
[-]
nope, looks like a little bit of AI slop to me