OpenAI says its AI system has generated a singular solution to the Navier‑Stokes problem

OpenAI reported that a newly developed, still unreleased AI system produced a candidate singular solution to the Navier‑Stokes equations, and that the result has been formalised in the Lean proof assistant. The team says the work must still be published in a scholarly journal and undergo a two‑year review before the Millennium Prize can be considered. Meanwhile, mathematicians in the United States have issued an open letter opposing a planned Mathathon at Caltech, warning that AI‑driven competitions could encourage superficial answers over deep insight. The letter has been signed by over a thousand scholars, including researchers from the University of Helsinki and the University of Jyväskylä, while OpenAI has declined to take part in the event and Anthropic remains involved.