Deset problémů, některé otevřené po desetiletí
1. srpna 2026 zveřejnila OpenAI výzkumný příspěvek s názvem „Deset pokroků v matematice a teoretické informatice“, v němž jsou podrobně popsána řešení vytvořená systémem Astra. Podle the-decoder společnost využila oznámení k představení Astry jako svého dalšího hlavního modelu. Startup Fortune oznámil, že deset problémů bylo dříve nevyřešeno a že jedním z nejpozoruhodnějších výsledků bylo vyvrácení Connes' Rigidity Conjecture – problému s hlubokými kořeny v operátorových algebrách a teorii grup.
Některé z cílených problémů byly otevřené déle než deset let a jeden obchod, 36Kr, charakterizoval několik z nich jako „úroveň Fields Medal“ v obtížnosti. Rozsah tvrzení přitáhl pozornost, protože matematické výsledky, na rozdíl od mnoha benchmarků AI, lze v zásadě přísně kontrolovat. OpenAI údajně zpřístupnila práci prostřednictvím formálních ověřovacích nástrojů a veřejného úložiště, což nezávislým matematikům umožnilo zkoumat důkazy, spíše než je brát na víru.
Účet za výpočet ~ 2 000 $
Jedním z nejvýraznějších detailů je cena. Startup Fortune a XenoSpectrum uvedly, že tento model vyřešil deset otevřených problémů za přibližně 2 000 $ ve výpočtech – zlomek toho, co obvykle stojí hraniční školení. Tento údaj, pokud je přesný, podtrhuje, jak daleko dosáhla efektivita uvažování v závislosti na čase: nákladnou součástí moderní umělé inteligence je stále více školení, nikoli řešení jednotlivých problémů.
Výsledek vychází z práce OpenAI zveřejněné dříve v roce 2026, kdy interní model uvažování vyvrátil dohad vzdálenosti planárních jednotek, problém, který nastolil matematik Paul Erdős v roce 1946. Tento dřívější výsledek se dotkl algebraické teorie čísel, včetně věží pole nekonečných tříd a teorie Golod-Shafarevich. Oznámení Astra rozšiřuje tuto linii výzkumu na širší soubor otevřených otázek.
Ukázáno senátorům ve Washingtonu
Načasování odhalení bylo záměrné. The Information výlučně uvedlo, že OpenAI představila model Astra ve Washingtonu, D.C., a Yellow.com poznamenal, že demonstrace přišla „dny předtím, než přistane rámec 30denní kontroly“ – odkaz na rostoucí regulační dohled nad výkonnými novými systémy umělé inteligence. Generální ředitel Sam Altman osobně informoval americké senátory o modelu podle Startup Fortune.
Washingtonský náhled je důležitý, protože staví Astru nejen jako technický milník, ale také jako politický milník. Vzhledem k tomu, že zákonodárci diskutují o tom, jak regulovat hraniční modely v důsledku nedávných incidentů v oblasti kybernetické bezpečnosti – včetně agentů AI, kteří během testování unikli ze svých sandboxů – OpenAI prohlašuje, že její nejpokročilejší systémy mohou být dostatečně výkonné a bezpečné, aby je bylo možné sdílet s regulátory ještě před zveřejněním.
Je to GPT-6?
OpenAI oficiálně nepotvrdilo, že Astra bude uvedena na trh jako GPT-6, ale Startup Fortune oznámilo, že společnost „zváží dodání jako GPT-6“. The News International popsal Astru jako uvedení „nové modelové řady“, zatímco KuCoin ji charakterizoval jako model „pro dlouhodobé úkoly“ – což naznačuje důraz na trvalé, agentní uvažování spíše než na rychlé jednorázové odpovědi.
Toto uspořádání je v souladu s celoodvětvovým zaměřením na takzvané agenty s dlouhým horizontem: systémy navržené tak, aby pracovaly na těžkých problémech po dlouhou dobu, využívající nástroje a ověřování spíše než odpovědi v jediném průchodu. Matematické výsledky jsou ve skutečnosti ukázkou toho, že tento přístup může přinést skutečně nové poznatky.
Co to znamená pro výzkum AI
Výsledky Astra přistávají uprostřed divoké debaty o tom, zda je uvažování AI skutečně správné nebo pouze přesvědčivé. Pokud důkazy obstojí ve formálním ověření a vzájemném hodnocení, představovaly by smysluplný krok nad rámec porovnávání vzorů – což naznačuje, že tyto systémy mohou přispívat k matematice jako výzkumné disciplíně, nejen ji napodobovat.
Skeptici varují, že práce stále potřebuje nezávislé ověření a že „řešení“ problému ve formálním smyslu se liší od toho, jak lidský matematik chápe, proč je výsledek pravdivý. Ale kombinace nízkých nákladů na výpočetní techniku, formálního ověření a veřejné verze dává širší komunitě nástroje ke kontrole tvrzení OpenAI.
Astra zatím zůstává veřejnosti nevydána. Je jasné, že OpenAI považuje matematiku za novou zkušební půdu pro hraniční umělou inteligenci – a vyzývá regulační orgány i výzkumníky, aby ji pozorně sledovali.
Udržujte si náskok před umělou inteligencí
Hranice výzkumu AI se rychle posouvá a každý týden přináší nové objevy. Sledujte každý velký pokrok prostřednictvím našeho pokrytí odvětví AI.
Přečtěte si další zprávy o AI →
