On the Navier–Stokes Millennium Prize Problem

TL;DR - OpenAI says it is releasing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, accompanied by a written argument and a formal Lean proof. The provided content does not establish whether independent experts have verified or accepted the claimed solution.

• The announcement concerns one of mathematics’ Millennium Prize Problems.
• The proposed solution was generated using AI.
• Materials include both a conventional writeup and a machine-checkable Lean formalization.
• No technical details, validation results, or independent review are included in the provided excerpt.