Terence Tao

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…