Zinātnieku aprindās valda apjukums - “apbrīnojams”, “pārsteidzošs”, “nepieredzēts”, “sirreāls” un pat “tīrs neprāts” ir tikai daži no apzīmējumiem, ko matemātiķi izmanto, lai aprakstītu jaunāko OpenAI izlaidumu. Uzņēmums pēkšņi publicējis gandrīz 400 mākslīgā intelekta ģenerētus matemātiskus risinājumus, aptverot vairāk nekā 700 manuskriptus un plašu disciplīnu klāstu. Šī milzīgā informācijas plūsma rada gan apbrīnu par AI spējām, gan dziļas bažas par tās ietekmi uz matemātikas nākotni un cilvēku pētnieku lomu.
Milzīgie apjomi un kvalitātes izaicinājumi
OpenAI izplatītie rezultāti aptver dažādas matemātikas nozares, tostarp kombinatoriku, ģeometriju, skaitļu teoriju, teorētisko datorzinātni, algebru, topoloģiju, varbūtību un matemātisko fiziku. Apjoms ir tik liels, ka uzņēmums pat publicējis norādījumus, kā orientēties plašajā GitHub repozitorijā. Matēmatiķi atzīst, ka tikai aptuveni 40 lappušu satura rādītāja un kopsavilkumu caurskatīšana vien prasīja aptuveni stundu, un pilnīga izpratne par visu publicēto varētu aizņemt gadiem.
Vēl vairāk situāciju sarežģī fakts, ka rezultātu verifikācijas pakāpe krasi atšķiras. Lai gan daļa manuskriptu ir formalizēti, izmantojot programmēšanas valodu un pierādījumu asistentu Lean, kas ļauj rezultātus pārbaudīt skaitļošanas ceļā, tikai aptuveni 42% (300 no 719) galveno rezultātu ir formalizēti. Daudzi zinātnieki norāda uz nekonsekvenci pat formalizēto pierādījumu kvalitātē, uzsverot, ka izvērtēšana nav momentāna un nepieciešama rūpīga cilvēka pārbaude.
“Ja AI tagad pazustu, it kā ierastos citplanētieši un tad vienkārši aizietu, mēs to pētītu nākamos 10 gadus, mēģinot visu saprast.”
Reāli sasniegumi un eksistenciālas bažas
Neskatoties uz kvalitātes svārstībām un „AI atkritumiem” (zemas kvalitātes, kļūdaini AI ģenerēti materiāli), kas arvien biežāk parādās tiešsaistē un akadēmiskajos darbos, pētnieki atzīst, ka šajā izlaidumā ir arī patiesi iespaidīgi darbi. Starp tiem minēts progress Rīmaņa hipotēzes, Hodža minējuma īpaša gadījuma un četru dimensiju Kakejas minējuma risināšanā. Šīs ir nozīmīgas matemātikas problēmas, dažas no tām nav atrisinātas gadu desmitiem un tiek uzskatītas par Fields medaļas - augstākā apbalvojuma matemātikā - cienīgām.
Daudziem matemātiķiem šī izlaiduma sekas ir katastrofālas. Tiek ziņots, ka gadu ilgi pētījumu plāni un pat veselas pētījumu programmas ir pēkšņi kļuvušas bezjēdzīgas. Īpaši smagi tas skar doktorantus un jaunos pētniekus, kuru karjeras bieži balstās uz neatrisinātām problēmām, kuras tagad, iespējams, jau ir atrisinājis AI. Zinātnieku aprindās valda izteikta dezorientācija un pat eksistenciāla nomāktība par savu lomu nākotnē.
OpenAI atbildība un nākotnes redzējums
OpenAI apzinājās sava izlaiduma graujošo potenciālu un sadarbojās ar jaunuzveidoto Matemātikas un mākslīgā intelekta padomdevēju grupu (AGMAI), lai nodrošinātu atbildīgu pieeju. Uzņēmums finansēs virkni darbnīcu un konferenču, lai palīdzētu kopienai apstrādāt un izprast rezultātus, kā arī sniedza vairāk informācijas nekā iepriekšējās reizēs, tostarp to, ka tā modelis mēģināja atrisināt vairāk nekā 4000 problēmas un tipisks rezultāts izmantoja apmēram trīs stundas ChatGPT Pro skaitļošanas jaudas. Tika ieviesti arī protokoli darbu pārskatīšanai un citēšanai, un trīs darbi tika pat atsaukto “zīmju kļūdas” dēļ.
Tomēr OpenAI nerealizēja visas AGMAI rekomendācijas. Netika atklāts modelis, kas radīja rezultātus, nedz arī izmantotās uzvednes vai pilns mēģināto problēmu kopums. Pētnieki izsaka vilšanos par to, ka OpenAI nav veltījis pietiekami daudz pūļu darbu formalizēšanai un kvalitātes uzlabošanai pirms publicēšanas. Vēl svarīgāk, OpenAI ir skaidri norādījis, ka plāno turpināt savu modeļu testēšanu matemātikas problēmās, uzskatot to par būtisku soli zinātnes attīstībā.
AGMAI uzskata, ka matemātikas pētniecības nākotne nevar balstīties tikai uz AI laboratoriju radīto rezultātu izpratni. Lai gan AI var rast atbildes, cilvēkiem paliek milzīgs darbs: aizpildīt rokas, izvilkt noderīgas idejas, veidot saiknes un ievietot risinājumus plašākā matemātiskā kontekstā. Kā norāda eksperti, matemātikas pētniecība ir “būtiski bezgalīga” un, iespējams, radīs jaunus idejas un pat jaunas matemātikas jomas. Taču pašlaik akadēmiskā pasaule saskaras ar milzīgu izaicinājumu, cenšoties pielāgoties šai straujai un nepielūdzamai AI attīstībai. Kāda, jūsuprāt, būs cilvēka matemātiķa loma šajā jaunajā pasaulē?
Iezīmē tekstu un spied ziņot par kļūdu.
