AnswersPublished25 sources
OpenAI hævder at have løst over 100 åbne matematikproblemer: Det ved vi
OpenAI oplyste 21. september 2026, at en intern model, hvis træning begyndte 28. For Navier–Stokes har OpenAI offentliggjort et analytisk bevis og en Lean formalisering, men der foreligger hverken almindelig faglig accept eller en offentlig, detaljeret dokumentation for hele listen på over 100 pro...
Udgivet afRedigeret med GPT-5.6 TerraBilleder genereret med GPT Image 2
Research answer
Key takeaways
- OpenAI oplyste 21. september 2026, at en intern model, hvis træning begyndte 28.
- For Navier–Stokes har OpenAI offentliggjort et analytisk bevis og en Lean formalisering, men der foreligger hverken almindelig faglig accept eller en offentlig, detaljeret dokumentation for hele listen på over 100 pro...
- Der er ikke offentligt grundlag for at betragte Hodge formodningen som løst. OpenAI har kun anerkendt betydelige fremskridt på et andet, unavngivet Millennium problem.[14]
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim on September 21, 2026, about an unnamed internally trained AI model solving more than 100 long-standing open mathemati. Article summary: OpenAI’s September 21 statement was a claim, not a community-accepted mathematical result: it said an unnamed internal model, trained beginning August 28, had resolved more than 100 long-standing open problems across mat. Topic tags: general, news, general web, education, academic. 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, watermarks, cha
OpenAI's udmelding 21. september var en usædvanligt stor forskningspåstand – ikke en matematisk konklusion, der allerede er blevet uafhængigt kontrolleret og accepteret. Selskabet sagde, at en unavngiven intern model, hvis træning begyndte 28. august, havde løst mere end 100 langvarige åbne problemer på tværs af det meste af matematikken. Udmeldingen faldt sammen med oprettelsen af en uafhængig rådgivningsgruppe med base hos Institute for Advanced Study (IAS) i Princeton. 5
15
Det afgørende skel går mellem, at en virksomhed siger, at et problem er løst, og at et bevis er blevet gransket og accepteret af det internationale matematikmiljø. Det offentlige materiale understøtter indtil videre det første – ikke det andet for hele gruppen på over 100 problemer.
Hvad OpenAI siger, at modellen har gjort
Udmeldingen fulgte efter OpenAI's påstand 8. september om, at omkring 10.000 AI-agenter med en ikke-offentlig intern model på 88 timer havde fundet en endelig-tids-singularitet for de tvungne tredimensionale Navier–Stokes-ligninger. OpenAI beskrev det som en løsning på Navier–Stokes-problemet om eksistens og glathed og sagde, at systemet havde frembragt både et analytisk bevis og en formalisering i bevisassistenten Lean. 1
13
Den 21. september udvidede OpenAI påstanden: Ud over Navier–Stokes skulle modellen have løst mere end 100 åbne problemer. 5
15
Ordet »løst« er her OpenAI's egen karakteristik. Det betyder ikke i sig selv, at hvert resultat er publiceret, fagfællebedømt af uafhængige eksperter eller accepteret af det matematiske fagmiljø.
Hvad er offentliggjort – og hvad er ikke?
For Navier–Stokes-resultatet har OpenAI beskrevet et analytisk bevis og en Lean-formalisering. En Lean-kontrol er væsentlig dokumentation: Den kan vise, at en præcist kodet sætning følger af de kodede definitioner, aksiomer og tidligere formelle biblioteker. 13
Men den offentligt beskrevne dokumentation for den bredere påstand om »over 100« problemer er langt tyndere. Udmeldingen 21. september indeholdt ikke en offentlig, specificeret oversigt over problemerne, deres nøjagtige formuleringer, beviser, formelle status, ophav eller status for uafhængig bedømmelse. Uden den dokumentation kan andre ikke efterprøve tallet problem for problem. 7
11
Den foreliggende rapportering dokumenterer heller ikke, at Navier–Stokes-beviset allerede har gennemgået afsluttet, uafhængig menneskelig fagfællebedømmelse eller har opnået bred matematisk accept. Det er andre krav end blot at have et bevisartefakt offentligt tilgængeligt eller kode, der kan kompileres. 1
46
Er Hodge-formodningen løst?
Nej – ikke på baggrund af det offentlige materiale.
Hodge-formodningen er et af Clay Mathematics Institutes Millennium Prize Problems, en gruppe berømte uløste problemer med særlige regler for anerkendelse og prisuddeling. 37 Rapportering har peget på, at OpenAI offentligt har anerkendt betydelige fremskridt på et andet, unavngivet Millennium-problem. Selskabet har dog ikke identificeret dette problem som Hodge-formodningen eller offentliggjort et bevis.
14
Rygter eller påstande om fremskridt kan ikke erstatte et præcist formuleret, offentliggjort bevis, som fagmiljøet kan undersøge. En OpenAI-løsning på Hodge-formodningen er derfor ikke fastslået.
Hvorfor et Lean-bevis kan være gyldigt og stadig svært at vurdere
Formel verifikation og matematisk forståelse er beslægtede, men ikke identiske ting.
En Lean-formalisering kan give stærk sikkerhed for, at en kodet sætning ikke rummer et logisk hul inden for sit formelle udgangspunkt. Men formelle beviser gør ofte ellers rutinemæssige ræsonnementer eksplicitte gennem mange definitioner, hjælpesætninger, biblioteksafhængigheder, omskrivninger og tekniske deltrin. Det kan gøre dem vanskelige at læse som et samlet, menneskeligt forklarende argument.
Det betyder ikke, at »det kompilerer« er værdiløst. Men en kompileret formalisering besvarer ikke nødvendigvis alle de spørgsmål, matematikere skal kunne besvare:
- Matcher den formelle sætning præcist det tilsigtede Millennium-problem?
- Hvad er den centrale idé bag konstruktionen eller mekanismen, der skaber singulariteten?
- Hvilke estimater og argumenter udfører det afgørende intellektuelle arbejde?
- Er resultatet robust, nyt og formidlet på en måde, andre kan bygge videre på?
- Hvordan skal tidligere idéer og faglig kredit tilskrives?
Formel kontrol kan altså være en central del af verifikationen. Den skaber ikke i sig selv en kort, menneskeligt forståelig fremstilling, afklarer ikke ophav og giver ikke automatisk faglig konsensus.
Kritikken: Anerkendelse, prioritet og forskningskultur
Udmeldingen udløste kritik, der rakte ud over bevisets tekniske indhold. Femogtyve modtagere af Fields-medaljen underskrev det åbne brev A Severe Misalignment of AI in Mathematics. De kritiserede et kapløb mellem AI-laboratorier om at bruge kendte matematiske problemer som demonstrationer af modelkapacitet og advarede om skade på blandt andet forskningskultur og uddannelse. 19
21
En særskilt konflikt om prioritet involverede matematikerne Tristan Buckmaster og Levent Alpöge. I en samtidig udtalelse skrev Buckmaster, at han var blevet fortalt, at et internt OpenAI-system havde et bevis for endelig-tids-blow-up for tvungne Navier–Stokes-ligninger. Han skrev også, at han og Alpöge følte sig presset til at offentliggøre relateret arbejde, før deres verifikation og fremstilling var færdig. En separat hypotisk-dissipativ Navier–Stokes-undersøgelse blev ifølge udtalelsen ikke frigivet, fordi Lean-verifikationen ikke var afsluttet. 17
Buckmasters beretning er vigtig dokumentation for en konflikt om timing, kredit og publikationspres. Den beviser ikke i sig selv, at OpenAI kopierede andres arbejde. OpenAI sagde, at det begyndte sit arbejde efter at have hørt et rygte om et gennembrud fra de to matematikere, og at selskabet havde tilbudt en samtidig offentliggørelse, der skulle anerkende deres prioritet. 32
Det åbne spørgsmål handler dermed ikke kun om, hvorvidt AI kan producere et bevis. Det handler også om, hvorvidt AI-assisterede opdagelser kan offentliggøres med plads til korrekt kreditering, uafhængig kontrol og normal videnskabelig udveksling.
Hvad IAS-gruppen kan – og ikke kan
OpenAI har annonceret en ulønnet, uafhængig rådgivningsgruppe med ni medlemmer, Advisory Group on Mathematics and Artificial Intelligence, hos Institute for Advanced Study i Princeton. Blandt de rapporterede medlemmer er Timothy Gowers og Martin Hairer. 4
5
Gruppens erklærede formål er at give matematikere en rolle i vurderingen og kommunikationen af AI-genereret matematisk arbejde, herunder rådgivning om gennemgang og offentliggørelse. 5
15
Men gruppen er rådgivende, ikke regulerende. Den kan efter den tilgængelige rapportering ikke tvinge OpenAI til at frigive de underliggende beviser, bestemme selskabets forskningsplan, nedlægge veto mod udmeldinger eller endeligt afgøre forfatterskab. 7
Det er en væsentlig begrænsning: Ekspertrådgivning kan forbedre gennemsigtighed og formidling, men kan ikke i sig selv forvandle en intern virksomhedspåstand til en sætning, der er accepteret af matematikmiljøet.
Hvorfor der ikke kan uddeles en Millennium Prize nu
Clay Mathematics Institutes regler er tydelige. Før instituttet vil behandle en foreslået løsning, skal den være publiceret i et kvalificerende udgivelsessted, mindst to år skal være gået siden offentliggørelsen, og arbejdet skal have opnået almindelig accept i det globale matematikmiljø. 46
Et virksomhedsblogindlæg, et preprint, et koderepositorium eller en vurdering fra en rådgivningsgruppe opfylder ikke automatisk disse betingelser. Clay Mathematics Institute understregede også efter Navier–Stokes-udmeldingen, at reglerne dækker både vurderingen af resultater og tildelingen af kredit. 42
Selv hvis OpenAI's Navier–Stokes-resultat eller senere resultater ender med at være korrekte, gjorde septemberudmeldingerne dem derfor ikke straks berettigede til en pris. Arbejdet skal først igennem den etablerede proces med offentliggørelse og faglig accept.
Konklusion
OpenAI hævder, at en intern AI-model har løst mere end 100 åbne matematikproblemer, efter den tidligere påstand om en Lean-formaliseret Navier–Stokes-løsning. Navier–Stokes-arbejdet har offentlige artefakter; den bredere portefølje har endnu ikke en offentlig dokumentation problem for problem. 13
11
Den rimelige konklusion er derfor hverken blank afvisning eller ukritisk accept: Der er tale om potentielt meget betydningsfulde påstande, som kræver gennemsigtige beviser, ekspertgranskning, omhyggelig kreditering og tid. Det gælder særligt enhver antydning af, at endnu et Millennium-problem – eksempelvis Hodge-formodningen – skulle være løst.
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 hævder at have løst over 100 åbne matematikproblemer: Det ved vi"?
OpenAI oplyste 21. september 2026, at en intern model, hvis træning begyndte 28.
What are the key points to validate first?
OpenAI oplyste 21. september 2026, at en intern model, hvis træning begyndte 28. For Navier–Stokes har OpenAI offentliggjort et analytisk bevis og en Lean formalisering, men der foreligger hverken almindelig faglig accept eller en offentlig, detaljeret dokumentation for hele listen på over 100 pro...
What should I do next in practice?
Der er ikke offentligt grundlag for at betragte Hodge formodningen som løst. OpenAI har kun anerkendt betydelige fremskridt på et andet, unavngivet Millennium problem.[14]