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.
Related event: Rumors swirl that OpenAI has withheld millennium problem proofs(2 posts)→
More from Models
- Open-source VoxLock tops Krisp voice isolation benchmark with 4.95% WER — Arbaz Siddiqui · 2026-11-02
- Anthropic's 85% inference margin sparks debate on open source's price-pressuring role — code_star · 2026-11-02
- User reports xAI appears to have quietly raised weekly usage limits, dropping his meter from 93% to 47% — XFreeze · 2026-11-02
- Meituan's LongCat-2.5 lands as 1.6T MoE agent model, with DeepSeek copycat speculation — teortaxesTex · 2026-11-02
- Asked what AI firms want you to stop owning, Claude said: your own compute — alex_verem · 2026-11-02
- Is Hermes Still Worth It? Codex's $200 Tier Now Overlaps Most of Its Value — Foreign_Lead_3582 · 2026-11-02