Interview with mathematician Tristan Buckmaster on being drawn into the OpenAI-Anthropic fight; OpenAI says it made progress on another Millennium Prize problem
Tristan Buckmaster was on the path toward an important proof when one of the A.I. giants used its staggering resources to get there first.
Context & Ripple Effects
OpenAI's mathematical claims arrive after Tristan Buckmaster alleged that the company learned of work he and Anthropic's Levent Alpöge were pursuing; OpenAI denied that its researchers or models saw their prompts while acknowledging it could not entirely exclude de-identified product-derived data from model improvement. The dispute extends OpenAI's longer effort to present models as mathematical reasoners, following a 2023 report of a model solving basic math problems.
Buckmaster's account turns a race for a proof into a question of research provenance: whether frontier labs' access to users, compute, and model outputs creates an advantage independent researchers cannot audit.
First-order effects
- OpenAI's claim of further Millennium-problem progress raises the reputational stakes of Buckmaster's allegation and the company's denial, making its handling of researcher interactions a central part of how the achievement is assessed.
- Buckmaster and Alpöge face a sharper attribution dispute over work they were pursuing, while Anthropic is drawn into a contest framed around its researcher and a rival's computing resources.
Second-order effects
- OpenAI and Anthropic have an incentive to make clearer boundaries around researcher prompts, internal access, and model-training data, because ambiguous provenance can undermine confidence in claimed research advances.
- Independent mathematicians using frontier-model products may treat unpublished work as a more sensitive input, favoring tools and collaborations that provide stronger controls or clearer records of access.
Third-order effects
- If frontier models become credible contributors to elite mathematical work, research credit may increasingly depend on auditable provenance alongside proof verification, reshaping how labs, academics, and users share unfinished ideas.
- The episode points toward competition in which compute scale and access to research interactions are strategic assets, increasing pressure for governance that distinguishes model capability claims from the origin of underlying insights.
The trend: Frontier AI competition is expanding from benchmark performance into contested scientific discovery, where provenance and research access become part of the product and legitimacy battle.