OpenAI publicē simtiem MI ģenerētu matemātikas rezultātu; pētnieki saka — to izprast var aizņemt gadus

OpenAI 6. oktobrī GitHub repozitorijā publiskoja plašu iekšējā robežmodeļa ģenerētu matemātikas rezultātu kopu. Uzņēmums norāda, ka konsultējies ar neatkarīgo konsultāciju grupu matemātikā un mākslīgajā intelektā (AGMAI) pie Advanced Study institūta un ieviesis labojumu un citēšanas protokolus.

Pēc «The Verge» 9. oktobra ziņojuma rezultāti izkaisīti vairāk nekā 700 manuskriptos un aptver kombinatoriku, ģeometriju, skaitļu teoriju, algebru, topoloģiju, varbūtību un matemātisko fiziku. OpenAI sniegusi arī daļu pierādījumu formalizāciju Lean valodā; uzņēmums atzina, ka aptuveni 300 no 719 manuskriptiem formalizēti, un solīja papildināt repozitoriju.

Vairāk nekā trīs desmiti «The Verge» aptaujāto matemātiķu kodējuši reakciju ar vārdiem «pārsteidzoši», «pārliecinoši» un «tīrais ārprāts». Imperiālās koledžas profesors Kevins Bazards (Kevin Buzzard) brīdināja, ka daudzi viņa jomas teorēmas nav formalizēti, tāpēc nākas lasīt potenciāli kļūdainu tekstu vai gaidīt citu pārbaudi. Brown universitātes profesors Brendans Hasets (Brendan Hassett) teica, ka viņam pazīstamākā uzdevuma izklāsts pēc ātras lasīšanas «gandrīz nejēdzīgs».

OpenAI līdz 8. oktobrim jau bija labojusi vairāk nekā desmit manuskriptus un izņēmusi trīs darbus zīmes kļūdas dēļ, kas anulējusi argumentu. Vidēji katram rezultātam tērēts aptuveni trīs stundu ChatGPT Pro «thinking» ekvivalents; modelis mēģinājis vairāk nekā 4000 uzdevumu. Uzņēmums sola finansēt darbnīcas un konferences, taču nav atklājis modeļa nosaukumu un lietotos «promptus».

Daži pētnieki rezultātus vērtē kā karjeras līmeņa sasniegumus — tostarp progresu Rīmaņa hipotēzes un Hodža hipotēzes virzienā, kā arī četrdimensiju Kakeya hipotēzes risinājumu. Citi brīdina, ka ātrā izlaišana var «iznīcināt» doktorantu un grantu plānus. AGMAI publikāciju nosauca par «pirmo soli» un atkārtoti aicināja MI laboratorijas formalizēt pierādījumus un nedarīt matemātiku par mārketinga rīku.