OpenAI 6. října 2026 zveřejnila 722 rukopisů pokrývajících 372 rodin výsledků, které vznikly z dosud nevydaného frontier modelu a řeší dlouhodobě otevřené matematické problémy. Lean formalizace důkazů i výzkumné detaily OpenAI sdílí na GitHubu. Wired upozorňuje, že část matematiků postup firmy ostře kritizuje.
OpenAI 6. října 2026 zveřejnila druhou dávku matematických výsledků od interního frontier modelu, který dosud nebyl veřejně dostupný. Publikace zahrnuje 722 rukopisů seskupených do 372 rodin příbuzných výsledků, spolu s formálními důkazy ve formátu Lean a výzkumnými detaily na GitHubu.
The Verge i OpenAI blog uvádějí, že výsledky pokrývají různé oblasti matematiky a navazují na dřívější menší výpust. Cílem je ukázat, kde AI v matematice stojí, a umožnit akademické komunitě výsledky ověřit.
Ne všichni jsou nadšení. Wired informuje, že část matematiků firmě vyčítá způsob, jakým výsledky prezentuje: vnímají v tom postup, který připomíná mocenské chování velkých firem. Akademická komunita nemá standardní peer review na AI matematiku připravenou.
Proč by vás to mělo zajímat
Matematici a výzkumníci mohou formalizace důkazů a rukopisy přímo prozkoumat na GitHubu a ověřit, co frontier modely skutečně vyřešily. Pro ostatní čtenáře je klíčová otázka: AI v matematice sahá po výsledcích, které lidé roky neopracovávali, a to mění, kde bude výzkum probíhat dál.
