Verkfræðingar segja sönnun OpenAI á Navier-Stokes ekki munu breyta straumfræði í bráð

Þann 8. september tilkynnti OpenAI að óútgefið innra gervigreindarkerfi hefði framleitt sönnun fyrir því að þrívíðar Navier-Stokes jöfnur geti þróað með sér sérstæðu á endanlegum tíma, sem gæti hugsanlega leyst eina af sex eftirstandandi Millennium-þrautum sem Clay Mathematics Institute setti fram árið 2000. Fyrirtækið gaf út 166 blaðsíðna ritgerð og formlega staðfestingu í Lean sönnunaraðstoðarmanninum, þótt niðurstaðan bíði enn óháðrar sérfræðiúttektar.OpenAI+3

Hvað sönnunin heldur fram

Navier-Stokes jöfnurnar, sem lýsa hreyfingu vökva eins og lofts og vatns, hafa verið notaðar í nærri tvær aldir í forritum allt frá flugvélahönnun til veðurspáa. Lengi hefur verið spurt hvort sléttar lausnir á þessum jöfnum geti brotnað niður og framkallað eðlisfræðilega ómögulegan óendanlegan hraða.scientificamerican+1

OpenAI segir að kerfið hafi smíðað sviðsmynd þar sem vökvi sem byrjar í kyrrstöðu, og verður fyrir sléttum ytri krafti, myndar iðu sem snýst inn á við og þróar með sér óbundinn hraða á endanlegum tíma, á meðan hann heldur endanlegri orku. "Sönnun okkar sýnir að það eru til vökvar sem byrja fullkomlega eðlilega og ná, samkvæmt Navier-Stokes jöfnunum, raunverulega óendanlegum hraða á endanlegum tíma," sagði Ven Chandrasekaran, tölvunarfræðingur hjá OpenAI, á blaðamannafundi, eins og greint var frá í Nature. Fyrirtækið sagðist ekki ætla að krefjast 1 milljón dollara verðlaunanna.nature+3

Reikniátakið fól í sér um 10.000 samtímis gervigreindarumboðsmenn sem keyrðu á líkani sem lýst var sem öflugra en GPT-6 Astra. Umboðsmennirnir náðu niðurstöðunni eftir um það bil 88 klukkustunda vinnu sem hófst 1. september, með 17 klukkustundum til viðbótar fyrir Lean formfestingu.thebrighterside+1

Forgangsdeila

Tilkynningin vakti deilur um stærðfræðilegan forgang. Tristan Buckmaster, stærðfræðingur við NYU, og Levent Alpöge, rannsakandi hjá Anthropic, höfðu verið að ná árangri í nátengdum sprengivandamálum með því að nota gervigreindarverkfæri, þar á meðal Codex frá OpenAI. Í opinberri yfirlýsingu skrifaði Buckmaster: "Ég hef ekki séð sönnun OpenAI. Ég veit ekki hvað líkan þeirra gerði eða hvernig. Ég veit ekki hvort gögnin okkar voru notuð. Ég er ekki að saka neinn um neitt". The New York Times greindi frá því að OpenAI sagði að það væri "kategorískt" ómögulegt að kerfi þess hefði orðið fyrir áhrifum af nýlegri vinnu Buckmasters.nytimes+2

Raunveruleg áhrif eru enn fjarlæg

Verkfræðingar segja að niðurstaðan, ef hún verður staðfest, breyti litlu til skamms tíma. "Í stuttu máli, ekki mikið," sagði Justin Beroz, forstjóri verkfræðistofunnar ReynKo, um áhrifin á hagnýta straumfræðivinnu. Florian Schaefer, lektor við NYU, benti á að jöfnurnar séu nú þegar skildar sem nálgun og að smíðaða sérstæðusviðsmyndin sé of tilbúin til að hafa áhrif á raunveruleg forrit.scientificamerican

Terence Tao, Fields-verðlaunahafi, vakti upp víðtækari áhyggjur af hraða gervigreindardrifinnar stærðfræðilegrar uppgötvunar. "Þetta er svolítið eins og að fara í bíó og hoppa beint úr fyrstu tíu mínútunum yfir í þær síðustu tíu," sagði Tao við The Brighter Side of News. "Tæknilega séð er öllum söguþráðum lokið, en mestur hluti verðmætis upplifunarinnar glataðist". Clay Mathematics Institute heldur áfram að skrá Navier-Stokes meðal óleystra vandamála sinna og formleg viðurkenning á sönnuninni er enn opin spurning.popularai+1