Complexity theory joke: the gap between quasi-poly and polynomial only annoys theorists
davidmanheim · x · 2026-10-28
A playful exchange in the complexity theory corner: RokoMijic quips that the difference between n^(log log log n) and 100+ degree polynomials is just how annoyed theorists get; davidmanheim jokes he'd love a P=NP proof whose construction is lower-bounded by a ridiculous 3- or 4-digit degree polynomial—screaming theorists, no practical impact.
More from Fun
- Ex-Meta comms staffer mocks Oracle's 14-press-release blitz: comms needs a seat at the table — alexvoica · 2026-10-28
- Public debt vs. pension benefits chart shows surprising correlation, R² = 0.54 — rickasaurus · 2026-10-28
- "People not following AI will be shocked by mid-2027" — the meme going around — Dr_Singularity · 2026-10-28
- AI Short Film: He Couldn't Afford to Keep His Dead Wife Alive, So She Became a Walking Ad — DystopioFilms · 2026-10-28
- I put an AI in the Garden of Eden — the serpent's prompt injections haven't worked yet — bios444 · 2026-10-28
- "Are you sure?" — "I verified it in Lean" — "OK but are you sure?" — gautamcgoel · 2026-10-28