Community Pushes OpenAI Math Proof Forward, Tightening κ Bound Massively

After controversy around OpenAI's released math proofs, the community iterated rapidly: @0xdoug verified and merged Rohan's PR tightening the κ bound from 2⁻¹⁸² to 2⁻¹⁵, a roughly 2¹⁶⁷-fold improvement over OpenAI's original result.

2026-10-09 ~ 2026-10-09 · 2 related posts

• Community Effort Boosts OpenAI Math Proof Result 500,000-Fold, Tightening κ to 2⁻¹⁵ — eldonredwards · 2026-10-09
• Community tightens OpenAI's math bound by 2^167: κ improved to 2^-15 in merged PR — latticecut · 2026-10-09