Paper urges four-dimensional treatment of learned fluid turbulence
Using direct numerical simulations larger than 28 TB per run, the authors find spatial and temporal checks can disagree.
Stories per day · 30 days
4 RSS
Relatedclay-mathematics-institute1formal-verification1lean1mathematics1multi-agent1neural-networks1openai1scientific-machine-learning1turbulence1
19 stories, newest first · one card per story
Stories tagged #navier-stokes
Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
Mathematicians dispute OpenAI's Navier-Stokes Lean proof, saying it differs from the cited approach and agent credit is unclear.
4
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
New Scientist says OpenAI mistranslated math into code for its Navier-Stokes proof.
OpenAI’s math solutions aren’t meeting the field’s standards yet
Mathematicians say OpenAI's hundreds of claimed hard-problem proofs miss standards for human understanding.
4
OpenAI keeps bulldozing mathematicians
OpenAI's new math advisory group is already mired in confusion over independence and a rush of claimed breakthroughs.
3
OpenAI forms math advisory group as its AI resolves more than 100 open problems
OpenAI formed an IAS-hosted math advisory group after claiming its model solved over 100 open problems.
1
Clay Mathematics Institute says the Navier-Stokes Millennium Prize Problem has "apparently been settled"
Clay Mathematics Institute says the Navier-Stokes Millennium Problem appears settled amid accusations OpenAI misused a mathematician's leaked drafts.
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’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.
Is OpenAI Taking Everyone for Fools?
OpenAI faces accusations it scooped NYU mathematicians' Navier-Stokes proof, possibly using their data, amid skepticism about GPT-6 Astra claims.
1
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.
3
[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awarded
OpenAI-linked accounts claim roughly 10,000 AI agents produced a Navier-Stokes singularity result in 88 hours, pending mathematical verification.
4
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.
On the Navier–Stokes Millennium Prize Problem
OpenAI says an unreleased model produced a claimed solution to the Navier-Stokes existence and smoothness problem, disputed by an NYU mathematician.
Drama swirls around OpenAI’s legendary mathematical milestone
OpenAI claims an internal AI model solved the 90-year-old Navier-Stokes problem, sparking a priority dispute with mathematician Tristan Buckmaster.
1
OpenAI fought dirty on career-making math problem, says NYU mathematician
NYU mathematician Tristan Buckmaster alleges OpenAI learned of his team's Navier-Stokes approach and raced ahead using massive compute to claim a full proof first.
OpenAI researcher allegedly pressured mathematician to drop Anthropic co-author from math breakthrough paper
OpenAI researcher Sébastien Bubeck allegedly pressured mathematician Tristan Buckmaster to drop his Anthropic co-author from an AI-assisted Navier-Stokes breakthrough paper.
2
Controversy over OpenAI's Maths Breakthrough
OpenAI claims its internal model proved the Navier-Stokes equations 'blow up' — a Millennium Prize Problem — amid allegations it borrowed mathematicians' methods.
2
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.