OpenAI's math repo claims frontier-model proofs of quasi-Riemann, Hilbert's tenth over Q, and more
repligate · x · 2026-10-07
OpenAI released the openai/math repo (Apache-2.0, 1.2k stars) containing manuscripts and proof artifacts from an internal frontier model, with Lean formalizations, preprints and reasoning traces. The README notes evaluations expanded after existing math benchmarks saturated, and that unformalized results may contain issues.
Readers flagged headline claims: a zero-free half-plane Re s > 7/8 for ζ and all Dirichlet L-functions (quasi-Riemann hypothesis), a negative resolution of Hilbert's tenth problem over ℚ, plus proofs of Khot's Unique Games Conjecture, L = RL = BPL, ω ≤ 9/4, free group factor isomorphism, nonamenability of Thompson's group F, and more. Results are at varying verification stages.
More from Models
- Is Bel's math edge scale or synthetic data? TeortaxesTex bets on data — teortaxesTex · 2026-10-07
- Fable claims its new release equals roughly five OpenAI Navier-Stokes-level results — willdepue · 2026-10-07
- Reddit user ships 'surgical abliterated' 27B red-team model with zero refusals — Least_Dog_8556 · 2026-10-07
- OpenAI Researcher Surprised AI Lab Math Results So Far All Hold Up — willdepue · 2026-10-07
- OpenAI dots losing to Meta's Muse surprises AI community — BLUECOW009 · 2026-10-07
- Inception launches Mercury Decide on OpenRouter: free structured-decision model doing 14 decisions/sec — StefanoErmon · 2026-10-07