OpenAI och Anthropic hävdar båda att de motbevisat datavetenskaplig teori

OpenAI meddelade måndagen den 26 oktober att deras interna AI-modeller producerat tre resultat. Det första är ett bevis för "local smoothing conjecture" i alla dimensioner. Det andra är ett motbevis av "Exponential Time Hypothesis" (ETH). Det tredje är ett rigoröst existensbevis för interagerande kvantfältteorier, inklusive kvantkromodynamik (QCD), enligt företagets tillkännagivande. OpenAI beskrev manuskripten som "en form av rå forskningsdata". De bad externa experter att agera som vägledare för resultaten, och varje område följer olika strategier för publicering. Scientific American rapporterade att experter är "chockade", men att släppet redan är kontroversiellt. Timmar efter tillkännagivandet publicerade Anthropic sitt eget motbevis av ETH.openai.com+1 ## Tre påståenden, tre publiceringsplaner Inom matematiken föreslog Christopher Sogge "local smoothing conjecture" 1991. OpenAI hävdar att beviset i alla dimensioner även löser Kakeya- och Stein-restriktionsförmodningarna. Företaget har publicerat modellens rapport och ett formellt Lean-bevis på GitHub. Alex Iosevich, matematiker vid University of Rochester, berättade för Al Jazeera att nyheten var "en chock till en början" och kallade det en "historisk utveckling".aljazeera.com+1 Gällande ETH säger OpenAI att systemet hittade motbeviset den 16 oktober, och resultatet formaliserades i Lean den 17 oktober. Russell Impagliazzo och Ramamohan Paturi vid UC San Diego, som först föreslog hypotesen, leder granskningen tillsammans med Ryan Williams från MIT. OpenAI har även åtagit sig att finansiera en konferens om resultatet. Beviset ger en algoritm för 3-SAT som körs något snabbare än exponentiell tid. Det löser inte nödvändigtvis P mot NP-problemet, noterade Scientific American.openai.com+1 Fysikresultatet täcker existensdelen av Yang-Mills Millennium-priset men inte massgapet. En grupp ledd av nobelpristagaren David Gross har valt att hålla tillbaka det AI-producerade materialet medan de skriver upp arbetet själva, enligt OpenAI.openai.com ## Kontrovers och ett rivaliserande bevis Enligt Scientific American strider släppet mot rekommendationer från Advisory Group on Mathematics and Artificial Intelligence (AGMAI), en expertpanel som OpenAI själva organiserat. Modellen är fortfarande proprietär, och dess prompter och tankekedjor har inte släppts. AGMAI har krävt att Yang-Mills-artikeln publiceras och säger att "det inte finns någon vetenskaplig anledning att fördröja släppet ytterligare". Samma rapportering nämner att en anställd på Anthropic och en matematiker från Northwestern hade arbetat med samma Yang-Mills-problem offentligt med hjälp av AI.scientificamerican.com Sent på måndagen publicerade Anthropic "A 2^o(n) Time Algorithm for 3-SAT", en artikel krediterad Claude. Anthropic-forskaren Levent Alpöge sa att en intern modell hittade kärnalgoritmen den 16 oktober "utan mänsklig inblandning", rapporterade OfficeChai. Inget av laboratoriernas påståenden har genomgått expertgranskning. För närvarande faller det på hypotesens egna författare att avgöra om det påstådda motbeviset håller.officechai.com