Mathematician's statement alleges OpenAI moved against researchers about to beat it to a proof
IgorCarron · x · 2026-09-08
Tristan Buckmaster published a statement described as one of the ugliest things to come out of a frontier lab — not the math, but what happened after OpenAI learned two people were about to beat them. Per the account: Buckmaster and Levent Alpöge spent a year on the Córdoba / Martínez-Zoroa smooth forcing program, got blowup results for Boussinesq and 3D Euler on Aug 15, Lean-verified Aug 22, paying OpenAI out of pocket with drafts in private Codex sessions on an obscure program. Then on Sept 3 Buckmaster emailed OpenAI privately… (thread truncated; details unverified).
Related event: Mathematicians accuse OpenAI of rushing to claim Navier-Stokes breakthrough(3 posts)→
More from Companies & People
- Tesla VP of AI defends vision-only autonomy: 'the core issue is intelligence' — davidpattersonx · 2026-09-08
- Researcher pushes back on OpenAI chat-snooping claim: 'cartoonishly wrong' and reputationally suicidal — BlackHC · 2026-09-08
- OpenAI accused of scooping mathematicians on Navier-Stokes breakthrough, pressuring co-author cut — burny_tech · 2026-09-08
- Back from PTO to: OpenAI dumps Cursor, plus a flood of new model releases — stefanjblos · 2026-09-08
- ChatGPT hits 1.06B MAUs in August, breaking its record for a 4th straight month — gaganghotra_ · 2026-09-08
- Mozilla CTO Raffi Krikorian on owning your AI instead of renting it — 0xsachi · 2026-09-08