OpenAI zveřejnilo řešení problému existence a hladkosti Navierových-Stokesových rovnic, jednoho z matematických problémů tisíciletí. Firma tvrdí, že její interní systém vytvořil analytický důkaz, podle něhož může hladce se pohybující tekutina v konečném čase vytvořit singularitu, a současně připravila formalizaci v jazyce Lean. Problém souvisí s prouděním kapalin a má vazby na letectví, předpověď počasí i modelování krve. Oznámení vyvolalo spor o původ výsledku a připsání zásluh, protože část matematiků upozornila na návaznost na dřívější práci mimo OpenAI. Tvrzení společnosti proto není totéž co nezávislé přijetí důkazu. Samotný experiment ale ukazuje, jak velké množství agentní práce mohou laboratoře použít při hledání a formalizaci matematických argumentů.
