OpenAI publicējis gandrīz 400 matemātikas rezultātu; matemātiķi tos izprast varētu gadiem

Mākslīgā intelekta uzņēmums OpenAI šonedēļ publicēja gandrīz 400 ar MI iegūtus matemātikas rezultātus, kas izklāstīti vairāk nekā 700 manuskriptos. Tie aptver kombinatoriku, ģeometriju, skaitļu teoriju, teorētisko datorzinātni, algebru, topoloģiju, varbūtību teoriju un matemātisko fiziku. Kā vēsta ziņu vietne The Verge, kas runāja ar vairāk nekā trīsdesmit matemātiķiem, pētnieki uzskata, ka vien izpratnei par publicēto var būt vajadzīgi gadi.

Pārbaude nav pabeigta

OpenAI materiāli ievietoti GitHub krātuvē, un uzņēmums ir publicējis arī norādes, kā tajā orientēties. Daļai darbu pievienotas formalizācijas Lean valodā. Tā ir programmēšanas valoda un pierādījumu palīgs, kas ļauj rezultātus pārbaudīt ar datoru. Pēc uzņēmuma datiem, formalizēti ir 300 galvenie rezultāti no 719 manuskriptiem, aptuveni 42 procenti, un krātuve tikšot papildināta.

Vairāki pētnieki norādīja, ka arī pievienotais Lean kods nenozīmē tūlītēju pārliecību, jo jāpārbauda, vai tas patiešām pierāda to, ko apgalvo manuskripts. Imperial College London matemātikas profesors Kevins Bazards (Kevin Buzzard) sacīja, ka savā jomā — algebriskajā skaitļu teorijā — atradis tikai ap sešiem uzreiz ievērojamiem rezultātiem, un tie, šķiet, nav formāli pārbaudīti. Matemātiķi norādīja arī uz grūti izsekojamiem tekstiem, īsām literatūras sarakstu daļām un iespējamu pārklāšanos ar jau zināmu darbu. Pēc viņu teiktā, OpenAI iepriekšējie materiāli tika kritizēti par nekvalitatīvu noformējumu un trūkstošu atsauču sniegšanu citiem autoriem. Trīs manuskriptus uzņēmums jau atsaucis.

Augsts līmenis un satraukums

Tomēr vairums sarunbiedru atzina, ka daļa darba šķiet ļoti augstas klases. Viņuprāt, daudzi rezultāti pirms MI laikmeta būtu pelnījuši publikāciju vadošos žurnālos. Stenfordas universitātes matemātiķis Džareds Dukers Lihtmans (Jared Duker Lichtman) minēja desmitiem rezultātu, to starp progresu virzienā uz Rīmaņa hipotēzi, Hodža hipotēzes īpašgadījumu un četrdimensiju Kakejas problēmas risinājumu.

Daži pētnieki stāstīja, ka veseli pētniecības virzieni un projektu pieteikumi zaudējuši jēgu. Heriota-Vata universitātes pārstāvis Frančesko Furnjē-Fačo (Francesco Fournier-Facio) teica, ka sevišķi satriekti ir varbūtību teorijas, kombinatorikas un teorētiskās datorzinātnes pētnieki.