Tehisintellekt lahendas USA-s ühe seitsmest suurest millenniumi-matemaatikaprobleemist

OpenAI arendatud tehisintellekt suutis pärast 88-tunnist arvutusprotsessi pakkuda lahenduse Navier-Stokes'i võrranditele, mis on matemaatikutele väljakutseks olnud ligi kaks sajandit. Saavutus on tekitanud diskussiooni tehisaru rolli üle fundamentaaluuringutes ja võimaliku mõju üle krüptograafiale.

USA tehisintellektifirma OpenAI on teatanud, et nende süsteem suutis lahendada ühe seitsmest matemaatika millenniumi-probleemist. Valdkonna ekspertidele tuntud Navier-Stokes'i võrrandid, mis kirjeldavad vedelike ja gaaside liikumist, on olnud teadlastele kättesaamatud alates 19. sajandist.

Arvutuslik rasketööstus

Ülesande lahendamiseks mobiliseeris OpenAI ligi 10 000 tehisintellekti agenti, kes töötasid ühiselt 88 tundi. Selline arvutuslik maht võimaldas luua umbes 100 lehekülje pikkuse tõestuskäigu, mis kodeeriti 17 tunniga matemaatikutele arusaadavasse Lean-keelde ja läbis seejärel formaalse masinkontrolli. Sõltumatute hinnangute kohaselt võis kogu projekti maksumus ulatuda 10 kuni 40 miljoni dollarini.

Algatus sai alguse tihedast konkurentsist. OpenAI reageeris kiiresti teadetele, et nende peamine rivaal Anthropic on lähedal sama probleemi lahendamisele. See sundis ettevõtet suunama oma ressursid Navier-Stokes'i võrrandite lahendamisele, tuginedes varasematele matemaatilistele ideedele, mida teadlased on aastakümneid uurinud.

Turvalisuse küsimärgid

Navier-Stokes'i võrrandid on inseneridele igapäevaselt asendamatud tööriistad, mida kasutatakse lennukite, elektrijaamade ja torustike projekteerimisel. Kuni tänaseni puudus aga lõplik matemaatiline garantii selle kohta, kas võrrandite lahendid võivad teatud tingimustes muutuda kontrollimatuks singulaarsuseks. OpenAI pakutud tõestus väidab nüüd, et vedeliku keeris võib teatud tingimustes tiheneda ja pikeneda ilma täiendava kineetilise energiata.

Kuigi teaduslik edusamm on märkimisväärne, on see tekitanud küsimusi matemaatikute ja küberturvalisuse ekspertide seas. Probleemide lahendamine, mis on püsinud lahendamatuna aastakümneid, võib viidata tehisintellekti võimekusele ohustada tänapäeva krüptograafiat ja pangandussüsteeme. Praegu seisab ees mahukas protsess, kus inimesed peavad tehisintellekti loodud keeruka tõestuse põhjalikult üle kontrollima.