OpenAI lautas Navier-Stokesi probleem: AI-agentide uus era

Tehisintellekti areng on jõudnud punkti, kus see ei ole enam vaid tekstide genereerija või koodi abiutool, vaid potentsiaalne avastaja tippteaduses. OpenAI on avaldanud väite, mis võib muuta meie suhtumise matemaatikasse ja füüsikaaliste nähtuste modelleerimisse. Tegemist on Navier-Stokesi eksistentsi ja glükse probleemi lahendusega, mis on aastakümneid olnud üheks maailma suurimateks matemaatilisteks väljakutseteks.

Kuidas 10 000 agentit koostöös töötas

Selle saavutuse taga ei ole ükski üksik suur mudel, vaid massiivne koordineritud agentide võrk. OpenAI teatel kasutasid nad ligi 10 000 AI-agentit, kes töötasid koos, et leida tee läbi keerukate matemaatiliste tõendamiste. See protsess võttas aega ligikaudu 88 tundi, mis on teadusliku breakthrough'i jaoks märkimisväärselt lühike aeg.

Süsteemi aluseks oli mudel, mida OpenAI kirjeldab kui märgatavalt võimsamat kui GPT-6 Astra. Oluline on märkida, et see mudel ei ole veel avalikuks tehtud ja selle treening on endiselt käigul. See näitab, et OpenAI liigub suunas, kus arvutusjõud ja agentide vaheline koostöö võimaldavad lahendada probleeme, mis olid varem reserveeritud vaid inimestikku kõige geniaalsematele matemaatikatele.

Navier-Stokesi probleem ja selle tähendus

Navier-Stokesi võrrandite abil kirjeldatakse vedelikute ja gaaside liikumist, mis on kriitiline kõikidele valdkondadele alates aerodünaamikast kuni kliimamudelisekuseni. Millennium-probleemina tuntud küsimus keskendub sellele, kas kolmdimensionaalsed voolud jäävad alati glükseks või tekivad neis singulaarsused, kus kiirus muutub piiramatu.

OpenAI esitatud tõendamine lähestub probleemi läbi kokkukugemise tee. Sõnul on võimalik luua olukord, kus kolmdimensionaalne kokkisumatu vedelik algab nullkiirusest ja arendab piiramatu kiiruse piiratud aja jooksul, isegi kui kineetiline energia jääb piiratud ja välised jõud on glüksed. See tähendab, et vool moodustab kitseneva keerutuse, kus radiaalne dimensioon kahaneb kiiremini kui pikkus, surudes vedeliku sisse ja tõstes kiirust keskpunktis.

Kodu ja kontroll: 165 leheküljelise dokumendi roll

Teaduskogukonna jaoks on kõige olulisem mitte väide, vaid tõend. Selleks on OpenAI avaldanud 165 leheküljelise analüütilise tõendamise. Lisaks on välja antud Lean 4 formaliseerimine, mis on programmeerimiskeel, mida kasutatakse matemaatiliste tõendamiste kontrollimiseks. See võimaldab väliseid teadlasi tõendalaadseid faile alla laadida, need üles ehitada ja detailsesti kontrollida.

See on samm AI-assisteeritud matemaatikast AI-poolse tippteaduse genereerimisele, kus arvutusmaksumus on hüpilise kasvu eest makstav hind.

Huvitav on see, et kuigi Clay Mathematics Institute märgib problemi endiselt lahendamata, ei ole OpenAI välja avaldanud taavat nõuda sellega se tratando miljoni dollari auhella. See viitab sellele, et ettevõtte eesmärk ei ole rahaline kasu, vaid tehnoloogilise võimekuse demonstreerimine.

Arvutusjõud ja teaduse uus paradigm

Selle tulemuse saavutamine 88 tunniga 10 000 agenti abil avab arutelud arvutusmaksumuse ja efektiivsuse kohta. Me ei räägi enam lihtsalt ühe prompti saatmisest, vaid komplekssest infrastruktuurist, kus AI-agentid jagavad ülesandeid, kontrollivad üksteise tööd ja korrigeerivad vigu reaalajas.

See lähenemine muudab teadustöö olemust. Kui varem võis üks matemaatik kulutada aastakümneid ühe tõendamisele, siis nüüd võib massiivne agentide võrk läbi käida tuhandeid võimalikke teid lühemal ajal. See ei asenda inimlikku intuitsiooni, kuid kiirendab verifitseerimise ja leidmise protsessi eksponentsiaalselt. Täpsemat analüüsi selle meetodite kohta leiab Shattered platvormilt, mis jälgib AI ja krüptograafia ristikusi.

Kuidas see mõjutab inseneriteadust ja äri

Kuigi Navier-Stokesi lahendus võib tunduda puhtalt teoreetiline, on selle praktilised rakendused tohutud. Täpsemad voolude modelid tähendavad efektiivsemaid turbiine, kütusesäästlikumaid lennukeid ja täpsemaid ilmaprognose. Ettevõtetele, kes tegelevad simuleerimise ja disainiga, tähendab see uut ajastut, kus AI ei ole vaid abi, vaid arhitekt.

Kriitiline on mõista, et see on tõend AI võimekuse kohta tegeleda struktureeritud loogikaga. Kui AI suudab lahendada Millennium-probleemi, on järgmised sammud tõenäoliselt suunatud materjaliteaduse, ravimite arendamise ja kvantfüüsika probleemeid lahendama, kus reeglid on ranged ja viga on lubamatu.

Mida see tähendab Eesti ja Balti riikidele

Eesti ja Balti riigid on tuntud oma digitaalse avoimuse ja e-riigi infrastruktuuri poolest. OpenAI saavutus on signaal meie kohalike ettevõtjate ja tehnoloogiaarendajate jaoks, et AI-agentide ökosüsteem on järgmine suur laine. Meie jaoks ei ole tegemist vaid mudelite kasutamisega, vaid agentide võrkude loomisega, mis suudavad autonoomselt lahendada äri- ja tehnilisi probleeme.

Seoses Euroopa Liidu AI Actiga on Balti ettevõtetel võimalus positsioneerida end kui vastutustundlike ja läbipaistva AI-kasutuse keskmeid. Kuna OpenAI avaldas Lean 4 failid kontrollimiseks, on see näide sellest, kuidas tehisintellekti tulemused peavad olema verifitseeritavad. Eesti e-ökosüsteem, mis põhineb usaldusest ja andmete terviklikkusest, on ideaalne koht selliste verifitseeritavate AI-lahenduste rakendamiseks.

Balti riikide väikesele, kuid agilitynele startup-stseenile tähendab see, et konkurents ei toimu enam ainult liidese tasandil, vaid võimekuse tasandil luua spetsiifilisi agentide võrke. Ettevõtted, kes suudavad integreerida sarnaseid koostöövõrke oma töövoo või tootearendusse, saavad suurepärase eelise globaalses konkurentsutulekus, kasutades meie riigide tugevaid STEM-oskusi ja digitaalseid teenuseid.

Korduma kippuvad küsimused

Allikad: Runtimewire, Shattered ·