OpenAI publicē milzīgu AI ģenerētu matemātisko pētījumu apjomu, radot apbrīnu un bažas matemātiķu vidū

Attēls: The Verge · Avots

OpenAI ir publicējis gandrīz 400 AI ģenerētu matemātisko rezultātu dažādās disciplīnās, radot matemātiķos satraukumu un bažas, jo šo plašo darbu izpratne un pārbaude var prasīt gadus.

Pārsteidzošā un nevienādamajā solī OpenAI šonedēļ publiskoja milzīgu AI ģenerētu matemātisko rakstu krājumu — gandrīz 400 rezultātu vairāk nekā 700 manuskriptos. Darbi aptver plašu matemātikas jomu klāstu, tostarp kombinatoriku, ģeometriju, skaitļu teoriju, algebru, topoloģiju, varbūtību, statistisko mehāniku, matemātisko fiziku un teorētisko datorzinātni. Šī pēkšņā un lielapjoma publicēšana ir izraisījusi reakcijas no sajūsmas un apbrīnas līdz dziļai bažām un dezorientācijai matemātikas pētniecības kopienā.

Daudzi matemātiķi intervijā The Verge norādīja, ka apjoms un ietilpība ir satriecoša, raksturojot to kā “tīru neprātu” un uzsverot, ka satura pilnīga izpratne un pārbaude var prasīt gadus. Kolekcija ietver formalizētus pierādījumus, kas uzrakstīti Lean — pierādījumu palīga programmā, kas var skaitliski pārbaudīt pareizību. Tomēr OpenAI atzīst, ka tikai apmēram 42% manuskriptu ir formalizēti, un pārbaudes kvalitāte un stingrība ļoti svārstās pa darbu kopumu.

Neskatoties uz to, pastāv plašs vienprātības loks, ka publicētie rezultāti ir patiesi iespaidīgi, un daži risina ilgi pastāvošas atvērtas problēmas, kas tiek augsti vērtētas matemātikas kopienā. Stenfordas matemātiķis Džareds Dukers Lihtmans atzīmēja vairākus nozīmīgus sasniegumus, tostarp progresu slavenajā Rīmaņa hipotēzē, Hodge konjektūras gadījumos un risinājumu četrdimensionālajai Kakeya konjektūrai. Tie ir lielie izaicinājumi, kurus desmitgadēm ilgi nav izdevies atrisināt un kas ir starp prestižākajiem matemātikā.

Tomēr daudzi pētnieki pauda vilšanos par rakstu kvalitātes nekonsekvenci, īso un reizēm miglaino formātu un plaisām pareizā atzīmēšanā un izklāstā. Daži baidās, ka AI radīto darbu ieplūdums bez rūpīgas cilvēciskas pārbaudes var destabilizēt akadēmisko kultūru un traucēt tradicionālās pētniecības ceļus. Tāpat ir satraukums par ietekmi uz jaunajiem matemātiķiem, kuru pētniecības plāni un karjeras ir atkarīgas no neatrisinātām problēmām, kuras AI tagad, šķiet, spēj ātri atrisināt.

OpenAI ir mēģinājis rīkoties atbildīgi pret matemātikas kopienu, sadarbojoties ar Matemātikas un mākslīgā intelekta padomdevēju grupu (AGMAI) un solot darbnīcas un pastāvīgas atjaunināšanas. Tā ir arī ieviesusi protokolus rakstu labojumiem un atsaucēm, pēc publicēšanas dzēšot dažus rakstus, kad atklātas kļūdas. Tomēr tā nav atklājusi konkrētus AI modeļus vai komandas, kas izmantotas rezultātu ģenerēšanai, un daudzas formalizācijas vēl nav publicētas.

Matemātikas kopiena saskaras ar strauji mainīgu ainavu, jo AI paātrina problēmu risināšanas spējas pārsniedzot tradicionālās cilvēku iespējas. Daudzi matemātiķi prognozē, ka būs nepieciešami gadi, lai pārbaudītu, kontekstualizētu un turpinātu attīstīt AI radītos atklājumus. Šo publicēšanu uzskata par vēsturisku pagrieziena punktu matemātikā, kuru daži salīdzina ar Eiklīda "Elementu" nozīmi, taču tā arī ievieš dziļu nenoteiktību par cilvēku pētnieku nākotnes lomām. Pilnīgas sekas pētniecības kultūrai, karjeras attīstībai un matemātiskajai atklāšanai vēl tikai attīstās, kamēr kopiena tiek galā ar šo pārveidojošo notikumu.