HomeAI · summaries
Storia in 18 fonti
OpenAI dice di aver risolto Navier-Stokes, un matematico chiede se il modello ha letto le sue bozze
Un modello interno non pubblico e circa 10.000 agenti in parallelo hanno prodotto in 88 ore una singolarit� in tempo finito per le equazioni di Navier-Stokes, con formalizzazione in Lean. Tristan Buckmaster contesta tempi e provenienza del lavoro
Confronto fonti
6 prospettive sulla stessa storiaTimeline cronologica
- ·
quantamagazine.org
AI Has Solved One of Math’s $1 Million Millennium Prize Problems | Quanta Magazine
Mathematicians at OpenAI showed that the Navier-Stokes equations, which describe how fluids flow, can sometimes “blow up.” But the massive result is not without controversy.
- ·
corriere.it
L'AI ha risolto l'equazione Navier-Stokes? Lo scontro tra OpenAI e i matematici sul «problema del millennio»
Rimasto un mistero matematico per oltre due secoli, ora i matematici Tristan Buckmaster e Levent Alpoge hanno dichiarato di aver trovato una soluzione sfruttando modelli di…
