ZeroHour
DashboardNewsCVEsExploitsIncidentsAIBriefAnalyticsEntitiesWatchlistIOCsAsk the feedSourcesFeeds & APIKiosk mode
Organization

Clay Mathematics Institute

3 mentions in 7 days · 5 in 30 days · 5 total · first seen · last

Search everything

Timeline

OpenAI just wants to win

OpenAI says roughly 10,000 agents and tens of millions in compute solved the Navier-Stokes Millennium Prize problem in 88 hours, amid controversy.

OpenAI claims an advanced unreleased model, run with about 10,000 agents and tens of millions of dollars of compute for 88 hours, produced a solution to the Navier-Stokes problem, one of seven $1 million Millennium Prize problems set by the Clay Mathematics Institute in 2000. NYU professor Tristan Buckmaster, who was pursuing the problem with Anthropic researcher Levent Alpöge, accused OpenAI of racing his team and of possibly benefiting from his Codex prompts; OpenAI categorically denied both. OpenAI researcher Sébastien Bubeck acknowledged offering Buckmaster compute and authorship arrangements, which Buckmaster characterized as a bribe, while many mathematicians expressed unease at OpenAI's competitive conduct.

The Verge · AI · 3d agoAI industry1

OpenAI’s sly mathematical breakthrough sends a chill through academia

OpenAI claims an unreleased model solved the Navier-Stokes Millennium Prize problem in 88 hours using ~10,000 agents, sparking academic scooping controversy.

OpenAI announced that one of its unreleased internal models took 88 hours, running a swarm of roughly 10,000 AI agents, to produce a solution to the Navier-Stokes Millennium Prize problem, a $1 million Clay Mathematics Institute challenge unsolved by humans for nearly 90 years. The announcement triggered allegations from NYU professor Tristan Buckmaster that OpenAI scooped his joint work with Anthropic researcher Levent Alpoge and questioned whether OpenAI accessed his Codex sessions; OpenAI denies using specific user data but concedes de-identified data influence cannot be ruled out. Critics say the rushed, reportedly million-dollar effort violates academic norms around trust and openness, potentially chilling collaboration in mathematics.

The Verge · AI · 6d agoAI industry 2 sources2

OpenAI's millennium proof dispute raises the question of whether researchers can trust AI labs

Mathematician Tristan Buckmaster accused OpenAI of pressuring him and possibly training on his drafts amid OpenAI's race to claim a Navier-Stokes millennium proof.

OpenAI published a blog post and Sam Altman defended the team behind its AI-generated proof of the Navier-Stokes Millennium Problem after mathematician Tristan Buckmaster accused the company of academic misconduct. Buckmaster and co-author Levent Alpöge, who works at Anthropic, allege OpenAI pressured Buckmaster, sidelined Alpöge, and may have trained on drafts they entered into OpenAI's systems. OpenAI acknowledges it cannot rule out that de-identified data from their product usage helped improve its models. Mathematician Terence Tao warned the episode could discourage researchers from sharing work, reversing centuries of open science.

The Decoderupdated · 6d agofirst · 6d agoAI industry 2 sources1

What OpenAI’s latest controversy tells us about the future of math

OpenAI says its agents solved the Navier–Stokes Millennium Problem using an internal model, amid uncredited-work accusations from mathematicians Buckmaster and Alpöge.

OpenAI announced that its AI agents produced a proof that the full Navier–Stokes existence and smoothness problem can break down, using an internal model that outperforms the recently released Astra. NYU's Tristan Buckmaster and Anthropic's Levent Alpöge had posted a proof for a simplified version the previous day after nearly a year of work with public OpenAI and Anthropic models. OpenAI denies using their transcripts or training on them; chief research officer Mark Chen reiterated the denial, and the company says it will not claim the $1 million Clay Mathematics Institute prize. The episode fuels debate over attribution norms as frontier labs concentrate mathematical breakthroughs.

MIT Technology Review · AI · 7d agoAI industry

On the Navier–Stokes Millennium Prize Problem

OpenAI announced an AI-generated solution to the Navier-Stokes Millennium Prize Problem, including a writeup and a formal Lean proof.

OpenAI shared what it describes as an AI-generated solution to the Navier-Stokes Millennium Prize Problem, one of the Clay Mathematics Institute's seven Millennium Prize Problems concerning fluid dynamics. The announcement includes a writeup and a machine-checkable formal proof in the Lean theorem prover. Details on the model, methodology and independent verification were not provided in the announcement text.

OpenAI News · 7d agoAI research

Appears with

vendor OpenAI 5vendor Anthropic 4organization OpenAI 2organization NYU 2organization New York University 1ai model OpenAI internal model 1ai model Astra 1product Astra 1product Codex 1product Lean 1product OpenAI Codex 1organization Anthropic 1organization Brown University 1
Entities are extracted by the model from each article. Watching an entity keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.