Eliche, aerei, vele, missili, previsioni meteo e persino i ventilatori cambieranno
L'8 settembre 2026 OpenAI ha pubblicato una dimostrazione che le equazioni di Navier-Stokes sviluppano una singolarità in tempo finito, con formalizzazione in Lean. Che cosa dice il teorema, come è stato prodotto da diecimila agenti in 88 ore, e per quale strada arriva davvero a un'elica e a una vela.
Leggi tutto