Insinöörien mukaan OpenAI:n Navier-Stokes-todistus ei mullista virtausmekaniikkaa lähiaikoina

OpenAI ilmoitti 8. syyskuuta, että julkaisematon sisäinen tekoälyjärjestelmä on tuottanut todistuksen siitä, että kolmiulotteiset Navier-Stokes-yhtälöt voivat kehittää singulariteetin äärellisessä ajassa. Tämä saattaa ratkaista yhden kuudesta jäljellä olevasta Millennium-palkinto-ongelmasta, jotka Clay Mathematics Institute asetti vuonna 2000. Yhtiö julkaisi 166-sivuisen paperin ja muodollisen verifioinnin Lean-todistusavustajassa, vaikka tulos odottaa vielä riippumatonta asiantuntija-arviointia.OpenAI+3

Mitä todistus väittää

Navier-Stokes-yhtälöitä, jotka kuvaavat nesteiden, kuten ilman ja veden, liikettä, on käytetty lähes kahden vuosisadan ajan sovelluksissa lentokonesuunnittelusta sääennusteisiin. Pitkään jatkunut matemaattinen kysymys on ollut se, voivatko näiden yhtälöiden tasaiset ratkaisut romahtaa ja tuottaa fysikaalisesti mahdottomia äärettömiä nopeuksia.scientificamerican+1

OpenAI kertoo järjestelmänsä rakentaneen skenaarion, jossa levossa oleva neste, johon kohdistuu tasainen ulkoinen voima, muodostaa pyörteen, joka kiertyy sisäänpäin ja kehittää äärettömän nopeuden äärellisessä ajassa säilyttäen samalla äärellisen energian. "Todistuksemme osoittaa, että on olemassa nesteitä, jotka alkavat täysin normaaleina ja saavuttavat Navier-Stokes-yhtälöiden mukaisesti äärettömän nopeuden äärellisessä ajassa", OpenAI:n tietojenkäsittelytieteilijä Ven Chandrasekaran sanoi tiedotustilaisuudessa, kuten Nature raportoi. Yhtiö ilmoitti, ettei se aio vaatia miljoonan dollarin palkintoa.nature+3

Laskennallinen ponnistus sisälsi noin 10 000 samanaikaista tekoälyagenttia, jotka ajoivat mallilla, jota kuvailtiin kyvykkäämmäksi kuin GPT-6 Astra. Agentit saavuttivat tuloksen noin 88 tunnin työn jälkeen 1. syyskuuta alkaen, ja Lean-formalisoimiseen kului lisäksi 17 tuntia.thebrighterside+1

Prioriteettikiista

Ilmoitus herätti kiistan matemaattisesta prioriteetista. NYU:n matemaatikko Tristan Buckmaster ja Anthropicin tutkija Levent Alpöge olivat edistyneet läheisesti liittyvissä räjähdysongelmissa käyttämällä tekoälytyökaluja, mukaan lukien OpenAI:n Codexia. Julkisessa lausunnossaan Buckmaster kirjoitti: "En ole nähnyt OpenAI:n todistusta. En tiedä, mitä heidän mallinsa teki tai miten. En tiedä, käytettiinkö dataamme. En syytä ketään mistään". The New York Times raportoi, että OpenAI:n mukaan oli "kategorisesti" mahdotonta, että sen järjestelmään olisi vaikuttanut Buckmasterin tuore työ.nytimes+2

Käytännön vaikutukset jäävät kauas tulevaisuuteen

Insinöörien mukaan tulos, jos se vahvistetaan, muuttaa vähän lähitulevaisuudessa. "Lyhyesti sanottuna, ei paljoakaan", sanoi insinööritoimisto ReynKon toimitusjohtaja Justin Beroz vaikutuksesta käytännön virtausmekaniikkaan. NYU:n apulaisprofessori Florian Schaefer totesi, että yhtälöiden ymmärretään jo olevan approksimaatio ja rakennettu singulariteettiskenaario on liian keinotekoinen vaikuttamaan tosielämän sovelluksiin.scientificamerican

Fieldsin mitalisti Terence Tao herätti laajempia huolia tekoälyvetoisen matemaattisen löytämisen tahdista. "Se on vähän kuin menisi katsomaan elokuvaa ja hyppäisi suoraan ensimmäisistä kymmenestä minuutista viimeisiin kymmeneen minuuttiin", Tao kertoi The Brighter Side of Newsille. "Teknisesti kaikki juonenkäänteet ratkeavat, mutta suurin osa kokemuksen arvosta katoaa". Clay Mathematics Institute listaa edelleen Navier-Stokesin ratkaisemattomien ongelmiensa joukkoon, ja todistuksen muodollinen hyväksyminen on edelleen avoin kysymys.popularai+1