OpenAI paziņo par trim zinātniskiem atklājumiem un jaunu sadarbību ar akadēmiķiem

ASV mākslīgā intelekta uzņēmums OpenAI ir paziņojis par trim, kā tas tos dēvē, būtiskiem atklājumiem matemātikā, datorzinātnē un fizikā un publicējis daļu materiālu platformā GitHub. Atšķirībā no iepriekšējā izlaiduma, kas notika mazāk nekā mēnesi atpakaļ, šoreiz rezultātu pārbaudē iesaistīti ārēji eksperti, kurus uzņēmums dēvē par “gans”. Tas ir svarīgi, jo mākslīgā intelekta radītu pierādījumu pārbaudei un atzīšanai zinātnieku aprindās vēl nav noteiktu normu.

Trīs rezultāti

Matemātikā OpenAI apgalvo, ka tā modelis pierādījis lokālās izlīdzināšanas hipotēzi viļņu vienādojumam jebkurā dimensijā, no kā izriet arī Kakejas hipotēze un Šteina ierobežojuma hipotēze visās dimensijās. Šajā gadījumā uzņēmums publicējis modeļa izvadi tiešā veidā, lai pētnieki paši veidotu skaidrojumus. Pirms dažiem mēnešiem Ņujorkas Universitātes profesore Hong Wang saņēma Fīldsa medaļu par Kakejas hipotēzes atrisināšanu trīs dimensijās.

Datorzinātnē darbā aprakstīts deterministisks algoritms, kas precīzi saskaita noteikta platuma CNF formulu apmierinošos piešķīrumus apakšeksponenciālā laikā. Ar 3-SAT gadījumu tas esot atspēko eksponenciālā laika hipotēzi (ETH), ko plaši uzskatīja par patiesu. Pārbaudi vadīs Kalifornijas Universitātes Sandjego pārstāvji Russell Impagliazzo un Ramamohan Paturi, kuri 1999. gadā piedalījās hipotēzes formulēšanā, kā arī MIT profesors Ryan Williams. Grupas lūgumā pierādījums un Lean formalizētā versija publicēta nekavējoties.

Fizikā OpenAI min matemātiski stingru esamības pierādījumu dažām mijiedarbīgām kvantu lauku teorijām ar mērauklu laukiem un fermioniem četrās dimensijās, tostarp kvantu hromodinamikai. Materiāli pilnībā nav publicēti; darbu pārraudzīs David Gross vadīta grupa.

Kritika par pieeju

OpenAI atzīst, ka šai pieejai var būt trūkumi. Tā izveidotā matemātikas padomnieku komisija AGMAI dienu iepriekš ieteica nepieņemt prakses, kad izvadi vispirms saņem izraudzīti cilvēki, norādot uz nevienlīdzīgu piekļuvi, aizgūtu reputāciju un neobjektīvu atlasi. Tā ieteica rezultātus publicēt zinātniskajās krātuvēs kopā ar Lean pierādījumiem. OpenAI arī publicējis atklātu vēstuli ar jautājumiem par agrīnu piekļuvi, nopelnu atzīšanu un jauno pētnieku atbalstu.