OpenAI zveřejnila důkaz o tom, že Navierovy a Stokesovy rovnice mohou v konečném čase vytvořit singularitu, což by řešilo jeden z matematických problémů tisíciletí. Firma uvádí, že řešení vzniklo pomocí interního systému koordinovaných AI agentů a následně prošlo formalizací v jazyce Lean. Okolnosti ale vyvolaly spor s matematikem Tristanem Buckmasterem z New York University a výzkumníkem Leventem Alpögem z Anthropic. Ti krátce před oznámením publikovali výsledky k příbuznému problému a tvrdí, že jejich postup mohl ovlivnit práci OpenAI. Samotný důkaz nyní čeká na další odborné posouzení. Příběh tak ukazuje nejen rostoucí schopnosti AI ve vědě, ale také otázky kolem prvenství, zveřejňování a práce s daty z nástrojů pro výzkumníky.
