Model Astra od OpenAI vyřešil deset významných otevřených matematických problémů z osmi různých oblastí za cenu asi 2000 dolarů, včetně problému grup z roku 1995 a vyvrácení Konesovy hypotézy rigidity, na které matematici stavěli 40 let. Klíčovou roli hraje program Lean, který formálně ověřuje každý krok důkazu a zaručuje logickou správnost bez ohledu na autora. Zatímco někteří experti jako Jean-François Piget radí se čisté matematice vyhnout, jiní jako Scott Armstrong vidí v AI nástroj k rychlejšímu hledání pravdy. Hlavní hrozbou však není ztráta pracovních míst, ale příval správných, ověřených, avšak bezvýznamných výsledků, kterým Marek Bartoš říká pravdivý balast a které nikdo nestihne smysluplně posoudit. Nejtěžší otázkou budoucnosti tak nebude jak najít správnou odpověď, ale kdo a podle čeho rozhodne, které otázky vůbec stojí za řešení. Marek Bartoš varuje, že až budeme mít odpovědí příliš mnoho, můžeme se přestat ptát — a právě kladení otázek je přitom základem veškerého lidského pokroku.

📅 Datum vydání: 9.8.2026
📺 Zdroj: Objevy AI přináší NEČEKANÝ problém…
Klikněte na odkaz a dejte odběr na kanálu autora, podpoříte ho a vylepšíte svůj algoritmus.

▶ 00:00
Dvě otázky o AI a matematice — Marek Bartoš otevírá video otázkou, zda jazykové modely dokážou dělat skutečnou matematiku a zda lze jejich výsledkům věřit, a naznačuje, že možná řešíme špatný problém.

▶ 00:41
Astra řeší otevřené problémy — OpenAI model Astra vyřešil deset významných otevřených matematických problémů z osmi různých oblastí, včetně problému grup z roku 1995, za cenu přibližně 2000 dolarů.

▶ 02:43
Konesova hypotéza vyvrácena — Astra nalezla protipříklad ke Konesově hypotéze rigidity z roku 1980, čímž ukázala, že předpoklad, na kterém matematici 40 let stavěli, neplatí.

▶ 03:46
Lean a formální ověřování — Program Lean ověřuje matematické důkazy krok po kroku, nedovolí přeskakovat mezery v argumentaci a důkaz buď projde, nebo neprojde.

▶ 05:04
Jak model spolupracuje s Leanem — Model navrhuje kroky důkazu, Lean je přijímá nebo odmítá, a tento cyklus se může miliardkrát opakovat, dokud nevznikne celý logicky platný důkaz.

▶ 05:54
Pigetovo varování matematikům — Expert Jean-François Piget by se dnes čisté matematice a teoretické informatice vyhnul, protože v symbolickém prostředí bez odporu reálného světa je AI jako doma.

▶ 06:56
Příběh Henryho Yuena — Výzkumník z Kolumbijské univerzity strávil několik let na problému kvantového paralelního opakování, který Astra vyřešila během jednoho víkendu a nedokázala vysvětlit, jak k řešení dospěla.

▶ 07:52
Hodnota lidské práce — Marek Bartoš doporučuje automatizovat činnosti bez přidané hodnoty a hledat místa, kde má lidská práce větší hodnotu než strojová.

▶ 08:48
Workshop Hands on AI — Řečník zve na svůj celodenní workshop v Praze, Brně, Ústí nad Labem a Pardubicích zaměřený na bezpečnou automatizaci práce a soustředění na nenahraditelnou hodnotu.

▶ 09:48
Armstrongův optimismus — Matematik Scott Armstrong z NYU považuje AI v matematice za důvod k radosti, protože matematika nemá být pomníkem lidské geniality, ale nástrojem k hledání pravdy.

▶ 10:38
Most pro vědce — Když výzkumníci intuitivně tuší odpověď, ale neumí ji formálně dokázat, Astra dokáže postavit důkazový most během sekund a posunout výzkum dál.

▶ 12:16
Správnost versus porozumění — Jeden z důkazů Astry má 249 stran husté formální logiky, kterou žádný člověk nedokáže sledovat jako souvislou myšlenku, takže získáváme správný výsledek bez porozumění.

▶ 13:46
Pythagorova věta jako varování — Většina lidí zná Pythagorovu větu jen jako poučku bez pochopení její převratnosti a stejně tak mohou špičkoví matematici jednou hledět na AI generované věty bez skutečného porozumění.

▶ 15:19
Pravdivý balast — Marek Bartoš varuje před přívalem správných, ověřených, ale bezvýznamných výsledků, kterými AI zahltí matematiku, zatímco lidé budou trávit týdny posuzováním, zda v nich není něco důležitého.

▶ 17:17
Kdo bude klást otázky — Nejtěžší nebude najít správnou odpověď, ale poznat, které otázky stojí za řešení, přičemž směr výzkumu mohou postupně určovat firmy vyvíjející modely.

▶ 19:27
Přestaneme se ptát — Marek Bartoš uzavírá, že možná nenastane doba, kdy nám budou chybět odpovědi, ale doba, kdy jich budeme mít tolik, že se přestaneme ptát.

🔴 DŮLEŽITÉ UPOZORNĚNÍ A VYLOUČENÍ ODPOVĚDNOSTI

Výše uvedený text je shrnutí původního video obsahu a byl vygenerován výhradně umělou inteligencí (AI) bez jakéhokoli následného lidského ověření nebo kontroly. Provozovatel těchto webových stránek (dále jen „provozovatel“) výslovně upozorňuje, že takto generovaný text může obsahovat:

  • Faktické chyby a nepřesnosti
  • Zavádějící nebo neúplné informace
  • Informace vytržené z kontextu původního díla
  • Nepravdivá tvrzení nebo údaje (tzv. „halucinace“ AI)

Toto shrnutí slouží pouze ke zcela nezávazným, informativním nebo studijním účelům a v žádném případě nenahrazuje zhlédnutí původního video obsahu. Provozovatel důrazně nedoporučuje činit na základě tohoto shrnutí jakákoli rozhodnutí (obchodní, finanční, zdravotní, právní či jiná).

Provozovatel se tímto v maximálním možném rozsahu povoleném právními předpisy České republiky a Evropské unie zříká jakékoli odpovědnosti za:

  • Správnost, úplnost, aktuálnost nebo pravdivost informací obsažených v tomto shrnutí
  • Jakoukoli přímou či nepřímou újmu (majetkovou i nemajetkovou), která by uživateli nebo jakékoli třetí straně vznikla v důsledku použití nebo spoléhání se na informace z tohoto shrnutí
  • Případné porušení práv třetích stran (včetně práv autorských nebo práv na ochranu osobnosti), kterého by se mohlo shrnutí generované AI dopustit

Použitím tohoto shrnutí bere uživatel na vědomí, že tak činí výhradně na své vlastní riziko a odpovědnost. Pro ověření jakýchkoli informací je uživatel povinen zhlédnout původní zdroj (video) a/nebo konzultovat danou problematiku s kvalifikovaným odborníkem.

⚠️ MECHANISMUS PRO NAHLÁŠENÍ PROBLEMATICKÉHO OBSAHU (NOTICE & TAKE DOWN)

Provozovatel bere ochranu práv třetích stran vážně. Pokud se domníváte, že kterékoli automaticky generované shrnutí obsahuje faktické chyby, zasahuje do vašich práv (např. autorských práv, práv na ochranu osobnosti) nebo je jinak v rozporu s platnými právními předpisy, žádáme vás o neprodlené oznámení. Kontaktujte nás prosím e-mailem na adrese: chyba@shrnuti.cz

Do předmětu e-mailu uveďte „Nahlášení obsahu“ a v těle zprávy prosím specifikujte:

  • Přesný odkaz (URL) na stránku obsahující problematický souhrn
  • Jasný popis problému — uveďte, v čem spatřujete pochybení (např. „text je nepravdivý“, „zasahuje do mého práva na ochranu osobnosti“, „porušuje autorská práva k…“)
  • Vaše kontaktní údaje pro případnou zpětnou vazbu

Provozovatel se zavazuje každé takové oznámení přijaté v dobré víře bez zbytečného odkladu prověřit a v případě, že bude oznámení shledáno oprávněným, zjednat adekvátní nápravu (zejména opravou, nebo trvalým odstraněním dotčeného textu).