OpenAI kunngjorde nylig et bevis som løser et lenge ulöst spørsmål om Navier-Stokes-likningene innen strømningsdynamikk, noe som har skapt stor oppmerksomhet.

Kilde: https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/