Navier-Stokesin yhtälöt

Clay-instituutti ottaa kantaa OpenAI:n Navier-Stokes-väitteeseen

OpenAI ilmoitti 8. syyskuuta, että sen julkaisematon sisäinen tekoälymalli oli tuottanut noin 10 000 autonomisen agentin voimin 88 tunnissa todistuksen siitä, että kolmiulotteiset Navier-Stokes-yhtälöt voivat kehittää singulariteetin äärellisessä ajassa. Tulos ratkaisisi vahvistuessaan yhden kuudesta jäljellä olevasta Millennium-ongelmasta, jotka Clay Mathematics…

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…