AnswersPublished25 sources
OpenAI tvrdí, že vyřešilo přes 100 otevřených matematických problémů. Co zatím víme
OpenAI 21. září 2026 uvedla, že interní model, jehož trénink začal 28. K Navierovým–Stokesovým rovnicím firma popsala analytický důkaz a formalizaci v Leanu.
PublikovalUpraveno pomocí GPT-5.6 TerraObrázky vytvořeny pomocí GPT Image 2
Research answer
Key takeaways
- OpenAI 21. září 2026 uvedla, že interní model, jehož trénink začal 28.
- K Navierovým–Stokesovým rovnicím firma popsala analytický důkaz a formalizaci v Leanu.
- Není veřejně doloženo, že by byla vyřešena Hodgeova domněnka. Pravidla Clayova institutu navíc vyžadují kvalifikované zveřejnění, nejméně dva roky a všeobecné přijetí matematickou komunitou.[14][46]
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
Zářijové oznámení OpenAI je mimořádné tvrzení o výzkumném výsledku, nikoli hotový matematický verdikt. Firma 21. září uvedla, že nejmenovaný interní model, s jehož tréninkem začala 28. srpna, vyřešil více než 100 dlouhodobě otevřených problémů napříč většinou matematických oborů. Oznámení spojila se vznikem nezávislé poradní skupiny pro matematiku a AI při Institute for Advanced Study v Princetonu. 5
15
Klíčové je rozlišovat mezi tím, že společnost prohlásí problém za vyřešený, a tím, že důkaz veřejně prověří nezávislí matematici a obor jej přijme. Z dostupných materiálů zatím vyplývá první, nikoli plošně druhé.
Co OpenAI oznámila
Už 8. září OpenAI tvrdila, že přibližně 10 000 AI agentů s využitím neveřejného interního modelu během 88 hodin nalezlo singulární řešení ve vynucených trojrozměrných Navierových–Stokesových rovnicích. Firma to označila za řešení problému existence a hladkosti Navierových–Stokesových rovnic a uvedla, že vznikl analytický důkaz i formalizace v systému Lean. 1
13
Oznámení z 21. září tento nárok rozšířilo: vedle Navierových–Stokesových rovnic měl stejný interní model vyřešit více než 100 dalších dlouhodobě otevřených problémů. 5
15
Slovo „vyřešit“ je zde ale charakteristikou OpenAI. Samo o sobě neznamená, že každý výsledek byl zveřejněn, přezkoumán nezávislými odborníky a přijat matematickou komunitou.
Co bylo zveřejněno a co zatím chybí
U Navierových–Stokesových rovnic OpenAI veřejně popsala analytický důkaz a formalizaci v Leanu, tedy jazyce pro asistované ověřování důkazů. Výsledek zkontrolovaný Leanem je podstatný důkazní materiál: ukazuje, že přesně zapsané tvrzení plyne z formálně zapsaných definic, axiomů a dříve ověřené knihovny. 13
U širšího tvrzení o více než stovce problémů je veřejný podklad výrazně slabší. Oznámení neobsahovalo veřejný, položkový katalog úloh, jejich přesné formulace, důkazy, stav formalizace, původ výsledků ani stav nezávislého posouzení. Bez takového přehledu nelze titulní číslo kontrolovat problém po problému. 7
11
Dostupné zprávy zároveň nedokládají dokončené nezávislé recenzní řízení ani všeobecné přijetí důkazu Navierových–Stokesových rovnic matematickou komunitou. To jsou jiné standardy než zveřejnění důkazového artefaktu či úspěšná kompilace formálního kódu. 1
46
Je vyřešena Hodgeova domněnka?
Ne. Veřejně dostupné podklady neumožňují považovat Hodgeovu domněnku za vyřešenou.
Hodgeova domněnka patří mezi Millennium Prize Problems Clayova matematického institutu. 37 Podle dostupných zpráv OpenAI připustila výrazný pokrok u druhého, nejmenovaného miléniového problému. Veřejně však nepotvrdila, že jde právě o Hodgeovu domněnku, ani k ní nezveřejnila důkaz.
14
Zpráva o pokroku, spekulace nebo neověřené tvrzení nemohou nahradit zveřejněný důkaz, který mohou odborníci posoudit. Dokud nebude veřejná přesná formulace a podpůrná práce nezávisle prověřena, nelze tvrdit, že OpenAI Hodgeovu domněnku vyřešila.
Proč Lean nestačí jako jediná odpověď
Formální verifikace a lidské matematické porozumění řeší příbuzné, ale odlišné otázky.
Formalizace v Leanu může dát silnou jistotu, že v daném formálním nastavení nechybí logický krok. Formální zápisy však často rozepisují běžné matematické úvahy do velkého množství definic, pomocných vět, závislostí na knihovnách a technických přepisů. Pro odborníky pak nemusí být snadné z takového zápisu rychle vyčíst hlavní myšlenku.
Neznamená to, že „když to zkompiluje, je to bezcenné“. Znamená to jen, že samotná kompilace neodpoví na všechny otázky, které jsou pro matematiku důležité:
- Odpovídá formální tvrzení přesně zamýšlené formulaci miléniového problému?
- Jaký je nosný nápad konstrukce či mechanismu vzniku singularity?
- Které odhady a argumenty nesou hlavní intelektuální obsah?
- Je výsledek nový, robustní a použitelný pro další výzkum?
- Jak správně určit prioritu a zásluhy za související dřívější nápady?
Formální kontrola může být zásadní součástí ověření. Sama ale nevytvoří srozumitelný výklad pro lidi, nevyřeší otázku autorství ani nenahradí odborný konsenzus.
Spor o zásluhy a pravidla výzkumu
Oznámení vyvolalo kritiku, která nešla jen po technické správnosti důkazu. Pětadvacet držitelů Fieldsovy medaile podepsalo otevřený dopis A Severe Misalignment of AI in Mathematics. Varovali v něm před závodem AI laboratoří, které používají slavné matematické problémy jako demonstraci schopností svých systémů; podle zpráv by takové pobídky mohly poškodit výzkumnou kulturu i vzdělávání v matematice. 19
21
Samostatný spor o prioritu se týkal matematiků Tristana Buckmastera a Leventa Alpögeho. Buckmaster v dobovém prohlášení uvedl, že se dozvěděl o interním systému OpenAI s důkazem konečnočasového „blow-upu“ pro vynucené Navierovy–Stokesovy rovnice. Dodal také, že s Alpögem cítili tlak zveřejnit související práci dříve, než dokončí ověřování a výklad; jiný jejich výsledek pro hypodisipativní Navierovy–Stokesovy rovnice nezveřejnili, protože jeho kontrola v Leanu nebyla hotová. 17
Tento popis je důležitým svědectvím o sporu kolem načasování, autorství a publikačního tlaku. Sám o sobě ale nedokazuje, že OpenAI něčí práci zkopírovala. OpenAI uvedla, že na problému začala pracovat poté, co se doslechla o údajném průlomu obou matematiků, a nabídla souběžné zveřejnění s uznáním jejich priority. 32
Co může poradní skupina při IAS — a co nemůže
OpenAI oznámila neplacenou nezávislou devítičlennou Advisory Group on Mathematics and Artificial Intelligence, která působí při Institute for Advanced Study v Princetonu. Mezi uváděnými členy jsou Timothy Gowers a Martin Hairer. 4
5
Úkolem skupiny je dát matematikům roli při hodnocení a komunikaci výsledků vytvořených AI, včetně doporučení k jejich přezkumu a zveřejňování. 5
15
Jde však o poradní orgán, nikoli regulátora. Podle dostupných informací nemůže OpenAI donutit zveřejnit podkladové důkazy, určovat tempo výzkumu, vetovat oznámení ani definitivně rozhodovat o autorství. 7
Odborné poradenství tedy může zvýšit průhlednost a zlepšit komunikaci. Nemůže však samo proměnit interní firemní tvrzení v komunitou přijatou matematickou větu.
Proč zatím nepřipadá v úvahu Millennium Prize
Pravidla Clayova matematického institutu jsou jednoznačná. Než institut začne navrhované řešení miléniového problému posuzovat, musí být zveřejněno v kvalifikovaném odborném periodiku, od zveřejnění musejí uplynout nejméně dva roky a práce musí získat všeobecné přijetí světové matematické komunity. 46
Firemní blog, preprint, repozitář s kódem ani posouzení poradní skupiny tyto podmínky automaticky nesplňují. Clayův institut po oznámení o Navierových–Stokesových rovnicích připomněl, že jeho pravidla upravují jak vyhodnocení výsledku, tak přiznání zásluh. 42
I kdyby se nakonec ukázalo, že výsledek OpenAI o Navierových–Stokesových rovnicích či některý další výsledek je správný, zářijová oznámení z něj cenu okamžitě nedělají. Práce by ještě musela projít zavedeným procesem publikace a odborného přijetí.
Shrnutí
OpenAI tvrdí, že její interní AI vyřešila více než 100 otevřených matematických problémů, po dřívějším tvrzení o leanovské formalizaci řešení Navierových–Stokesových rovnic. K Navierovým–Stokesovým rovnicím existují veřejné artefakty; pro širší soubor výsledků zatím chybí veřejný důkazní záznam úlohu po úloze. 13
11
Nejrozumnější závěr proto není ani okamžité odmítnutí, ani přijetí. Jde o potenciálně zásadní tvrzení, která vyžadují transparentní důkazy, nezávislou odbornou kontrolu, pečlivé určení zásluh a čas. To platí dvojnásob pro jakýkoli náznak, že by mohl být vyřešen další miléniový problém — například Hodgeova domněnka.
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 tvrdí, že vyřešilo přes 100 otevřených matematických problémů. Co zatím víme"?
OpenAI 21. září 2026 uvedla, že interní model, jehož trénink začal 28.
What are the key points to validate first?
OpenAI 21. září 2026 uvedla, že interní model, jehož trénink začal 28. K Navierovým–Stokesovým rovnicím firma popsala analytický důkaz a formalizaci v Leanu.
What should I do next in practice?
Není veřejně doloženo, že by byla vyřešena Hodgeova domněnka. Pravidla Clayova institutu navíc vyžadují kvalifikované zveřejnění, nejméně dva roky a všeobecné přijetí matematickou komunitou.[14][46]