OpenAI ar tūkstošiem AI aģentu atrisina desmitgadiem senu matemātikas uzdevumu — un satrauc matemātiķus

OpenAI paziņojis, ka ar tūkstošiem mākslīgā intelekta aģentu palīdzību atrisinājis desmitgadiem senu matemātikas uzdevumu — tā saukto Navjē-Stoksa eksistences un gluduma problēmu. Vienādojumus 19. gadsimtā izstrādāja, lai aprakstītu viskozu šķidrumu plūsmu, un tos inženieri joprojām izmanto, piemēram, lidmašīnu aerodinamikas modelēšanā. Tomēr matemātiķus interesēja nevis praktiskais pielietojums, bet pats intelektuālais izaicinājums — jautājums, vai vienādojumi neīstos apstākļos varētu liecināt, ka šķidrums bez fiziska iemesla var "eksplodēt". OpenAI izstrādātais 166 lappušu garais pierādījums apstiprina, ka atbilde ir jā.

Kritika par necaurredzamību

Darbs vēl tiek recenzēts, un eksperti to nav paspējuši pilnībā pārbaudīt. Ņujorkas Universitātes matemātiķis Tristans Bakmens (Tristan Buckmaster) pat izteicis aizdomas, ka OpenAI, iespējams, izmantojis viņa un citu pētnieku darbu bez pienācīgas atsauces. Vandarbiltas universitātes matemātiķis Džereds Speks norāda, ka pierādījums tapis neierastā secībā — vispirms to sniedza dators, un tikai tagad kopiena mēģina saprast, kas patiesībā notiek.

Deklarācija pret "neizpratni"

Atbildot uz šīm bažām, vairāk nekā 25 Fīldsa medaļas laureāti parakstījuši deklarāciju "Smaga MI nesaskaņotība matemātikā", brīdinot, ka masveida pierādījumu ģenerēšana var iznīcināt auglīgo augsni jaunām idejām, nevis to bagātināt. Deklarācijas parakstītāji, tostarp Kolorādo Valsts universitātes matemātiķis Juspreets Sings Sandhu, uzsver, ka matemātikas kultūra vērtē izpratni, nevis tikai ātru rezultātu. Atbildot uz kritiku, OpenAI šonedēļ izveidojis matemātiķu padomdevēju grupu, lai virzītu uzņēmuma pieeju MI izmantošanā.

Bažas par nākotni

Eksperti brīdina, ka MI ātrums var apdraudēt jauno pētnieku apmācību, jo tradicionāli sarežģītāki uzdevumi tika doti studentiem, lai attīstītu viņu prasmes. Kembridžas universitātes fiziķis Lorenco Gavasino uzsver, ka tieši cīņa ar grūtiem aprēķiniem vēsturiski radījusi nozīmīgus jaunus jēdzienus, piemēram, iedomāto skaitli.