OpenAI's unreleased model reportedly proves quasi-Riemann hypothesis with Lean proof
ChrisGPT · x · 2026-10-07
A viral post claims OpenAI's unreleased AI model has proved the quasi-Riemann hypothesis, with a Lean formalization released alongside the paper. If confirmed, it would be a landmark for AI and number theory: much tighter bounds on how far prime counts can deviate from expectation, consequences for longstanding open problems, and guaranteed deterministic algorithms for square roots modulo a prime. Unverified so far.
More from Models
- Dev warns OpenRouter share, cache hit rate, latency stats are easily gamed for marketing — charles_irl · 2026-10-07
- Fed Claude Opus my blurry handheld Saturn shots, it fused them into one best image — adonis_singh · 2026-10-07
- Two Labs, One Race: Anthropic vs OpenAI Frontier Model Release Timeline, 2023–2026 — Medical-Sky7620 · 2026-10-07
- OpenAI says its internal frontier model has resolved 100+ long-standing open math problems — Polymarket · 2026-10-07
- Claude was given robot skin — Opus was curious but anxious about hooking up — repligate · 2026-10-07
- Gemini 2.5 Pro retiring October 20, 2026, users say goodbye — hargup13 · 2026-10-07