Experts say OpenAI's redacted paper proof strategy is likely irreparable
teortaxesTex · x · 2026-10-24
Math researcher Elliot Glazer shares an authoritative expert account of the proof strategy and error in OpenAI's three redacted papers, which concludes the proof strategy is probably irreparable as is.
Glazer highlights two notable facts: the critical error was found within a day of the papers' release ("slopdrop"), and in the 2.5 weeks since, no other critical errors have been reported — making further withdrawals unlikely. He also wonders why this error was uniquely imperceptible to OpenAI's internal reviewer (Bel).
More from Models
- LiveBench creator to evaluate Kimi K3.1, betting his benchmark can't be gamed — bindureddy · 2026-10-24
- Kimi K3.1 Pro tops SWE Marathon and agent benchmarks, fueling open-source 'last time they catch up' debate — cephaloform · 2026-10-24
- Kimi K3.1 Pro tops Humanity's Last Exam with tools at 70.0, ahead of Opus 5.5 — UltraRareAF · 2026-10-24
- Peter Gostev demos 3D generation with Kimi K3.1 Pro — arena · 2026-10-24
- Kimi K3.1 Pro hits #4 lab on Code Arena WebDev, 74% cheaper than Claude Opus 5 — arena · 2026-10-24
- Moonshot Kimi now ranks #4 lab on Code Arena WebDev leaderboard — arena · 2026-10-24