OpenAI: “Risolto Navier-Stokes”, quali conseguenze pratiche

OpenAI sostiene di avere risolto con l’intelligenza artificiale uno dei sei Millennium Problems della matematica rimasti ancora aperti, quello dell’esistenza e regolarità delle equazioni di Navier-Stokes. Un modello interno non ancora disponibile al pubblico avrebbe impiegato 88 ore e coordinato un sistema dell’ordine di 10mila agenti AI per trovare la dimostrazione, successivamente formalizzata e verificata nel linguaggio Lean. Se il risultato sarà confermato dalla comunità matematica, sarà uno dei maggiori risultati scientifici finora ottenuti con un contributo determinante dell’AI.