AnswersPublished18 sources
Hva OpenAIs nye rådgivningsgruppe for matematikk faktisk kan gjøre
OpenAIs nye rådgivningsgruppe består av ni ulønnede matematikere og er vertet av Institute for Advanced Study i Princeton. Panelet skal gi råd om vurdering, betydning og formidling av KI genererte matematiske resultater, men har ingen beslutningsmakt over OpenAIs forskningsretning eller tempo.
Publisert avRedigert med GPT-5.6 TerraBilder generert med GPT Image 2
Research answer
Key takeaways
- OpenAIs nye rådgivningsgruppe består av ni ulønnede matematikere og er vertet av Institute for Advanced Study i Princeton.
- Panelet skal gi råd om vurdering, betydning og formidling av KI genererte matematiske resultater, men har ingen beslutningsmakt over OpenAIs forskningsretning eller tempo.
- Gruppen kan styrke åpenheten rundt OpenAIs påstand om mer enn 100 nye løste problemer, men uavhengig fagfellevurdering, tilgjengelige bevis og tydelig kreditering er fortsatt nødvendig.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: How has OpenAI responded to controversy over its 166-page, Lean-verified AI-generated proof that Navier–Stokes equations can form finite-tim. Article summary: OpenAI’s response is a nine-member, unpaid Advisory Group on Mathematics and Artificial Intelligence, hosted by Princeton’s Institute for Advanced Study (IAS). It is designed to advise on the evaluation and public commun. Topic tags: general, education, news, general web, user generated. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermark
OpenAI har svart på reaksjonene rundt selskapets påståtte Navier–Stokes-resultat ved å støtte en ny rådgivningsgruppe for matematikk og kunstig intelligens, vertet av Institute for Advanced Study (IAS) i Princeton. Ordningen gir fremstående matematikere en formell kanal for å gi råd om vurdering og offentliggjøring av KI-genererte resultater.
Men det er nettopp en rådgivningsgruppe – ikke et vitenskapelig tidsskrift, en uavhengig instans som sertifiserer bevis, eller en regulator for OpenAIs forskningsprogram. 33
2
Bakgrunnen: Navier–Stokes-påstanden og kredittstriden
- september publiserte OpenAI et manuskript på 166 sider og en formalisering i bevisassistenten Lean. Selskapet hevder at arbeidet løser Navier–Stokes-problemet om eksistens og glatthet, ved å vise at en glatt tredimensjonal strømning under en glatt ytre kraft kan utvikle en singularitet på endelig tid.
6
Lean-formaliseringen gjør beviset maskinelt kontrollerbart, mens manuskriptet er ment som den menneskelesbare framstillingen. Ifølge rapportering etter publiseringen har beviset tatt tid å nøste opp i, og den nye rådgivningsgruppen ble annonsert som svar på bekymringer om hvordan store KI-genererte matematiske funn blir vurdert og spredt. 2
Saken om korrekthet er dessuten ikke den eneste. Tristan Buckmaster og Levent Alpöge publiserte Lean-verifiserte resultater om beslektede problemer i fluiddynamikk omtrent samtidig, og dette utløste en offentlig strid om kreditering og prioritet. Det er et annet spørsmål enn om OpenAIs formelle bevis passerer Leans kontroll: Striden gjelder opphav, tilgang til ideer og akademisk anerkjennelse. 1
De ni første medlemmene
Panelet består ved oppstart av:
- François Charles
- Camillo De Lellis
- Timothy Gowers
- Martin Hairer
- Nikhil Srivastava
- Ulrike Tillmann
- Ravi Vakil
- Edward Witten
- Melanie Matchett Wood
Gruppen er vertet av IAS, men beskrives som uavhengig av OpenAI. 33
Dette kan gruppen gjøre
OpenAI opplyser at gruppen skal gi råd om evaluering og kommunikasjon av nye matematiske resultater. Det omfatter blant annet resultaters betydning, koordinert offentliggjøring og relevante akademiske og profesjonelle standarder. 17
33
Vedtektene gir gruppen flere konkrete former for handlingsrom:
- Medlemmene får ikke betalt av OpenAI.
- De kan gi råd OpenAI ikke har bedt om.
- De kan kommentere offentlig hvordan OpenAI påvirker matematikken.
- De kan offentliggjøre sine råd.
- De kan selv endre gruppens medlemskap.
Dette er viktig fordi det åpner for at rådgiverne kan utfordre OpenAI offentlig, ikke bare bak lukkede dører. Men myndigheten deres er rådgivende, ikke bindende. 33
Dette kan gruppen ikke gjøre
Panelet har ingen beslutningsmakt over OpenAIs forskningsretning eller tidsplan. OpenAI sier uttrykkelig at gruppen ikke skal gi råd om tempoet i selskapets interne matematikkarbeid. 33
2
I praksis betyr det at gruppen ikke kan:
- stanse en forskningsannonsering;
- pålegge OpenAI å publisere et bevis, en modell eller interne forskningsdokumenter;
- tvinge fram endringer i publiseringsstrategien;
- avgjøre om et matematisk krav er akseptert av forskningsmiljøet; eller
- alene avgjøre en tidligere konflikt om prioritet eller kreditering.
Skillet er avgjørende: Gruppen kan anbefale standarder og uttrykke innvendinger, men OpenAI beholder kontrollen over modellene sine, interne arbeidsprosesser, hvilke bevis som deles og om rådene faktisk følges. Gruppen bør derfor forstås som en bro mellom et KI-laboratorium og matematikermiljøet – ikke som en erstatning for uavhengig fagfellevurdering. 33
2
Uavhengighet og representasjon er fortsatt åpne spørsmål
OpenAIs ordning gir gruppen reell frihet til å uttale seg og publisere, men den faktiske effekten avhenger av om medlemmene bruker friheten og om OpenAI velger å lytte. At gruppen ikke har innflytelse over forskningstempoet, er særlig viktig fordi raske og PR-tunge kunngjøringer var en sentral del av kritikken mot KI-labers håndtering av matematiske påstander. 2
33
Medlemmene er svært meritterte, noe som gir panelet tyngde. Samtidig representerer en gruppe på ni personer ikke automatisk alle relevante perspektiver. Forskere innen formelle metoder, spesialister på de berørte fagområdene, yngre matematikere og miljøer utenfor institusjonene som er representert i startpanelet kan ha andre syn på vurdering, tilgang, kreditering og publiseringsnormer. Det er også stilt spørsmål ved hvordan medlemmene ble valgt. 37
At vervet er ulønnet kan styrke avstanden til OpenAI, men betyr også at muligheten til å gjennomføre langvarig og kritisk gjennomgang vil avhenge av medlemmenes tid og tilgang til det underliggende materialet.
Hva dette betyr for Navier–Stokes-påstanden
Lean-verifisering er viktig fordi systemet mekanisk kan kontrollere om et teorem følger av definisjonene, aksiomene og lemmaene som er kodet inn i beviset. Men en maskinelt kontrollert formalisering gjør ikke automatisk et argument lett å forstå for mennesker. Den avgjør heller ikke alene om alle modelleringsvalg treffer den uformelle påstanden man egentlig ønsker å bevise, eller hvor betydningsfullt og forklarende resultatet er.
Den nye rådgivningsgruppen endrer ikke denne arbeidsdelingen. Den kan gi råd om hvordan et resultat bør vurderes og kommuniseres, men uavhengige matematikere må fortsatt granske manuskriptet, de formelle artefaktene, forutsetningene og koblingen mellom det påståtte teoremet og det opprinnelige problemet. 33
2
På samme måte løser ikke opprettelsen av gruppen i seg selv kredittstriden knyttet til Buckmaster. En troverdig avklaring krever en dokumentbasert prosess som vurderer tidslinje, bidrag, tilgang og akademisk kreditering – ikke bare en rådgivende uttalelse. 1
Den store prøven: Over 100 påståtte resultater
OpenAI sier at den interne modellen har løst mer enn 100 ytterligere åpne matematikkproblemer. Rådgivningsgruppen er ventet å bidra til en ansvarlig offentliggjøring av resultatene. 36
33
Gruppen kan gjøre prosessen mer troverdig ved å oppfordre til en publiseringsrekkefølge som muliggjør reell, uavhengig vurdering:
- Beskriv hvert problem presist. En offentlig oversikt bør skille mellom etablerte teoremer, påståtte løsninger, utvidelser og beslektede resultater.
- Publiser både lesbare og maskinelt kontrollerbare arbeider. Menneskelesbare bevis forklarer hvorfor et resultat betyr noe; formelle artefakter gjør mekanisk kontroll mulig for andre.
- Sørg for fagspesifikk gransking. Et resultat i fluiddynamikk, algebra, geometri eller logikk bør vurderes av forskere som arbeider på det aktuelle området – ikke bare av et generelt rådgivningspanel.
- Dokumenter opphav og bidrag. Tydelige spor er særlig viktige der prioritet, modelltilgang eller bruk av tidligere upublisert arbeid kan bestrides.
- Skill mellom oppdagelse og validering. Et KI-system kan finne et lovende bevis, men faglig aksept krever åpen gransking og varig vitenskapelig dokumentasjon.
Den nye gruppen er dermed et meningsfullt forsøk på styring og ansvarlighet, men ikke et endelig svar på kontroversen. Verdien vil avhenge av om rådene blir offentlige, om OpenAI deler nok dokumentasjon til at utenforstående matematikere kan kontrollere påstandene, og om framtidige publiseringer gir vurdering og kreditering like høy prioritet som selve kunngjøringen.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Hva OpenAIs nye rådgivningsgruppe for matematikk faktisk kan gjøre"?
OpenAIs nye rådgivningsgruppe består av ni ulønnede matematikere og er vertet av Institute for Advanced Study i Princeton.
What are the key points to validate first?
OpenAIs nye rådgivningsgruppe består av ni ulønnede matematikere og er vertet av Institute for Advanced Study i Princeton. Panelet skal gi råd om vurdering, betydning og formidling av KI genererte matematiske resultater, men har ingen beslutningsmakt over OpenAIs forskningsretning eller tempo.
What should I do next in practice?
Gruppen kan styrke åpenheten rundt OpenAIs påstand om mer enn 100 nye løste problemer, men uavhengig fagfellevurdering, tilgjengelige bevis og tydelig kreditering er fortsatt nødvendig.