„OpenAI“ ir „Anthropic“ teigia, kad DI paneigė skaičiavimo teoriją

„OpenAI“ pirmadienį, spalio 26 d., pranešė, kad jos vidiniai DI modeliai pateikė tris rezultatus. Pirmasis yra vietinio glotninimo hipotezės įrodymas visose dimensijose. Antrasis yra eksponentinio laiko hipotezės (ETH) paneigimas. Trečiasis yra griežtas sąveikaujančių kvantinio lauko teorijų, įskaitant kvantinę chromodinamiką (QCD), egzistavimo įrodymas, teigiama įmonės pranešime. „OpenAI“ apibūdino šiuos rankraščius kaip „neapdorotus tyrimų duomenis“. Ji paprašė išorės ekspertų veikti kaip „piemenys“ šiems rezultatams, ir kiekviena sritis taiko skirtingą skelbimo metodą. „Scientific American“ pranešė, kad ekspertai yra „vis dar sukrėsti“, tačiau šis pranešimas jau kelia prieštaravimų. Praėjus kelioms valandoms po pranešimo, „Anthropic“ paskelbė savo ETH paneigimą.openai.com+1

Trys teiginiai, trys skelbimo planai

Matematikoje Christopheris Sogge 1991 metais pasiūlė vietinio glotninimo hipotezę. „OpenAI“ teigia, kad jos įrodymas visose dimensijose taip pat išsprendžia Kakeya ir Stein apribojimų hipotezes visose dimensijose. Įmonė paskelbė modelio aprašymą ir oficialų „Lean“ įrodymą „GitHub“ platformoje. Alexas Iosevichius, Ročesterio universiteto matematikas, „Al Jazeera“ sakė, kad ši naujiena iš pradžių buvo „šokas“. Jis pavadino tai „istoriniu įvykiu“.aljazeera.com+1

Kalbant apie ETH, „OpenAI“ teigia, kad jos sistema paneigimą rado spalio 16 d., o rezultatas buvo formalizuotas „Lean“ kalba spalio 17 d. Russellas Impagliazzo ir Ramamohanas Paturi iš UC San Diego, kurie pirmieji pasiūlė šią hipotezę, kartu su Ryanu Williamsu iš MIT vadovauja peržiūrai. „OpenAI“ taip pat įsipareigojo finansuoti konferenciją apie šį rezultatą, teigė įmonė. Įrodymas pateikia 3-SAT algoritmą, kuris veikia šiek tiek greičiau nei eksponentiniu laiku. Tai nebūtinai išsprendžia P ir NP problemą, pažymėjo „Scientific American“.openai.com+1

Fizikos rezultatas apima Yang-Mills tūkstantmečio prizo problemos egzistavimo dalį, bet ne masės tarpo problemą. Nobelio premijos laureato Davido Grosso vadovaujama grupė nusprendė sulaikyti DI sukurtą medžiagą, kol patys surašys darbą, teigia „OpenAI“.openai.com

Prieštaravimai ir konkuruojantis įrodymas

Pasak „Scientific American“, šis skelbimas prieštarauja Matematikos ir dirbtinio intelekto patariamosios grupės (AGMAI), kurią suorganizavo pati „OpenAI“, rekomendacijoms. Modelis vis dar yra nuosavybinis, o jo užklausos ir mąstymo grandinės išvestys nebuvo paviešintos. AGMAI paragino paskelbti Yang-Mills straipsnį, teigdama, kad „nėra jokios mokslinės priežasties toliau atidėlioti skelbimą“. Tame pačiame pranešime teigiama, kad „Anthropic“ darbuotojas ir Šiaurės vakarų universiteto matematikas viešai dirbo prie tos pačios Yang-Mills problemos su DI pagalba.scientificamerican.com

Vėlų pirmadienį „Anthropic“ paskelbė straipsnį „A 2^o(n) Time Algorithm for 3-SAT“, priskirtą „Claude“. „Anthropic“ tyrėjas Leventas Alpöge sakė, kad vidinis modelis pagrindinį algoritmą rado spalio 16 d. „be jokio žmogaus įsikišimo“, pranešė „OfficeChai“. Nė vienas iš laboratorijų teiginių nebuvo recenzuotas. Kol kas hipotezės autoriai turi nuspręsti, ar pateiktas paneigimas yra pagrįstas.officechai.com