Researchers from Carnegie Mellon, MIT, NYU, and Stanford built an AI called Ataraxos that beat four-time Stratego world champion Pim Niemeijer 15 games to one with four draws, using a second neural ne…
The AI system Ataraxos decisively beat the best Stratego player of all time, a feat researchers from Carnegie Mellon, NYU, Stanford, and MIT accomplished for less than $8,000 after Google DeepMind fel…
OpenAI announced that an internal AI system using roughly 10,000 concurrent agents, 2.7 million messages and about 130 billion output tokens produced a proposed finite-time singularity for the three-d…
OpenAI withdrew its sponsorship of Caltech's AI math hackathon on Thursday after current and former Caltech mathematicians published an open letter on Wednesday warning the event "is likely to have de…
Anima Anandkumar and her Caltech group released a paper and code on September 7 showing a physics-informed neural network (PINN) can find a self-similar singular profile for the 3D Euler equations wit…
OpenAI announced that an unreleased model resolved the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems, with agents exchanging 2.7 million messages and consu…
OpenAI announced that an unreleased internal model produced a proof solving the Navier-Stokes Millennium Prize problem, using roughly 10,000 AI agents run for 88 hours at an estimated cost of millions…
OpenAI announced that its unreleased next-generation model solved the Navier-Stokes existence and smoothness Millennium Prize Problem, but NYU mathematician Tristan Buckmaster and Anthropic employee L…
OpenAI claimed on Tuesday that it solved the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute's Millennium Problems, using an unreleased AI model 'significantly mo…
OpenAI announced that an internal model produced a proof that Navier-Stokes equations can 'blow up', a problem unsolved for over 90 years and one of the Clay Mathematics Institute's Millennium Prize P…
OpenAI announced on Tuesday that its AI model Astra solved the Navier-Stokes existence and smoothness problem, a Millennium Prize Problem unsolved for nearly a century, in 88 hours. NYU professor Tris…
OpenAI claims its experimental AI system solved a 90-year-old Navier-Stokes problem in 88 hours, but the claim is disputed over research credit and data use. The system, described as more capable than…
OpenAI announced on September 8 that its internal model solved the Navier-Stokes equations problem, one of the seven Millennium Prize Problems carrying a $1 million award from the Clay Mathematics Ins…
OpenAI says an unreleased experimental AI system solved the Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems carrying a $1 million prize, after roughly 10,000 age…
OpenAI announced that its internal AI model solved the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems with a $1 million award, but NYU Math Professor Trista…
OpenAI announced on September 8, 2026, that its unreleased AI model produced a resolution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems carrying a $…
OpenAI announced Tuesday that its internal AI model produced a Lean-verified proof that the Navier-Stokes fluid equations can 'blow up,' using roughly 10,000 coordinating AI agents over 88 hours, targ…
OpenAI has acknowledged it cannot rule out that data from NYU mathematician Tristan Buckmaster's Codex sessions, containing a year of unpublished work on a Millennium Prize problem, was used to train …
OpenAI scientist Sebastien Bubeck has released a detailed account of his interactions with NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge over the Navier-Stokes proof disp…
OpenAI's new Astra model has prompted claims that artificial general intelligence (AGI) has arrived, but NYU Emeritus Professor Gary Marcus disputes this, saying the model is not truly AGI. The discus…