OpenAI Kan Ikke Udelukke At Deres Kode Trænede Modellen

Et Halvfems År Gammelt Problem, Løst På Otteogfirs Timer

Den 8. september 2026 offentliggjorde OpenAI et påstået bevis for Navier-Stokes eksistens- og glathedsproblemet, et af de syv Millennium Prize-problemer, der siden år 2000 har haft en dusor på en million dollar. Problemet spørger, om en glat tredimensionel væskebevægelse altid kan beskrives, uden at ligningerne bryder sammen. OpenAIs ikke-offentliggjorte forskningsmodel, kørt som en sværm på op til 10.000 parallelle agenter, producerede en løsning, der viser, at det kan den ikke: under visse betingelser strammer en hvirvel sig sammen og drejer hurtigere og hurtigere uden grænse, et fænomen matematikere kalder blowup i endelig tid, mens væskens samlede energi forbliver begrænset. Virksomheden brugte derefter yderligere 17 timer på at formalisere argumentet i Lean, et sprog, der bruges til maskinelt at verificere matematiske beviser trin for trin.

OpenAI har eksplicit erklæret ikke at kræve dusoren fra Clay Mathematics Institute, og eksterne matematikere skal stadig verificere beviset uafhængigt, for feltet accepterer det som løst. En Lean-formalisering er et stærkt signal om intern konsistens, ikke en erstatning for fagfællebedømmelse.

En Strid Om Æren Overskygger Gennembruddet

Meddelelsen blev straks overskygget af en offentlig strid. Matematikeren Tristan Buckmaster fra NYU, vinder af Clay Research Award, sagde, at han og Anthropic-forskeren Levent Alpoge havde arbejdet på nært beslægtede spørgsmål om væskedynamik, og at OpenAI syntes at have fulgt en forskningsretning, det havde fået kendskab til gennem netop det arbejde, efter at rygter havde cirkuleret online om, at Anthropics modeller havde løst lignende problemer. Buckmaster hævdede, at OpenAI-forskeren Sebastien Bubeck pressede på for at fjerne Alpoge fra forfatterskabet, netop fordi han arbejder for en konkurrent, og at da Buckmaster truede med at offentliggøre udvekslingen, spurgte Bubeck ham, hvorfor han ville ødelægge sin karriere.

Bubeck afviste denne version og sagde, at han aldrig havde bedt om, at Alpoge blev fjernet som forfatter på sit eget arbejde, og at den egentlige uenighed handlede om, hvorvidt Buckmaster måtte lede en omskrivning af et separat bevis, som OpenAIs eget system havde produceret, hvilket han mente ikke burde være underskrevet af en medarbejder hos et konkurrerende laboratorium. Uafhængigt heraf, og med større konsekvenser for udenforstående brugere, sagde OpenAI, at det ikke havde tilgået Buckmasters eller Alpoges specifikke kontodata under arbejdet på beviset, men tilføjede, at det ikke kan udelukke, at anonymiserede signaler fra den bredere Codex-brug, muligvis inklusive deres egen, har bidraget til træningen af den underliggende model.

Hvad Det Betyder, Hvis Deres Virksomhed Bruger Et AI-Kodeværktøj

Ingen har beskyldt OpenAI for at læse en navngiven kundes private filer. Det mest konkrete og nyttige faktum for en europæisk virksomhed er selve indrømmelsen: selv en virksomhed, der insisterer på ikke bevidst at have målrettet nogen, siger, at den ikke fuldstændigt kan udelukke, at aggregerede, anonymiserede brugsdata strømmer tilbage i træningen af fremtidige modeller. Hvis Deres udviklere bruger Codex, Copilot eller et lignende værktøj på forretningsmæssigt følsom kode, er det det praktiske spørgsmål, De bør stille Deres leverandør nu, ikke efter at en strid tvinger indrømmelsen frem offentligt. Det gælder for et team i Århus lige så meget som i København.

Spørg skriftligt Deres AI-kodeleverandør om tre ting: om Deres organisations prompter og kode som standard bruges til at træne modellen, om et enterprise- eller fravalgsniveau reelt udelukker de data, og hvordan de definerer 'anonymiseret' i deres egne betingelser. Et gennembrudsbevis er et marketingøjeblik for OpenAI. Indrømmelsen om databrugen, der følger med, holder længere end overskriften.

Servola Journal

Vi gør dette for alle, der prøver at følge med i, hvad teknologi gør ved vores liv. De mennesker, der bygger det, og de mennesker, det sker for. Servola Journal findes, så det vi lærer, tilhører dem alle.

Ingen betaler os for dette. Ingen reklamer, ingen betalingsmur, gratis for alle. Vi tror simpelthen, at det at forstå, hvad der sker for os alle, ikke bør afhænge af, hvem der har råd til at betale for det.

Hvis det gav dig noget i dag, så sig til os, at vi skal blive ved. Følg os, giv et like, eller skriv en positiv kommentar. Vi læser hver eneste en, og de er det, der holder os i gang.

Læs videre: OpenAIs agenter slap ud af deres sandbox i flere måneder  |  Din næste AI-agent kan ræsonnere, hvor ingen kan tjekke det