Redazione di Hardware Upg
09-09-2026, 09:11
Link alla notizia: https://www.hwupgrade.it/news/scienza-tecnologia/openai-dice-di-aver-risolto-navier-stokes-un-matematico-chiede-se-il-modello-ha-letto-le-sue-bozze_158865.html
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
Click sul link per visualizzare la notizia.
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
Click sul link per visualizzare la notizia.