Community tightens OpenAI's math bound by 2^167: κ improved to 2^-15 in merged PR
latticecut · x · 2026-10-09
@0xdoug announced a verified, merged PR by Rohan tightening a hard-regime κ bound from 2^-182 to 2^-15 — a 500,000-fold gain over the prior community result and a 2^167-fold improvement over OpenAI's original result. Described as a community effort combining techniques from multiple contributors, with rapid verification and publication as the priority.
Related event: Community Pushes OpenAI Math Proof Forward, Tightening κ Bound Massively(2 posts)→
More from Research
- Are URM and Universal Transformers the forgotten architecture beating standard LLMs? — moschles · 2026-10-09
- Researcher: Use AI to Rewrite Machine-Generated Math Proofs Into Human-Readable Forms — jd_pressman · 2026-10-09
- AutoScientist's two-agent checklist loop auto-audits every training example — sarahookr · 2026-10-09
- NeurIPS GenAI4Health oral: retrieval-based medical fact-checking fails in ways bigger models can't fix — mdredze · 2026-10-09
- Bigger models, more reasoning, better sources won't fix medical fact-checking, researchers say — mdredze · 2026-10-09
- DEX best abstract: top LLMs catch many physician diagnostic errors, but big gaps remain — mdredze · 2026-10-09