AI agenti firmy Axiom strojově ověřili nejdelší důkaz v matematice

AI agenti ověřili nejdelší důkaz v matematice a našli v něm chyby

Co se stalo. Axiom Math↗ 26. října zveřejnila počítačem ověřenou verzi klasifikace konečných jednoduchých grup, jednoho ze stěžejních výsledků matematiky 20. století (Axiom Math, 2026). Původní důkaz má zhruba 15 000 stran ve více než 500 článcích od asi 100 matematiků. Inženýři a matematici z Axiomu během 24 dní řídili desítky AI agentů, kteří napsali přibližně 43,1 milionu řádků kódu v programu Lean↗, jenž kontroluje každý krok důkazu.

Práce odhalila 34 závažných odchylek od publikovaného záznamu. V jednom případě agenti našli protipříklady ke kroku v důkazu z roku 1986 a AI firmy Axiom k uzavření mezery vytvořila nový výsledek. K nejvážnějším případům se vyjadřovali přední odborníci na teorii grup. Kód je na GitHubu↗ a Axiom zveřejní úplný seznam chyb (Axiom Math, 2026).

Proč na tom záleží. Agenti dokázali prověřit dílo, které je pro jakýkoli tým příliš rozsáhlé na ruční kontrolu, a ukázat, kde je chybné. Stejný postup se hodí na smlouvy, regulatorní dokumentaci, patentová portfolia i odbornou literaturu. Lidé musí dál potvrdit, že ověřené tvrzení říká to, co mělo. Stroj kontroluje jen jednotlivé kroky.

Co dělat. Když vám dodavatel ukazuje výsledky AI, chtějte výstup, který může zkontrolovat nezávislá strana, ne shrnutí.

Anthropic koupil jednočlennou biotechnologickou firmu a zveřejnil výsledky partnerů z vývoje léků

Co se stalo. Anthropic↗ 27. října oznámil, že převzal Mithril Medicine, firmu o jednom člověku, jejíž zakladatel pomocí Claude↗ koordinoval práci 11 externích laboratoří (Anthropic, 2026). Za méně než 18 měsíců firma dovedla léčbu dvou vzácných forem svalové dystrofie od nápadu k slibným výsledkům na myších. Podle Anthropicu by klinické zkoušky na lidech mohly začít nejdříve koncem roku 2028.

Čísla zveřejnili i partneři. Ve firmě Generate Biomedicines↗ byl návrh části buněčné terapie vytvořený s pomocí Claude asi o 70 % kratší než standardní verze. Ve firmě Enveda↗ Claude v 1 061 stranách dokumentace našel všech 11 problémů, které zachytili lidští recenzenti, upozornil na sedm dalších a zkrátil dobu kontroly o 89 %. Bristol Myers Squibb↗ pomocí Claude odhaduje, jak pravděpodobně uspějí plány raných klinických studií. Pro tuto práci text žádná čísla neuvádí (Anthropic, 2026).

Proč na tom záleží. Dodavatel AI teď vlastní kandidáta na lék. Farmaceutické firmy, které AI modely nakupují, musí počítat s tím, že jim jejich dodavatel v některých oblastech začne konkurovat.

Banky a Blackstone dávají 63 miliard dolarů na čipy pro Anthropic

Co se stalo. Bank of America↗, Blackstone↗, Citi↗ a Morgan Stanley↗ 26. října oznámily financování ve výši 63 miliard dolarů pro nově založenou společnost. Jejím jediným účelem je kupovat AI čipy a síťové vybavení od firmy Broadcom↗ a pronajímat je Anthropicu (Broadcom, 2026a). Dodávky mají začít v roce 2027. Broadcom ručí za část zůstatkové hodnoty hardwaru. Svou maximální expozici odhaduje na 43 miliard dolarů, přičemž během pěti let splátek nájmu klesne na nulu (Broadcom, 2026b).

Podle agentury Reuters tvoří nadřízené úvěry asi 43,5 miliardy dolarů, tedy 69 % celku. Obchod navazuje na dřívější balík 35 miliard dolarů od firem Apollo↗ a Blackstone pro stejné čipové partnerství (Soni et al., 2026).

Proč na tom záleží. Výpočetní výkon pro AI se přesouvá do leasingu: hardware vlastní samostatná společnost a AI laboratoř si ho pronajímá. Anthropic týž den požádal o vstup na burzu. Tyto splátky jsou dlouhodobé náklady, které by investoři i velcí zákazníci měli sčítat s jeho cloudovými smlouvami.

Discord pustí zprávy z veřejných komunit do webového vyhledávání

Co se stalo. Discord↗ 27. října oznámil, že každý z více než 63 000 Discoverable Servers, jeho otevřených komunit s nejméně 1 000 členy, dostane od 16. listopadu veřejnou webovou stránku (Duncombe-Smith, 2026). Stránky mohou ukazovat automatická shrnutí veřejných kanálů. Od poloviny prosince se vybrané zprávy mohou objevit ve výsledcích vyhledávačů, bez uživatelských jmen a avatarů. Správci určují, které kanály se zapojí, a členové se mohou odhlásit. V EU, Spojeném království, Kanadě, Brazílii, Austrálii a Jižní Koreji zůstávají zprávy členů skryté, dokud je členové sami nezveřejní. Dospívající uživatelé jsou vyloučeni všude.

Proč na tom záleží. Debaty o produktech, chybách a konkurentech, které byly zvenku těžko dostupné, půjde dohledat. Firmy získají nový zdroj pro sledování trhu a příspěvky zaměstnanců ve veřejných serverech mimo Evropu bude snazší najít.

Co dělat. Pokud vaše firma provozuje Discoverable Server, zkontrolujte do 16. listopadu nastavení kanálů v sekci Web Presence.

Itálie vyžaduje, aby každé pracovní rozhodnutí s pomocí AI učinil člověk

Co se stalo. Italský legislativní dekret č. 179/2026, který provádí části evropského AI Actu, vstoupil v platnost 23. října (Repubblica Italiana, 2026). Jeho článek 41 stanoví, že zaměstnavatel využívající AI musí zajistit, aby rozhodnutí o vzniku, změně nebo ukončení pracovního poměru, včetně kázeňských opatření a hodnocení výkonu, nikdy nevznikla pouze automatizovaným zpracováním. Konečné rozhodnutí musí udělat člověk se skutečnou pravomocí. Rozhodnutí, které toto pravidlo porušuje, je neplatné, a souhlas zaměstnance zákaz neruší. Vyhledávání a předvýběr uchazečů se pravidlo netýká (Repubblica Italiana, 2026).

Dekret také určuje italské dozorové orgány pro AI. AgID↗ schvaluje subjekty, které AI systémy certifikují. Národní agentura pro kybernetickou bezpečnost ACN↗ dohlíží na trh a Banca d'Italia↗, CONSOB↗ a IVASS↗ mají na starosti vysoce rizikovou AI v bankovnictví, investicích a pojišťovnictví. Pokuty za zakázané praktiky AI dosahují až 35 milionů eur nebo 7 % celosvětového obratu (Agostini & Lombardi, 2026).

Proč na tom záleží. Zaměstnavatelé v Itálii nesmějí nechat skóre z AI rozhodnout o výpovědi, sankci nebo hodnocení výkonu, a to ani se souhlasem zaměstnance. Takové rozhodnutí lze zneplatnit.

Co dělat. Pokud v Itálii používáte AI v personalistice, zaznamenávejte, kdo učinil každé konečné rozhodnutí a na jakém základě.

AI agenti získali v reálné patentové práci 52,8 bodu ze 100

Co se stalo. Výzkumníci z firmy PatSnap↗ zveřejnili PatentAgentBench, test s 510 úlohami sestavenými z reálných patentových záznamů, soudních sporů a rozhodnutí úřadů (Hu et al., 2026). Pokrývá osm činností, od rešerší stavu techniky a analýz volnosti jednání (freedom to operate) po sepisování přihlášek, odpovědi průzkumovým referentům a překlad. Agenti museli důkazy najít sami, bez dodaného seznamu kandidátních dokumentů. Nejlepší kombinace, Claude Opus 5 od Anthropicu v jednom ze čtyř testovaných agentních rámců, dosáhla průměru 52,8.

Rešerše podobných průmyslových vzorů selhala všude: žádné nastavení nenašlo více než 4 % relevantních vzorů. Při hledání stavu techniky, který by mohl patent zneplatnit, našel každý model spuštěný v Claude Code↗ méně než třetinu relevantních odkazů. Přesun modelu Claude Opus 5 do jiného rámce zvýšil tento podíl z 28,7 % na 55,0 % (Hu et al., 2026).

Proč na tom záleží. Návrhy vypadaly profesionálně, ale důkazy za nimi byly slabé. Software kolem modelu může znamenat stejně mnoho jako model sám, takže pořadí modelů u dodavatele o kvalitě jeho nástroje mnoho neřekne.

Co dělat. Než koupíte AI nástroj pro patentovou práci, vyzkoušejte ho na vlastních dřívějších případech a změřte, kolik známých odkazů najde.

Zdroje

• Agostini, A., & Lombardi, G. (2026, October 23). Legislative Decree no. 179/2026 in force from 23 October 2026: National governance, supervision, regulatory sandboxes and AI training. LEXIA. https://www.lexia.it/en/2026/10/23/legislative-decree-179-2026-governance-supervision-ai/
• Anthropic. (2026, October 27). Early progress on accelerating drug development with Claude. https://www.anthropic.com/research/early-progress-drug-development
• Axiom Math. (2026, October 26). Formalizing the enormous theorem. https://axiommath.ai/research/the-enormous-theorem-formalized/
• Broadcom. (2026a, October 26). Bank of America, Blackstone, Citi and Morgan Stanley announce landmark $63 billion financing structure to enable AI compute capacity in partnership with Broadcom [Press release]. https://investors.broadcom.com/news-releases/news-release-details/bank-america-blackstone-citi-and-morgan-stanley-announce
• Broadcom. (2026b). Bank of America, Blackstone, Citi and Morgan Stanley announce landmark financing structure in partnership with Broadcom [Investor presentation]. https://investors.broadcom.com/static-files/f4bda79d-cc66-4748-919b-40d08c658f2d
• Duncombe-Smith, K. (2026, October 27). Making content from Discoverable Servers easier to discover. Discord. https://discord.com/blog/making-content-from-discoverable-servers-easier-to-discover
• Hu, Y., Li, W., Zhou, J., Jiang, Z., Jin, Y., Xu, L., Sun, X., Duan, K., & Zhang, L. (2026). PatentAgentBench: Benchmarking LLM agents with professional patent task suites (arXiv:2610.35031). arXiv. https://arxiv.org/abs/2610.35031
• Repubblica Italiana. (2026, October 8). Decreto legislativo 7 ottobre 2026, n. 179: Adeguamento della normativa nazionale alle disposizioni del regolamento (UE) 2024/1689 (GU Serie Generale n. 234). Gazzetta Ufficiale. https://www.gazzettaufficiale.it/eli/id/2026/10/08/26G00200/SG
• Soni, A., Srivastava, P., & Azhar, S. (2026, October 26). Wall Street banks, Blackstone line up $63 billion to finance Broadcom AI chips for Anthropic. Reuters, via Investing.com. https://www.investing.com/news/stock-market-news/wall-street-banks-blackstone-line-up-63-billion-to-finance-broadcom-chips-for-anthropic-4973662