OpenAI un Anthropic apgalvo, ka to MI modeļi atspēkojuši eksponenciālā laika hipotēzi

OpenAI un Anthropic šonedēļ ar dažu stundu starpību publiskoja darbus, kuros apgalvo, ka to iekšējie mākslīgā intelekta modeļi atspēkojuši eksponenciālā laika hipotēzi (Exponential Time Hypothesis, ETH). OpenAI savus materiālus GitHub ievietoja 26. oktobrī, bet Anthropic savu darbu, kura autors norādīts kā „Claude, Anthropic”, publicēja nākamās nakts sākumā. Neviens no pierādījumiem vēl nav recenzēts, un neatkarīga pārbaude tikai sākas.

Hipotēze, kas formulēta 1999. gadā, paredz, ka loģikas uzdevumu 3-SAT nav iespējams vispārīgā gadījumā atrisināt laikā, kas aug lēnāk par eksponenciālu atkarībā no mainīgo skaita. Tā ir stingrāks pieņēmums nekā slavenā P ≠ NP problēma, tāpēc tās atspēkošana nenozīmētu, ka P = NP. Taču ETH izmantota simtiem pētījumu, lai pamatotu, ka noteiktas problēmas grafu teorijā, datubāzēs, skaitļošanas bioloģijā un citās jomās nav ātri atrisināmas.

Abi uzņēmumi pēc būtības apraksta vienu un to pašu: deterministisku algoritmu, kas ne tikai nosaka, vai formulai ir risinājums, bet precīzi saskaita visus apmierinošos piešķīrumus apakšeksponenciālā laikā. Abi norāda, ka modelis rezultātu atradis 16. oktobrī, un abi pievienojuši pierādījuma formalizāciju Lean valodā, kurā pierādījumu pareizību pārbauda dators.

Tomēr formalizācijas nav vienādas. OpenAI dokumentācija atzīst, ka Lean pierādījums aptver vājāku robežu nekā rakstā publicētā. Anthropic savukārt brīdina, ka Lean pārbauda pierādījumus, bet neviena mašīna nepārbauda, vai formālais apgalvojums tiešām atbilst tam, kas rakstīts darbā. Uzņēmums arī uzsver, ka rezultāts ir tīri asimptotisks un neko nesaka par formulu risināšanu praksē. OpenAI raksta, ka teorētisko sasniegumu pārvēršana praktiskos uzlabojumos prasīs ievērojamu papildu darbu.

Atklātu pārbaudi organizē Kalifornijas Universitātes Sandjego pētnieki Rasels Impaljaco un Ramamohans Paturi, kuri ETH savulaik formulēja, un Masačūsetsas Tehnoloģiju institūta profesors Raiens Viljamss. Atklātā vēstulē viņi uzsvēruši, ka viņu iesaiste nav uzskatāma par rezultāta apstiprinājumu. Viljamss norādījis, ka grupa nav parakstījusi konfidencialitātes līgumus un nesaņem samaksu, kā arī lūgusi OpenAI publiskot visus ar rezultātu saistītos neapstrādātos datus un finansēt konferenci pētnieku kopienai. OpenAI tam piekritusi.

OpenAI tajā pašā dienā paziņoja vēl divus rezultātus: Sogges lokālās izlīdzināšanas hipotēzes pierādījumu visās dimensijās, kas atrisinātu arī Kakejas hipotēzi, un četrdimensiju Janga–Millsa teorijas eksistences pierādījumu fizikā. Arī tie pagaidām nav neatkarīgi pārbaudīti. Ja ETH atspēkojums apstiprināsies, pētniekiem nāksies pārskatīt daudzus rezultātus, kas balstīti šajā pieņēmumā.