OpenAI, Navier–Stokes varlık ve düzgünlük problemine yönelik analitik çözümünü ve buna eşlik eden Lean biçimsel kanıtını yayımladı.
Çözüm, başlangıçta düzgün olan belirli bir akışkan sisteminde sonlu zamanda tekillik oluşabileceğini göstererek problemin Clay Matematik Enstitüsü tarafından tanımlanan C seçeneğini hedefliyor. OpenAI, çalışmayı dış incelemeye açtığını ve para ödülü için başvurmayacağını belirtti.