Navier-Stokesin yhtälöt

Terence Tao pitää tekoälyn avustamia virtausdynamiikan todistuksia ”merkittävänä saavutuksena”

NYU:n matemaatikko Tristan Buckmaster ja Anthropicing tutkija Levent Alpöge julkaisivat sunnuntaina tekoälyn avustamia ja Lean-verifioituja todistuksia, jotka osoittavat, että useissa virtausyhtälöissä voi tapahtua äärellisen ajan räjähdyksiä: pisteitä, joissa fyysiset suureet kasvavat äärettömään, tasaisen ulkoisen pakotteen alaisena. Fields-mitalisti Terence Tao kuvaili…

Olet ajan tasalla

Olet nähnyt kaikki tärkeimmät uutiset viimeisen 2 päivän ajalta.