OpenAI pubblica una dimostrazione generata dall'IA per il Millennium Problem di Navier–Stokes

OpenAI ha pubblicato una soluzione generata dall'IA per il Millennium Prize Problem di Navier–Stokes, uno dei sette problemi irrisolti designati dal Clay Mathematics Institute. La soluzione include una descrizione dettagliata e una dimostrazione formale verificata nell'assistente di dimostrazione Lean. Questo segna una tappa significativa nell'applicazione dell'intelligenza artificiale alla matematica avanzata, aprendo potenzialmente nuove strade per la ricerca assistita dall'IA. Le equazioni di Navier–Stokes descrivono il moto dei fluidi viscosi e sono fondamentali per la fisica e l'ingegneria; una dimostrazione rigorosa dell'esistenza e della regolarità è sfuggita ai matematici per secoli. La pubblicazione fa parte degli sforzi più ampi di OpenAI per sfruttare l'IA nella scoperta scientifica, dopo il suo lavoro su altre sfide matematiche e di codifica. La verifica formale in Lean garantisce la correttezza della dimostrazione, affrontando le preoccupazioni sui risultati generati dall'IA. L'annuncio è stato fatto sul sito ufficiale di OpenAI, e la descrizione completa e la dimostrazione sono disponibili per il controllo pubblico. Questo sviluppo sottolinea il ruolo crescente dell'IA nell'affrontare problemi matematici di lunga data e potrebbe influenzare le future metodologie di ricerca.