OpenAI apgalvo, ka tās MI modeļi atrisinājuši ilgi neatrisinātas problēmas matemātikā, datorzinātnē un fizikā

OpenAI pirmdien, 26. oktobrī, paziņoja, ka tās MI modeļi panākuši trīs jaunus rezultātus matemātikā, datorzinātnē un fizikā: harmoniskajā analīzē, sarežģītības teorijā un kvantu lauka teorijā. Uzņēmums šos darbus sauc par neapstrādātiem pētījumu datiem, un to nozīmi un pareizību tagad vērtēs ārēji zinātnieki.

Matemātikā modeļi esot pierādījuši lokālās izlīdzināšanās hipotēzi, ko 1991. gadā izvirzīja matemātiķis Kristofers Soge. Tā apraksta, kā uzvedas viļņi, kad tie fokusējas, un paredz, ka visspēcīgākā fokusēšanās ir īslaicīga. Pēc OpenAI teiktā, jaunais pierādījums attiecas uz visām telpas dimensijām, un no tā izriet arī Kakejas hipotēze un Šteina ierobežojuma hipotēze. Līdz šim Kakejas hipotēze bija pierādīta trīs dimensijās. Pierādījuma pamatā ir jauns palīgvienādojums parciālajos atvasinājumos.

Datorzinātnē OpenAI sistēma esot atspēkojusi eksponenciālā laika hipotēzi. Tas ir plaši pieņemts pieņēmums par to, cik ātri iespējams risināt loģisko formulu izpildāmības uzdevumus, kas cieši saistīti ar slaveno P un NP problēmu. Uz šo hipotēzi balstīti simtiem pētījumu. Rezultātu pārbaudīs grupa, ko vada Kalifornijas Universitātes Sandjego profesori Rasels Impaljaco un Ramamohans Paturi, kuri bija starp hipotēzes autoriem, kā arī Masačūsetsas Tehnoloģiju institūta profesors Raiens Viljamss.

Fizikā modeļi esot sagatavojuši matemātiski stingru pierādījumu tam, ka pastāv noteiktas četrdimensiju kvantu lauka teorijas, tostarp kvantu hromodinamika, kas apraksta kvarku un gluonu mijiedarbību. Šo darbu izvērtēs fiziķa Deivida Grosa vadīta zinātnieku grupa. Tā nolēmusi MI radītos materiālus pagaidām nepublicēt un vispirms sagatavot pati savu skaidrojumu.

Šoreiz OpenAI izmēģina jaunu pieeju: ārējie eksperti darbojas kā uzraugi, kas organizē rezultātu izpēti, un katra grupa izvēlējusies citu publicēšanas veidu. Matemātikas un datorzinātnes pierādījumi kopā ar to formalizāciju pierādījumu pārbaudes rīkā Lean ir publiskoti uzņēmuma GitHub repozitorijā. OpenAI pati atzīst, ka pieejai ir trūkumi, jo pirmo ekspertu izvēle nosaka, kas iesaistās vispirms, un rada informācijas nevienlīdzību.

Paziņojums nāk mazāk nekā mēnesi pēc tam, kad OpenAI 6. oktobrī publiskoja lielu skaitu manuskriptu ar risinājumiem ilgstošām matemātikas problēmām. Datorzinātnes grupa aicinājusi plašāku zinātnieku kopienu iesaistīties atklātā rezultāta pārbaudē un apspriest, kā vērtēt MI radītus atklājumus un kā sadalīt nopelnus. Neatkarīga visu trīs rezultātu pārbaude vēl tikai priekšā.