Rumors: OpenAI sitting on proofs of multiple Millennium Problems over backlash fears
haider1 · x · 2026-09-16
Multiple threads suggest OpenAI may have proven several Millennium Prize Problems but has withheld the results.
- Mathematician Scott Armstrong says that since at least the ICM, OpenAI has been sitting on "hundreds" of proofs, some possibly unreleased for a long time; he claims the lab can produce a 450k-line lean formalization and a 160-page paper on a Millennium Problem in days
- Armstrong criticizes the situation: rumors swirl and social-graph distance to labs determines who knows what; if they brief the NY Times on a major advance, results should ship with the news
- roon is also thought to be hinting at this, though it's unclear if he's vagueposting
Unverified rumor, but from credible sources pointing to OpenAI's formal math capabilities far exceeding public results.
More from Models
- all-MiniLM-L6-v2 still trending on Hugging Face, its creator says stop using it — tomaarsen · 2026-09-16
- HF researcher publicly questions Claude limits: monthly exhausted but weekly 84% left — NielsRogge · 2026-09-16
- Meta's promised Muse Spark open weights are over a month late and counting — RishiFurfox · 2026-09-16
- Ex-Huawei researcher: AI is great at small-step optimization, but taste and system design remain out of reach — yangyi · 2026-09-16
- First Jev Test Shows Only 80% Agreement with Verified Gemini 3.5 Flash Workflow — mayfer · 2026-09-16
- New model Jev plays Super Mario Bros in real time on fast inference — hardimanjames · 2026-09-16