OpenAI zverejnila stovky matematických výsledkov. Dôkazy teraz čaká skúška v odbornej komunite

OpenAI zverejnila stovky matematických rukopisov vytvorených interným modelom. Rozsah práce je pozoruhodný, no jej správnosť, pôvod myšlienok a prínos musia posúdiť matematici.

OpenAI 6. októbra 2026 sprístupnila rozsiahlu zbierku matematických rukopisov, ktoré podľa spoločnosti vytvoril jej dosiaľ nevydaný interný model. Témy siahajú od teórie čísel a algebry po teoretickú informatiku či matematickú fyziku. Je to nezvyčajne veľký balík práce na odborné posúdenie. Samotné zverejnenie však ešte neznamená, že každý uvedený výsledok je správny, nový alebo významný.

Práve v tomto rozdiele spočíva podstata udalosti. Model môže navrhnúť dôkaz a počítač môže skontrolovať jeho presne zapísanú podobu. Matematikov však stále zaujíma, čo dôkaz v skutočnosti hovorí, z akých starších myšlienok vychádza a či otvára ďalšie otázky. Pri stovkách prác naraz sa z technickej schopnosti generovať výsledky stáva aj problém organizácie vedy.

Koľko výsledkov OpenAI vlastne zverejnila?

Česká tlačová kancelária v správe prevzatej serverom České noviny uvádza 377 výsledkov. Verejný repositár OpenAI pri kontrole 7. októbra opisuje svoj katalóg inak: obsahuje 722 rukopisov usporiadaných do 372 skupín súvisiacich prác. Jedna skupina môže združovať hlavný výsledok, alternatívny dôkaz alebo následné tvrdenia. Tieto údaje preto neoznačujú rovnakú jednotku a rozdiel medzi číslami nemožno bez ďalšieho vysvetlenia uzavrieť jednoduchým prepočtom.

Za bezpečne doložené možno považovať to, že rukopisy a sprievodné materiály sú verejne dostupné a OpenAI ich pripisuje svojmu internému systému. Nie je tým doložené, že nezávislá komunita preverila všetkých 372 skupín alebo všetkých 722 rukopisov. Samotná spoločnosť v repositári upozorňuje, že práce sú v rôznych štádiách kontroly a niektoré výsledky bez formálneho dôkazu môžu obsahovať problémy.

Rozlišovať treba aj medzi počtom rukopisov a počtom vyriešených otázok. Viaceré texty sa môžu týkať jedného problému, zatiaľ čo výsledok v inom texte môže upravovať známe tvrdenie alebo rozvíjať skoršiu prácu modelu. Katalóg je preto užitočný ako mapa tvrdení určených na skúmanie, nie ako hotový zoznam potvrdených objavov.

Ako vznikal súbor matematických prác

OpenAI uvádza, že pri vývoji modelu testovala jeho schopnosti na otvorených výskumných problémoch. Keď doterajšie matematické hodnotenia prestali podľa spoločnosti dostatočne rozlišovať výkonnosť modelov, rozšírila skúšanie na ďalšie úlohy. V repositári píše o približne 4 000 zadaných problémoch. Zverejnené rukopisy teda predstavujú výber výstupov z rozsiahlejšieho testovania, nie úplný záznam všetkých pokusov.

Spoločnosť zároveň uvádza priemernú spotrebu výpočtov na výsledok ako ekvivalent približne troch hodín režimu premýšľania v ChatGPT Pro. Nejde o údaj, z ktorého by bolo možné priamo odvodiť čas práce ľudského matematika alebo cenu jedného objavu. Je to vlastné porovnanie OpenAI s jej produktom. Bez podrobností o jednotlivých pokusoch by bolo zavádzajúce vyvodzovať z uvedených čísel všeobecnú úspešnosť modelu.

Súčasťou vydania je desať skrátených súhrnov postupov pri vybraných výsledkoch. Ide o užitočný doplnok, nie o úplnú rekonštrukciu postupu pri každej práci. OpenAI tiež uvádza výnimky z prevládajúceho pracovného postupu a pri jednom rukopise výslovne priznáva ľudskú úpravu textu kvôli čitateľnosti. Aj takéto detaily sú dôležité, ak má byť jasné, čo vytvoril model a kde zasiahol človek.

Výskumník môže s publikovaným rukopisom pracovať aj bez prístupu k pôvodnému modelu. Nemôže však za rovnakých podmienok zopakovať celý proces výberu úloh a generovania odpovedí, keďže použitý interný model zatiaľ nie je verejne dostupný. OpenAI hovorí, že pracuje na jeho zodpovednom sprístupnení; termín ani podmienky tohto kroku vo svojom oznámení neuvádza.

Lean kontroluje dôkaz, nie celý vedecký príbeh

Pre časť výsledkov OpenAI zverejnila formalizácie v systéme Lean. Pri takomto postupe sa matematické tvrdenie a argument zapisujú vo forme, ktorú vie kontrolovať počítačový overovač. To je podstatne silnejšie než len presvedčivo znejúci text: presne zapísaný dôkaz musí obstáť voči pravidlám použitého systému. Repositár však výslovne uvádza, že formalizáciu nemajú všetky rukopisy.

Ani úspešná kontrola v systéme Lean neodstraňuje potrebu ľudského čítania. Podľa dokumentácie projektu záleží napríklad na tom, či formálne tvrdenie naozaj zodpovedá otázke, ktorú chcel autor riešiť. Matematici musia rozumieť použitým definíciám a predpokladom. Bez tejto kontroly by sa mohlo stať, že stroj bezchybne overí dôkaz iného alebo užšieho tvrdenia, než naznačuje jeho slovný opis.

Ďalšou rovinou je pôvodnosť. Formálny overovač nerozhoduje, či sa podobný argument už nachádza v odbornej literatúre, ani komu patrí prvenstvo pri rozhodujúcej myšlienke. Nevysvetlí tiež, prečo je výsledok dôležitý alebo ako sa dá použiť inde. To nie je nedostatok systému Lean; ide o otázky, na ktoré má odpovedať odborná diskusia nad presným tvrdením a jeho súvislosťami.

Pri veľkom počte rukopisov sa preto práca nekončí úspešným spustením kontrolného nástroja. Niekto musí určiť priority, porovnať nové tvrdenia s existujúcimi článkami, opraviť prípadné medzery a pripraviť vysvetlenia prístupné ďalším výskumníkom. Ak by sa tieto úlohy preniesli výlučne na akademickú komunitu, náklady publikovania by niesli iní ľudia než laboratórium, ktoré výsledky vytvorilo.

Odporúčame

AI 6. októbra 2026

ChatGPT dostane v EÚ neviditeľný vodoznak. Čo textGrain odhalí – a čo nie

OpenAI začne v EÚ označovať texty z ChatGPT a Codexu neviditeľným vodoznakom. Vysvetľujeme, čo dokáže odhaliť, prečo sa dá stratiť a čo mení AI Act.

9 min 0

Dôležité AI 30. septembra 2026

OpenAI odkladá IPO pre bezpečnosť modelov. Altman rieši konflikt medzi burzou a kontrolou AI

Sam Altman odkladá vstup OpenAI na burzu, kým firma nebude vedieť presvedčivo doložiť bezpečnosť výkonnejších modelov. Čo je potvrdené a čo zostáva otvorené?

9 min 0

Prečo sa vracia spor o Navierove-Stokesove rovnice

Nová zbierka nadväzuje na septembrové oznámenie OpenAI o návrhu riešenia problému existencie a hladkosti riešení Navierových-Stokesových rovníc. Spoločnosť tvrdí, že jej interný systém skonštruoval dôkaz vzniku singularity v konečnom čase, a zverejnila aj formalizáciu v systéme Lean. Ide o jeden z problémov milénia, ktoré vyhlásil Clay Mathematics Institute. Správnejšie je hovoriť o tvrdení o konkrétnom správaní riešení než o všeobecnom „vyriešení rovnice“.

Clay Mathematics Institute v septembri označil oznámenie za zdanlivé vyriešenie problému, nie za ukončený proces odborného uznania. Jeho pravidlá vyžadujú okrem iného publikáciu vo vyhovujúcom odbornom médiu, odstup aspoň dvoch rokov a všeobecné prijatie v matematickej komunite pred tým, než sa môže zaoberať udelením ceny. Označiť septembrový výsledok za už potvrdené udelenie miliónovej odmeny by preto bolo nepresné.

September otvoril aj otázku pôvodu nápadov. Matematik Tristan Buckmaster upozornil na riziko, že systémy používané vedcami môžu nepriamo získať poznatky z rozpracovaného výskumu. OpenAI odmieta, že by jej dôkaz vychádzal z neverejnej práce Buckmastera a Leventa Alpögeho; uvádza aj výsledok vlastného preverovania možného vplyvu používateľských vstupov. Z dostupných podkladov nemožno nezávisle rozhodnúť spor o všetkých okolnostiach vzniku dôkazu. Obava a vyjadrenie spoločnosti preto zostávajú odlišnými tvrdeniami.

Čo žiada nezávislá skupina matematikov

Poradná skupina pre matematiku a umelú inteligenciu pôsobiaca pri Institute for Advanced Study v Princetone zverejnila 29. septembra odporúčania pre laboratóriá AI. Skupina uvádza, že je od firiem nezávislá a jej členovia za túto činnosť neprijímajú odmenu. Jej úlohou nie je schvaľovať dôkazy za celú vedeckú obec. Odporúčania vznikli aj na základe viac než 600 odpovedí od matematickej komunity.

Skupina rozlišuje medzi prácou, ktorej argumentu zodpovedný matematik rozumie, a výstupom, ktorý zatiaľ nikto plne nevysvetlil. V prvom prípade odporúča bežný akademický postup vrátane odborného posudzovania a prezentovania výsledku. V druhom žiada, aby laboratórium pomohlo vybudovať ľudské porozumenie: preverilo súvisiacu literatúru, jasne zapísalo tvrdenia a podporilo ich ďalšie skúmanie.

Medzi konkrétnymi požiadavkami sú údaje o použitom modeli, zadaniach, skrátenom postupe uvažovania, čase a odhadovaných výpočtových nákladoch. Skupina odporúča aj vhodné nezávislé odborné úložiská, transparentné zaznamenávanie opráv a formalizáciu dôkazov, pokiaľ je možná. Podstatné je tiež vysvetliť, ako boli problémy vybrané a koľko porovnateľne náročných úloh model neúspešne skúšal.

Pri jednej zásadnej otázke sa postoje výslovne rozchádzajú. Poradná skupina žiada laboratóriá, aby prestali testovať pokročilé matematické problémy na uzavretých modeloch nedostupných širšej komunite. OpenAI naopak obhajuje pokračovanie takýchto hodnotení ako súčasť vývoja lepších vedeckých nástrojov. Zverejnenie rukopisov a časti sprievodných údajov teda neznamená, že spoločnosť prijala všetky odporúčania.

V reakcii zo 6. októbra poradná skupina ocenila samotné sprístupnenie prác ako dôležitý krok, súčasne však odmietla, aby sa jej poradná úloha vykladala ako schválenie spôsobu ich vzniku či hodnotenie významu jednotlivých výsledkov. Zdôraznila potrebu nezávislého posúdenia a možnosti, aby matematici naďalej určovali vlastné výskumné otázky, nielen vysvetľovali zadania vybrané technologickými firmami.

Čo rozhodne o skutočnom prínose

OpenAI prisľúbila podporu workshopov a ďalších podujatí zameraných na porozumenie výsledkom. Zatiaľ ide o oznámený zámer, nie o dôkaz, že všetky rukopisy už našli odborných garantov. Prínos zbierky sa ukáže postupne: pri kontrole jednotlivých tvrdení, opravách, spoľahlivom uvedení predchádzajúcich prác a pri schopnosti ďalších matematikov využiť vzniknuté myšlienky.

Už teraz je potvrdené, že AI laboratórium dokázalo naraz vydať mimoriadne rozsiahly súbor odborných textov a podkladov na overovanie. Nie je potvrdené, aká časť tvrdení po nezávislej kontrole obstojí ani ktoré z nich zmenia smer výskumu. Rozumné hodnotenie sa preto musí pohybovať medzi dvoma skratkami: automaticky neodmietať strojom vytvorenú matematiku, ale ani nepovažovať každý publikovaný rukopis za uzavretý objav.

Najdôležitejšou skúškou napokon nemusí byť počet dokumentov. Bude ňou schopnosť premeniť strojom navrhnuté argumenty na poznanie, ktorému ľudia rozumejú, vedia ho preveriť a môžu na ňom slobodne stavať. Zbierka OpenAI tento proces začala. To, či ho aj urýchli v prospech celej matematickej komunity, zostáva otvorenou otázkou.