Dev jokes he has a P≠NP proof strategy via SGD-guided theorem search: 'OpenAI do NOT steal this'
burny_tech · x · 2026-09-09
A developer jokingly claims a strategy to prove P≠NP: SGD-guided search using MLPs with attention over the infinite space of symbol sequences fed into a theorem prover — capped with "(OpenAI do NOT steal this)".
It's a riff on the viral (and dubious) OpenAI agents-solve-math story: AI search over proof spaces is a real research direction, but snagging a Millennium Prize via one tweet is clearly tongue-in-cheek.
More from Fun
- Math pun: 'the singularity' arrives as a finite-time blowup of a smooth Navier–Stokes solution — jam3scampbell · 2026-09-09
- 1980s dark fantasy AI video made with Midjourney and Seedance 2.5 breaks creator's engagement slump — Kyrannio · 2026-09-09
- Astra makes a PB&J the most ridiculous way: jelly gravity, UFO sandwich press — VoidStateKate · 2026-09-09
- Rumor: Anthropic researchers close in on a bounded solution to their 4pm meeting — vboykis · 2026-09-09
- Three people solve 90-year-old math problem in the same week — same AI model the common thread? — cephaloform · 2026-09-09
- Seinfeld meme roasts the agent hype: 10K agents to solve Navier-Stokes — rao2z · 2026-09-09