// HARDWARE UPGRADE — INTELLIGENZA ARTIFICIALE
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