Matemātiķi vērtē AI atrisinātas 10 sarežģītas matemātikas problēmas
OpenAI paziņoja, ka tās nepublicētais modelis Astra atrisinājis 10 ilgstoši neatrisinātas matemātikas problēmas, izraisot gan sajūsmu, gan bažas matemātiķu vidū par nozares nākotni un cilvēku ieguldījuma atzīšanu.
Oksfordas universitātes profesors un Fīldsa medaļas laureāts Džeimss Meinards pēdējā gada laikā daudz domājis par matemātikas nākotni, jo šī tradicionāli lēnā nozare steidzas pielāgoties mākslīgā intelekta attīstībai. Neilgi pirms intervijas OpenAI paziņoja, ka tās iekšējais, vēl nepublicētais modelis Astra atrisinājis 10 ilgstošas matemātikas problēmas — no lodīšu blīvēšanas daudzdimensiju telpās līdz kļūdu labošanas kodiem un jautājumiem kvantu spēļu teorijā, kā arī citiem, kas saistīti ar postkvantu kiberdrošību.
Strīds par nopelniem
Viens no visvairāk uzmanību guvušajiem rezultātiem bija saistīts ar tā saukto nesoficāro grupu esamību — jautājumu, kas bijis atklāts vairākas desmitgades. Kembridžas matemātiķis Fransesko Furnjē-Fasio un Ungārijas Alfrēda Rēņi matemātikas institūta pētnieks Gābors Kuns pauda viedokli, ka OpenAI sākotnējais paziņojums nepietiekami atzina pētnieku Andreasa Toma un Kuna paša agrāko darbu, uz kura balstījās risinājums. Kuns pastāstīja, ka OpenAI ar viņu sazinājusies pirms publikācijas, taču sākotnējā formulējuma vispārīgais tonis viņam licies pārspīlēts. Pēc publikācijas un turpmākas saziņas OpenAI mainīja paziņojuma formulējumu, neierakstot par to skaidrojumu. Uzņēmuma pārstāve Loransa Fokonē apstiprināja, ka teksts ticis precizēts, lai labāk atspoguļotu iepriekšējo pētījumu nozīmi.
Sajūsma un bažas
Daudzi matemātiķi atzīst, ka OpenAI risinātās problēmas bija patiesi nozīmīgas — tādas, kuru atrisināšana parasti nodrošinātu akadēmisku karjeru. Līdzīgi arvien biežāk parādās gadījumi, kad AI modeļi atrisina sarežģītus, iepriekš neatrisinātus uzdevumus, tostarp maijā, kad OpenAI modelis atrisināja gadu desmitiem neatrisinātu Erdēša minējumu, un jūlijā, kad Entropiskā uzņēmuma modelis atspēkoja Jakobiāna hipotēzi. Tomēr pastāv arī bažas — Sentendrūsas universitātes profesore Kolva Roniju-Dūgala norāda, ka universitātēm var nebūt iespēju maksāt par dārgiem AI risinājumiem, savukārt piekļuve jaudīgākajiem modeļiem lielākoties ir uzņēmumu kontrolē. Jūnijā vairāk nekā 3400 cilvēku parakstīja tā saukto Leidenes deklarāciju, aicinot neuzticēties uzņēmumu pārspīlētiem apgalvojumiem par AI spējām matemātikā.
