AnswersPublished18 sources
OpenAI:s nya matematikgrupp kan ge råd, men inte styra bolaget
Den oavlönade rådgivargruppen med nio matematiker är knuten till Institute for Advanced Study i Princeton och ska arbeta oberoende av OpenAI. Medlemmarna kan ge oombedda råd, uttala sig offentligt och publicera sina rekommendationer – men de kan inte bestämma OpenAI:s forskningstakt.
Publicerad avRedigerad med GPT-5.6 TerraBilder genererade med GPT Image 2
Research answer
Key takeaways
- Den oavlönade rådgivargruppen med nio matematiker är knuten till Institute for Advanced Study i Princeton och ska arbeta oberoende av OpenAI.
- Medlemmarna kan ge oombedda råd, uttala sig offentligt och publicera sina rekommendationer – men de kan inte bestämma OpenAI:s forskningstakt.
- Gruppen ersätter inte extern sakkunniggranskning, öppna bevis, formella Lean artefakter eller en transparent hantering av frågor om prioritet och erkännande.
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 svarat på kritiken mot bolagets påstådda Navier–Stokes-resultat genom att stödja en ny rådgivargrupp för matematik och artificiell intelligens, med Institute for Advanced Study (IAS) i Princeton som värd. Upplägget ger välkända matematiker en formell kanal för att ge råd om bedömningen och publiceringen av AI-genererade resultat.
Men gruppen är just rådgivande. Den är varken en vetenskaplig tidskrift, en fristående instans som certifierar bevis eller en tillsynsmyndighet för OpenAI:s forskningsverksamhet. 33
2
Bakgrunden: påståendet om Navier–Stokes
Den 8 september publicerade OpenAI ett manuskript på 166 sidor samt en formalisering i Lean. Företaget hävdar att arbetet visar att ett jämnt tredimensionellt Navier–Stokes-flöde, under en jämn yttre kraft, kan utveckla en singularitet på ändlig tid. OpenAI beskriver det som en lösning på Navier–Stokes-problemet om existens och jämnhet. 6
Lean är en bevisassistent: en formalisering där kan maskinellt kontrollera att en sats följer av de definitioner, axiom och delresultat som har kodats in. Det gör resultatet kontrollerbart på ett annat sätt än ett enbart textbaserat manuskript, men det ersätter inte människors läsning och tolkning av argumentet.
Rapportering efter publiceringen har beskrivit beviset som tidskrävande att reda ut. Samma rapportering kopplar tillkomsten av rådgivargruppen till frågor om hur stora AI-genererade matematiska resultat bör granskas och kommuniceras. 2
En separat konflikt gäller erkännande och prioritet. Tristan Buckmaster och Levent Alpöge publicerade Lean-verifierade resultat om närliggande problem inom fluidekvationer ungefär vid samma tidpunkt, vilket har lett till en offentlig tvist om tillskrivning. Den frågan är skild från huruvida OpenAI:s formella bevis går igenom: den gäller ursprung, tillgång till idéer och rimlig akademisk kreditering. 1
De nio grundande medlemmarna
Den första gruppen består av:
- François Charles
- Camillo De Lellis
- Timothy Gowers
- Martin Hairer
- Nikhil Srivastava
- Ulrike Tillmann
- Ravi Vakil
- Edward Witten
- Melanie Matchett Wood
26
IAS är värd för gruppen, men enligt OpenAI ska den arbeta oberoende av företaget. 33
Vad gruppen faktiskt kan göra
OpenAI säger att gruppen ska ge råd om utvärdering och kommunikation av nya matematiska resultat. Det omfattar bland annat resultatens betydelse, samordnad spridning och relevanta akademiska och professionella normer. 17
33
Det uttalade oberoendet har flera konkreta delar:
- Medlemmarna får inte betalt av OpenAI.
- De får ge råd som OpenAI inte har bett om.
- De får kommentera OpenAI:s påverkan på matematiken offentligt.
- De får offentliggöra sina råd.
- De får själva ändra gruppens sammansättning.
Det innebär att rådgivarna i princip kan invända offentligt, snarare än att enbart föra interna samtal med bolaget. Men deras mandat är rådgivande och inte bindande. 33
Vad gruppen inte kan göra
Panelen har ingen beslutanderätt över OpenAI:s forskningsinriktning eller tidsplan. OpenAI säger uttryckligen att gruppen inte ska ge råd om takten i företagets interna matematikforskning. 33
2
I praktiken betyder det att gruppen inte kan:
- stoppa en forskningsannonsering;
- kräva att OpenAI publicerar ett bevis, en modell eller interna forskningsunderlag;
- tvinga fram ändringar i företagets publiceringsstrategi;
- avgöra om ett matematiskt påstående formellt har accepterats av forskarsamhället; eller
- på egen hand avgöra en tidigare konflikt om prioritet eller tillskrivning.
Skillnaden är avgörande. Gruppen kan rekommendera standarder och uttrycka invändningar, men OpenAI kontrollerar fortfarande sina modeller, interna arbetsflöden, vilka underlag som lämnas ut och om rekommendationerna följs. Gruppen är därför snarare en brygga mellan ett AI-labb och matematikvärlden än en ersättning för oberoende sakkunniggranskning. 33
2
Oberoende och representation är fortfarande öppna frågor
Gruppens stadga ger medlemmarna ett reellt utrymme att tala och publicera fritt. Men dess faktiska tyngd beror både på om de använder den friheten och på om OpenAI väljer att reagera på råden. Att gruppen saknar inflytande över forskningstakten är särskilt viktigt, eftersom snabba och uppmärksamhetsdrivna utspel har varit en central del av kritiken mot AI-labbens hantering av matematiska påståenden. 2
33
Medlemmarna är mycket meriterade, vilket ger gruppen trovärdighet. Samtidigt kan nio personer inte automatiskt företräda alla berörda perspektiv. Forskare inom formella metoder, experter på de berörda delområdena, yngre matematiker och grupper utanför de institutioner som finns representerade i den första panelen kan ha andra synsätt på granskning, tillgång, erkännande och publiceringsnormer. Rapportering har också väckt frågor om hur medlemmarna valdes ut. 37
Att uppdraget är oavlönat kan stärka avståndet till OpenAI. Men det innebär också att möjligheten till långvarig och kritisk granskning beror på medlemmarnas tid och på vilken tillgång de får till det underliggande materialet.
Vad detta betyder för Navier–Stokes-påståendet
En Lean-verifiering är betydelsefull eftersom den kan kontrollera om en formellt uttryckt sats följer av de inmatade definitionerna, axiomen och lemmana. Men en maskinkontrollerad formalisering gör inte automatiskt argumentet lättbegripligt för människor. Den visar inte heller på egen hand att varje modelleringsval fångar den avsedda informella utsagan, eller besvarar frågor om resultatets betydelse och förklaring.
Den nya rådgivargruppen förändrar inte denna arbetsfördelning. Den kan ge råd om hur ett resultat bör bedömas och kommuniceras, men oberoende matematiker behöver fortfarande granska manuskriptet, de formella artefakterna, antagandena och förhållandet mellan den formulerade satsen och det ursprungliga problemet. 33
2
Gruppens bildande löser inte heller i sig tillskrivningstvisten kring Buckmaster. En trovärdig lösning kräver en evidensbaserad process som behandlar tidslinje, bidrag, tillgång och akademiskt erkännande – inte bara en rekommendation från en rådgivargrupp. 1
Testet: OpenAI:s påstående om över 100 ytterligare resultat
OpenAI uppger att en intern modell har löst mer än 100 ytterligare öppna matematikproblem, medan rådgivargruppen väntas hjälpa till med ansvarsfull publicering av resultat. 36
33
Gruppen skulle kunna öka trovärdigheten genom att förespråka en publiceringsordning som möjliggör verklig extern bedömning:
- Formulera varje problem exakt. En offentlig lista bör skilja mellan etablerade satser, påstådda lösningar, utvidgningar och närliggande resultat.
- Publicera både läsbara och maskinkontrollerbara arbeten. Människoläsbara bevis förklarar varför ett resultat spelar roll, medan formella artefakter möjliggör reproducerbar maskinell kontroll.
- Säkerställ ämnesspecifik granskning. Resultat inom exempelvis fluiddynamik, algebra, geometri eller logik måste granskas av forskare inom just det området – inte enbart av en allmän rådgivarpanel.
- Dokumentera ursprung och bidrag. Tydliga register är särskilt viktiga när prioritet, modellåtkomst eller användning av tidigare opublicerat arbete kan ifrågasättas.
- Håll isär upptäckt och validering. Ett AI-system kan ta fram ett lovande bevis, men akademisk acceptans kräver öppen granskning och hållbar vetenskaplig kommunikation.
Den nya panelen är alltså ett betydelsefullt försök till styrning, men ingen slutgiltig lösning på kontroversen. Dess värde kommer att avgöras av om råden blir offentliga, om OpenAI lämnar ut tillräckligt underlag för att andra matematiker ska kunna kontrollera påståendena och om framtida publiceringar ger granskning och erkännande samma tyngd som själva tillkännagivandet.
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 "OpenAI:s nya matematikgrupp kan ge råd, men inte styra bolaget"?
Den oavlönade rådgivargruppen med nio matematiker är knuten till Institute for Advanced Study i Princeton och ska arbeta oberoende av OpenAI.
What are the key points to validate first?
Den oavlönade rådgivargruppen med nio matematiker är knuten till Institute for Advanced Study i Princeton och ska arbeta oberoende av OpenAI. Medlemmarna kan ge oombedda råd, uttala sig offentligt och publicera sina rekommendationer – men de kan inte bestämma OpenAI:s forskningstakt.
What should I do next in practice?
Gruppen ersätter inte extern sakkunniggranskning, öppna bevis, formella Lean artefakter eller en transparent hantering av frågor om prioritet och erkännande.