OpenAI vienā reizē publisko vairāk nekā 370 AI iegūtus matemātikas rezultātus, matemātiķi aicina uz piesardzību

ASV mākslīgā intelekta uzņēmums OpenAI otrdienas vakarā pēc ASV austrumu krasta laika GitHub repozitorijā publiskoja vairāk nekā 370 matemātikas rezultātus, kurus ieguvis tā iekšējais, sabiedrībai nepieejamais AI modelis. Uzņēmums apgalvo, ka katrs no tiem atrisina vai ievērojami pavirza kādu nozīmīgu atklātu jautājumu matemātikā vai teorētiskajā datorzinātnē.

Rezultāti aptver algebru, skaitļu teoriju, teorētisko datorzinātni, matemātisko loģiku un topoloģiju. Dažādi izdevumi min nedaudz atšķirīgus skaitļus: Scientific American raksta par 372 rezultātiem, Gizmodo un The New York Times par 377, bet New Scientist norāda, ka kopumā publiskoti 722 manuskripti. Pēc uzņēmuma datiem, vienam rezultātam vidēji bija vajadzīgas aptuveni trīs stundas skaitļošanas laika.

Publikācija seko OpenAI septembrī paziņotajam, ka tā paša modeļa palīdzībā atrisināta ar Navjē–Stoksa vienādojumiem saistīta problēma. Tā ir viena no Kleja matemātikas institūta septiņām Tūkstošgades problēmām, par kuru katras atrisināšanu izsludināta miljona dolāru balva. Daļa jauno rezultātu jau pārbaudīta ar Lean, programmēšanas valodu, kas mehāniski pārbauda pierādījuma loģiku, tomēr ne visiem rezultātiem šāda pārbaude ir veikta.

Matemātiķu vērtējums ir dalīts. Toronto Universitātes matemātiķis Daniels Lits uzskata, ka nav iemesla rezultātus turēt slepenībā un ka tas nāks par labu matemātikai. Savukārt Masačūsetsas Tehnoloģiju institūta pētnieks Endrjū Saterlends aicina apgalvojumus uzskatīt par nepārbaudītiem, kamēr modelis nav publiskots un rezultātus nevar atkārtot. Pazīstamais matemātiķis Terenss Tao jau iepriekš kritizēja AI laboratoriju straujo tempu, kādā tās nodod sabiedrībai šādus rezultātus.

Kritiķi norāda arī uz neatkarīgas matemātikas un mākslīgā intelekta konsultatīvās grupas ieteikumiem. Tā aicināja publiskot modeļa nosaukumu, precīzās uzvednes un skaitļošanas izmaksas katram rezultātam, kā arī mudināja laboratorijas nepārbaudīt sarežģītas matemātikas problēmas ar slēgtiem modeļiem. OpenAI atklājis tikai vidējo skaitļošanas laiku un dažus statistikas datus, bet ne uzvednes.

OpenAI pārstāve Lindsija Makkaluma Remī izdevumiem norādīja, ka konsultatīvās grupas ieteikumi ietekmējuši to, kā rezultāti tiek publiskoti, un ka uzņēmums turpinās ņemt vērā kopienas atsauksmes. Uzņēmums sola atbildīgi publiskot modeli, kas radījis šos rezultātus, bet konkrētu termiņu nav nosaucis. Matemātiķi lēš, ka publicētā materiāla izvērtēšana prasīs vairākus mēnešus.