GoKawiilNYU mathematician accuses OpenAI of racing to claim Navier-Stokes proof credit
Tristan Buckmaster of NYU announced preliminary proofs on a major unsolved math problem, developed with Anthropic researcher Levent Alpöge using Codex and Claude models. Buckmaster alleges that details of their unpublished progress leaked to OpenAI, which then claimed to have produced a full proof using a large team and heavy computing resources shortly afterward. OpenAI's math lead Sebastian Bubeck disputes the characterization, calling the claims false and promising a fuller response.
GoKawiil's interpretation of the reporting above, not reported fact.
The dispute highlights growing tension over how AI labs use computational scale to potentially overtake independent researchers on high-profile problems once they get wind of promising approaches. It raises questions about academic norms, credit, and fair play as AI-assisted mathematics becomes a competitive race rather than collaborative discovery.
- Buckmaster and Alpöge produced proofs related to a major unsolved math problem using Codex and Claude.
- They allege OpenAI learned of their progress and rushed a competing proof using a large team and heavy compute.
- OpenAI's Sebastian Bubeck denies wrongdoing and says he followed academic norms, with more details to come.
Source: techcrunch.com — Russell Brandom, 2026-09-08
Published there as: “OpenAI fought dirty on career-making math problem, says NYU mathematician”
Read the original report → The summary and analysis above are GoKawiil's own, written from reporting by the source above. Facts and quotes belong to the original publisher.