OpenAI presenterar tre vetenskapliga bevis och tar in externa granskare

OpenAI meddelade måndagen den 26 oktober att deras interna modeller har tagit fram tre nya resultat. Det första är ett bevis för "local smoothing"-förmodan i alla dimensioner, vilket även skulle avgöra Kakeya- och Stein-restriktionsförmodningarna. Det andra är ett motbevis av "Exponential Time Hypothesis", och det tredje är ett rigoröst existensbevis för kvantkromodynamik. Istället för att kräva akademisk ära bjöd företaget in externa experter att agera "herdar" som organiserar grupper för att kontrollera och förklara arbetet.theverge.com+1

Tre resultat, tre lanseringsplaner

Det matematiska påståendet bygger på Christopher Sogges "local smoothing"-förmodan från 1991. Matematiker bevisade den i två rumsliga dimensioner 2019, och Kakeya-förmodan bevisades i tre dimensioner 2025. OpenAI uppger att beviset vilar på "en ny partiell differentialekvation som hjälpmedel". En expert rådde dem att släppa rådatan, så OpenAI lade upp en modellbeskrivning och ett Lean-bevis på GitHub, precis som vid lanseringen den 6 oktober.openai.com+1

Datavetenskapsresultatet beskriver en deterministisk algoritm som räknar tillfredsställande tilldelningar av CNF-formler med fast bredd i subexponentiell tid. Tillämpat på 3-SAT skulle detta motbevisa en förmodan som används i hundratals hårdhetsbevis. Russell Impagliazzo och Ramamohan Paturi från UC San Diego, som först föreslog hypotesen, kommer att leda granskningen tillsammans med Ryan Williams från MIT. De varnade för att "vår medverkan inte bör tas som en certifiering av påståendet". OpenAI gick även med på deras begäran att finansiera en konferens om vad resultatet innebär för fältet.thenextweb.com+1

Fysikmaterialet hölls tillbaka. En grupp ledd av nobelpristagaren David Gross, med Michael Douglas, Arthur Jaffe, Igor Klebanov och Nikita Nekrasov, valde att skriva upp resultatet själva. Arbetet inkluderar ett existensbevis för ren Yang-Mills-teori, vilket är en del av ett Clay Millennium-prisproblem.openai.com

Frågetecken kring herdermodellen

OpenAI uppger att herdarna inte kommer att skriva på sekretessavtal och inte kommer att få betalt. De säger också att de "inte söker akademisk ära" för sina modellers upptäckter. Företaget erkände att valet av de första herdarna "skapar informationsasymmetri". Upplägget kommer utöver OpenAIs nyligen gjorda bidrag på 5 miljoner dollar till Simons Foundation, som ska finansiera workshops om AI-genererade resultat.openai.com

Alla håller inte med om tillvägagångssättet. En dag före tillkännagivandet rekommenderade OpenAIs egen panel av matematikrådgivare att AI-företag inte bör anta praxis att ge utvalda personer förtur till modellutdata. Panelen hänvisade till ojämlik tillgång, lånat rykte och partiskt urval. Gizmodo noterade att Lean-verifiering har orsakat problem tidigare. Läsare av OpenAIs tidigare Navier-Stokes-påstående var oroliga för att Lean-beviset hade verifierat ett svagare påstående än det företaget publicerade. OpenAI beskriver de nya manuskripten som "rå forskningsdata" som det vetenskapliga samfundet fortfarande måste omvandla till förståelse.gizmodo.com+1