OpenAI vyřešilo 10 matematických záhad. Cena za jeden důkaz? Dva tisíce dolarů

Zlatý důl v tokenech

OpenAI 1. srpna 2026 oznámilo zásadní milník v automatizovaném uvažování. Jejich interní model, popsaný jako budoucí Astra, vyřešil deset matematických a kryptografických problémů, na kterých lidský výzkum přešlapoval na místě přes deset let. Tým zveřejnil kompletní formální důkazy v jazyce Lean 4 v repozitáři na GitHubu. Nejzajímavější metrikou je ale cena za objev: OpenAI tvrdí, že na získání každého úspěšného řešení spotřebovali výpočetní výkon v hodnotě menší než 2 000 dolarů.

Co marketing neříká nahlas

Číslo 2 000 dolarů zní uhrančivě levně za dekádu starý problém. Zpráva od OpenAI ale elegantně mlčí o tom, na kolika dalších problémech model vyhořel, aniž by přinesl jakýkoli výsledek. Zveřejněná částka reprezentuje úspěšné hity přepočítané na tehdejší ceny API modelu GPT-5.6 Sol, ne celkový budget výzkumného oddělení na tento projekt. Zveřejněný dodatečný PDF dokument, kde model „rekonstruuje“ svůj myšlenkový postup, navíc vznikl až ex post z původních skrytých logů uvažování.

Limity formalizovaného světa

Schopnost modelu vyplivnout platný certifikát v Lean 4 je obrovský krok pro rigorózní matematiku. Znamená to ale, že AI dokáže vyřešit cokoliv? Ne. Matematika a kryptografie poskytují deterministická pravidla hry, kde je řešení buď prokazatelně správně, nebo prokazatelně špatně. U aplikovaných problémů v reálném světě, kde chybí jasná cílová funkce, se model nemá o co opřít. Astra zde exceluje, protože může donekonečna validovat své mezikroky proti matematickému simulátoru.

Oči na vědecké adopci

Pokud dokáže stroj ověřeně posouvat hranice oboru za zlomek platu akademika, změní to grantovou politiku. Důkazem nebudou další tiskové zprávy OpenAI, ale to, jestli univerzity a výzkumná centra začnou běžně přesměrovávat rozpočty z lidských post-doc pozic do masivních API rozpočtů pro o-series a Astra modely.

Lilithin verdikt

Dva tisíce dolarů za matematický průlom vypadá úžasně, dokud si neuvědomíte, že mimo bezpečný simulátor model pálí peníze bez kompasu.