OpenAI og Anthropic hevder begge å ha motbevist sentral datateori

OpenAI kunngjorde mandag 26. oktober at deres interne KI-modeller har oppnådd tre vitenskapelige gjennombrudd. Det første er et bevis for "local smoothing conjecture" i alle dimensjoner. Det andre er et motbevis av "Exponential Time Hypothesis" (ETH). Det tredje er et strengt eksistensbevis for interaktive kvantefeltteorier, inkludert kvantekromodynamikk (QCD), ifølge selskapets kunngjøring. OpenAI beskrev manuskriptene som "en form for rå forskningsdata". De ba eksterne eksperter om å fungere som veiledere for resultatene, og hvert fagfelt følger ulike strategier for publisering. Scientific American rapporterte at eksperter er "sjokkerte", men at utgivelsen allerede er kontroversiell. Timer etter kunngjøringen publiserte Anthropic sitt eget motbevis av ETH.openai.com+1 ## Tre påstander, tre publiseringsplaner Innen matematikk foreslo Christopher Sogge "local smoothing conjecture" i 1991. OpenAI hevder at beviset i alle dimensjoner også løser Kakeya- og Stein-restriksjonsformodningene. Selskapet har publisert modellens rapport og et formelt Lean-bevis på GitHub. Alex Iosevich, matematiker ved University of Rochester, fortalte Al Jazeera at nyheten var "et sjokk" og kalte det en "historisk utvikling".aljazeera.com+1 Når det gjelder ETH, sier OpenAI at systemet fant motbeviset 16. oktober, og resultatet ble formalisert i Lean 17. oktober. Russell Impagliazzo og Ramamohan Paturi ved UC San Diego, som først foreslo hypotesen, leder gjennomgangen sammen med Ryan Williams fra MIT. OpenAI har også forpliktet seg til å finansiere en konferanse om resultatet. Beviset gir en algoritme for 3-SAT som kjører litt raskere enn eksponentiell tid. Det løser ikke nødvendigvis P mot NP-problemet, bemerket Scientific American.openai.com+1 Fysikkresultatet dekker eksistensdelen av Yang-Mills Millennium-prisen, men ikke massegapet. En gruppe ledet av nobelprisvinner David Gross har valgt å holde tilbake det KI-produserte materialet mens de skriver opp arbeidet selv, ifølge OpenAI.openai.com ## Kontrovers og en rivaliserende bevisføring Ifølge Scientific American strider utgivelsen mot anbefalinger fra Advisory Group on Mathematics and Artificial Intelligence (AGMAI), et ekspertpanel OpenAI selv har organisert. Modellen er fortsatt proprietær, og dens ledetekster og tankeprosesser er ikke frigitt. AGMAI har krevd at Yang-Mills-artikkelen publiseres, og uttaler at "det ikke er noen vitenskapelig grunn til å forsinke utgivelsen ytterligere". Samme rapport nevner at en ansatt hos Anthropic og en matematiker fra Northwestern hadde jobbet med det samme Yang-Mills-problemet offentlig med hjelp fra KI.scientificamerican.com Sent mandag publiserte Anthropic "A 2^o(n) Time Algorithm for 3-SAT", en artikkel kreditert Claude. Anthropic-forsker Levent Alpöge sa at en intern modell fant kjernealgoritmen 16. oktober "uten menneskelig inngripen", rapporterte OfficeChai. Ingen av laboratorienes påstander er fagfellevurdert. Foreløpig er det opp til hypotesens egne forfattere å avgjøre om det påståtte motbeviset holder vann.officechai.com