OpenAI's frontier model produces new math results, including an 84-page proof of the Erdős–Pomerance conjecture
burny_tech · x · 2026-10-09
OpenAI announced a broad set of new mathematical results produced by an internal frontier model, saying it consulted the independent Advisory Group on Mathematics and AI at the Institute for Advanced Study on how to release them. Among them: a claimed proof of the Erdős–Pomerance conjecture, about the independence of prime factors of n and n+1 — an incarnation of the philosophy that addition and multiplication should be independent absent structural exceptions. The proof spans 84 pages and will need to be digested and compressed.
Related event: OpenAI's Frontier Models Prove 23 Erdős Problems in 1,268 Pages(2 posts)→
More from Models
- Opus 5.5 one-shots an animated explainer for new LLM hidden valence steering paper — repligate · 2026-10-09
- One '1+1' question ate 16% of a GPT Plus 5-hour window on Astra High — okdesign · 2026-10-09
- Users Miss Reading the Chain of Thought: Watching AI Think Was Half the Fun — bachmensch · 2026-10-09
- Google AI Pro/Ultra Subscribers Get Monthly Gemini API Credits — Don't Forget to Redeem — danielrock · 2026-10-09
- Longtime user reports ChatGPT quality drop: repeatedly recommends already-drafted NBA players — Buf4nk · 2026-10-09
- Bindu Reddy: Labs are nerfing models as they cut prices; Luna 5.6 still beats 6.1 — bindureddy · 2026-10-09