Navier–Stokes, la singolarità è vicina
L’8 settembre OpenAI ha annunciato una dimostrazione della formazione di una singolarità in tempo finito per le equazioni tridimensionali di Navier–Stokes, accompagnata da una formalizzazione in Lean. Se confermata, costituirebbe la soluzione di uno dei sette Problemi del Millennio. Pubblichiamo un contributo di Marco Sammartino, che presenta il risultato, ne ricostruisce gli antecedenti matematici e […]


