Datorzinātnieks Skots Āronsons: OpenAI modelis vienā dienā publicējis 372 matemātikas rezultātus
Datorzinātnieks Skots Āronsons savā emuārā raksta, ka OpenAI publicējis 372 matemātikas rezultātus, tostarp pierādījumu Unikālo spēļu hipotēzei. Neviens cilvēks šos pierādījumus vēl nav pilnībā izpratis, un zinātnieku kopiena sāk tos analizēt.
Teorētiskās datorzinātnes speciālists Skots Āronsons savā emuārā raksta par, viņaprāt, vienu no nozīmīgākajām dienām matemātikas vēsturē. OpenAI vienā reizē publicējis 372 rezultātus, ieteicot padomdevēju grupai, kurā ir Timotijs Gauers, Edvards Vitens un citi matemātiķi. Starp tiem esot pierādījums Subhaša Khota Unikālo spēļu hipotēzei (UGC), pie kuras pierādīšanas Āronsona sieva, datorzinātniece Dana Moškoviča, strādājusi visu karjeru.
Pierādījumi vēl nav saprasti
Atsevišķiem rezultātiem pievienots Lean sertifikāts, taču ne visiem. Pēc Āronsona vārdiem, neviens cilvēks vēl nav izpratis gandrīz nevienu no šiem pierādījumiem. Moškoviča dalījusies pirmajos iespaidos: darbs esot ļoti slikti uzrakstīts, atsauces bieži neatbilst tēmai, un to grūti lasīt bez mākslīgā intelekta palīdzības. Pierādījumā izmantota pavisam jauna, rekursīva kodu konstrukcija.
Citi minētie rezultāti
Āronsons uzskaita arī citus sasniegumus: vienādību L=BPL, ātrāku Furjē transformāciju un veselu skaitļu reizināšanu par O(n log n), pozitīvu atrisinājumu unitārās sintēzes problēmai, pierādījumu, ka paritāte nav klasē QAC0, gandrīz ceturtās pakāpes atdalījumu starp nejaušinātu un kvantu vaicājumu sarežģītību, kā arī matricu reizināšanu O(n^(9/4)) laikā. Saraksts ietver arī daļēju progresu pie Rīmaņa hipotēzes, Hodža hipotēzes un Birča–Svinertona-Daijera hipotēzes. P≠NP šajā sarakstā nav.
Divi publicēšanas modeļi
Divas dienas agrāk Virdžīnija Viljamsa un Džošs Almans publicēja preprintu par 3SUM un visu pāru īsāko ceļu problēmām. Pie tā izmantota Anthropic modeļa ideja. Anthropic atšķirībā no OpenAI nepublicēja neapstrādātus risinājumus, bet par atlīdzību ļāva pašiem pētniekiem uzrakstīt un paziņot sakārtotu versiju. Āronsons šos divus pieejas veidus nosauc par galvenajiem un apzina to trūkumus.
Modelis un mērogs
Pēc Āronsona informācijas, rezultātus ieguva jaunākais iekšējais OpenAI modelis, kas, iespējams, tiks pieejams maksas lietotājiem tuvāko mēnešu laikā. Vidēji uz vienu problēmu esot izmantotas apmēram trīs stundas skaitļošanas. Modelis izmēģināts uz aptuveni 8000 problēmu, tātad atrisināta ap 5%.
