OpenAI ha affermato martedì (8) che uno dei suoi modelli di intelligenza artificiale ha risolto un problema matematico che sfida i ricercatori da generazioni, provocando una disputa con scienziati rivali sul merito della scoperta. L'azienda ha pubblicato una soluzione generata da IA e una dimostrazione formale per il problema di Navier-Stokes.
La creatrice di ChatGPT ha dichiarato che sono state necessarie 88 ore e milioni di dollari in potenza computazionale per risolvere il problema. Navier-Stokes è uno dei sette "Problemi del Millennio", un elenco che raccoglie alcune delle questioni aperte più difficili della matematica, elaborate dal Clay Mathematics Institute.
Le equazioni di Navier-Stokes descrivono il movimento dei fluidi, come l'aria e l'acqua, e sono utilizzate in diverse applicazioni pratiche, tra cui lo sviluppo di aeromobili, le previsioni meteorologiche e lo studio del flusso sanguigno.
