Community Effort Boosts OpenAI Math Proof Result 500,000-Fold, Tightening κ to 2⁻¹⁵
eldonredwards · x · 2026-10-09
Ethan Mollick notes that amid controversy over OpenAI's released proofs, the community has rapidly iterated: @0xdoug verified and merged Rohan's PR, tightening the κ bound from 2⁻¹⁸² to 2⁻¹⁵—a 500,000-fold improvement over the prior result and 2¹⁶⁷ over OpenAI's original. A genuine community effort combining techniques from multiple contributors, showing OpenAI's proofs kicked off fast, open, collaborative mathematics.
More from AGI Musings
- A Synthetic Testbed of LLM Agents to Study How Interaction Rules Polarize Societies — profjamesevans · 2026-10-09
- Building an API to the Physical World: How AI Agents Could Reindustrialize Manufacturing — McDonaghMatthew · 2026-10-09
- Culture Industries Are Moving to SF: AI Slop and Short Video Are Commoditizing Film and Music — juliey4 · 2026-10-09
- Open-source models keep trailing the frontier — for now we can pick our ideology — panickssery · 2026-10-09
- 100+ Mathematicians React: OpenAI's Quasi-Riemann Result "Almost Unbelievable" — littmath · 2026-10-09
- Epoch launches Automation Reports: Claude Fable 5.1 and GPT-6 Astra lead but can't automate its research — scaling01 · 2026-10-09