OpenAI drop stuns math world: 722 manuscripts claim Hilbert's 10th, Unique Games and more
BLUECOW009 · x · 2026-10-07
OpenAI released a massive batch of new mathematics—722 manuscripts across 372 result families—claiming solutions to Hilbert's 10th problem over the rationals, the Unique Games conjecture, Mahler, Hilbert–Smith in all dimensions, and Cannon's conjecture, plus proofs of Catalan's constant's irrationality, irrationality exponent of π = 2, L = RL = BPL, and that Navier–Stokes supports universal computation.
Related event: OpenAI Open-Sources Hundreds of AI-Generated Math Manuscripts(82 posts)→
More from Models
- Benchmark: OpenAI Decisions API costs 2x more, 5-10% worse than Jev — xeophon · 2026-10-07
- Cagliostro V3.5 135M Dethrones SmolLM2-135M on Open SLM Leaderboard at 27.49 — Megneous · 2026-10-07
- "If you still think LLMs suck at math, it's a skill issue" — hot take gains traction — alejandroll10 · 2026-10-07
- Sauers_: Opus 5.5 shows fewer strong technical opinions than Fable 5.1 and 5 — Sauers_ · 2026-10-07
- Is Gemini 4 Pro actually out? Users can't find anywhere to try it — karminski3 · 2026-10-07
- TypeSafe's Jev model pitches 'machine-native intelligence' with RLCD-calibrated decisions — samcharrington · 2026-10-07