OpenAI offentliggør AI-skabt løsning på Navier–Stokes-problem
Et internt OpenAI-system har frembragt et 166 sider langt bevis og en maskinkontrollerbar Lean-version af et af matematikkens syv årtusindproblemer. Resultatet er offentliggjort til faglig kontrol, men er endnu ikke generelt accepteret eller godkendt til millionprisen.