Un vortice di intelligenza artificiale sulla matematica mondiale
Editoriale di Sisto Baldo sull’annuncio di OpenAi, che sostiene di aver risolto la questione di Navier-Stokes, uno dei problemi matematici del millennio
![]()
> Su openai.com/it-IT/index/navier-stokes-solution/ articolo con la dimostrazione di Eulero e la formalizzazione in Lean






Quando? Venerdì 11 Aprile, ore 15:00 – 17:00
Dove? Educandato agli Angeli, Verona
Iscriviti qui: [