OpenAI kunngjør tre vitenskapelige bevis og henter inn eksterne kontrollører

OpenAI kunngjorde mandag 26. oktober at deres interne modeller har produsert tre nye resultater. Det første er et bevis for "local smoothing"-formodningen i alle dimensjoner, noe som også vil avgjøre Kakeya- og Stein-restriksjonsformodningene. Det andre er et motbevis av "Exponential Time Hypothesis", og det tredje er et strengt eksistensbevis for kvantekromodynamikk. I stedet for å kreve akademisk ære, inviterte selskapet eksterne eksperter til å fungere som "gjeterne" som organiserer grupper for å kontrollere og forklare arbeidet.theverge.com+1

Tre resultater, tre utgivelsesplaner

Det matematiske kravet bygger på Christopher Sogges "local smoothing"-formodning fra 1991. Matematikere beviste den i to romlige dimensjoner i 2019, og Kakeya-formodningen ble bevist i tre dimensjoner i 2025. OpenAI sier at beviset hviler på "en ny hjelpe-partiell differensialligning". En ekspert rådet til å frigjøre rådataene, så OpenAI la ut en modellbeskrivelse og et Lean-bevis på GitHub, slik de gjorde med utgivelsen 6. oktober.openai.com+1

Datavitenskapsresultatet beskriver en deterministisk algoritme som teller tilfredsstillende tildelinger av CNF-formler med fast bredde i subeksponentiell tid. Anvendt på 3-SAT ville dette motbevise en formodning som brukes i hundrevis av hardhetsbevis. Russell Impagliazzo og Ramamohan Paturi fra UC San Diego, som først foreslo hypotesen, vil lede gjennomgangen sammen med Ryan Williams fra MIT. De advarte om at "vår involvering ikke bør tolkes som en sertifisering av påstanden". OpenAI gikk også med på deres forespørsel om å finansiere en konferanse om hva resultatet betyr for feltet.thenextweb.com+1

Fysikkmateriellet ble holdt tilbake. En gruppe ledet av nobelprisvinner David Gross, med Michael Douglas, Arthur Jaffe, Igor Klebanov og Nikita Nekrasov, valgte å skrive opp resultatet selv. Arbeidet inkluderer et eksistensbevis for ren Yang-Mills-teori, som er en del av et Clay Millennium-prisproblem.openai.com

Spørsmål ved gjeter-modellen

OpenAI sier at "gjeterne" ikke vil signere taushetserklæringer og ikke vil bli betalt. Selskapet sier også at det "ikke søker akademisk ære" for modellens oppdagelser. Selskapet erkjente at det å velge ut de første gjeterne "skaper informasjonsasymmetri". Ordningen kommer i tillegg til OpenAIs nylige bidrag på 5 millioner dollar til Simons Foundation, som skal finansiere workshops om AI-produserte resultater.openai.com

Ikke alle er enige i tilnærmingen. En dag før kunngjøringen anbefalte OpenAIs eget panel av matematikkrådgivere at AI-selskaper ikke bør ta i bruk praksisen med å gi utvalgte personer forhåndstilgang til modellutdata. Panelet viste til ulik tilgang, lånt omdømme og partisk utvelgelse. Gizmodo bemerket at Lean-verifisering har skapt problemer tidligere. Lesere av OpenAIs tidligere Navier-Stokes-påstand var bekymret for at Lean-beviset hadde verifisert en svakere påstand enn den selskapet publiserte. OpenAI beskriver de nye manuskriptene som "rå forskningsdata" som det vitenskapelige miljøet fortsatt må omsette til forståelse.gizmodo.com+1