AI agenti firmy Axiom strojovo overili najdlhší dôkaz v matematike

AI agenti overili najdlhší dôkaz v matematike a našli v ňom chyby

Čo sa stalo. Axiom Math↗ 26. októbra zverejnila počítačom overenú verziu klasifikácie konečných jednoduchých grúp, jedného z kľúčových výsledkov matematiky 20. storočia (Axiom Math, 2026). Pôvodný dôkaz má približne 15 000 strán vo viac ako 500 článkoch od zhruba 100 matematikov. Inžinieri a matematici z Axiomu počas 24 dní riadili desiatky AI agentov, ktorí napísali asi 43,1 milióna riadkov kódu v programe Lean↗, ktorý kontroluje každý krok dôkazu.

Práca odhalila 34 závažných odchýlok od publikovaného záznamu. V jednom prípade agenti našli protipríklady ku kroku v dôkaze z roku 1986 a AI firmy Axiom na uzavretie medzery vytvorila nový výsledok. K najvážnejším prípadom sa vyjadrovali poprední odborníci na teóriu grúp. Kód je na GitHube↗ a Axiom zverejní úplný zoznam chýb (Axiom Math, 2026).

Prečo na tom záleží. Agenti dokázali preveriť dielo, ktoré je pre akýkoľvek tím príliš rozsiahle na ručnú kontrolu, a ukázať, kde je chybné. Rovnaký postup sa hodí na zmluvy, regulačnú dokumentáciu, patentové portfóliá aj odbornú literatúru. Ľudia musia naďalej potvrdiť, že overené tvrdenie hovorí to, čo malo. Stroj kontroluje iba jednotlivé kroky.

Čo robiť. Keď vám dodávateľ ukazuje výsledky AI, žiadajte výstup, ktorý môže skontrolovať nezávislá strana, nie zhrnutie.

Anthropic kúpil jednočlennú biotechnologickú firmu a zverejnil výsledky partnerov z vývoja liekov

Čo sa stalo. Anthropic↗ 27. októbra oznámil, že prevzal Mithril Medicine, firmu s jediným človekom, ktorej zakladateľ pomocou Claude↗ koordinoval prácu 11 externých laboratórií (Anthropic, 2026). Za menej ako 18 mesiacov firma priviedla liečbu dvoch zriedkavých foriem svalovej dystrofie od nápadu k sľubným výsledkom na myšiach. Podľa Anthropicu by klinické skúšky na ľuďoch mohli začať najskôr koncom roka 2028.

Čísla zverejnili aj partneri. Vo firme Generate Biomedicines↗ bol návrh časti bunkovej terapie vytvorený s pomocou Claude asi o 70 % kratší ako štandardná verzia. Vo firme Enveda↗ Claude v 1 061 stranách dokumentácie našiel všetkých 11 problémov, ktoré zachytili ľudskí posudzovatelia, upozornil na sedem ďalších a skrátil čas kontroly o 89 %. Bristol Myers Squibb↗ pomocou Claude odhaduje, s akou pravdepodobnosťou uspejú plány raných klinických štúdií. K tejto práci text neuvádza žiadne čísla (Anthropic, 2026).

Prečo na tom záleží. Dodávateľ AI teraz vlastní kandidáta na liek. Farmaceutické firmy, ktoré nakupujú AI modely, musia rátať s tým, že im ich dodávateľ v niektorých oblastiach začne konkurovať.

Banky a Blackstone dávajú 63 miliárd dolárov na čipy pre Anthropic

Čo sa stalo. Bank of America↗, Blackstone↗, Citi↗ a Morgan Stanley↗ 26. októbra oznámili financovanie vo výške 63 miliárd dolárov pre novozaloženú spoločnosť. Jej jediným účelom je kupovať AI čipy a sieťové vybavenie od firmy Broadcom↗ a prenajímať ich Anthropicu (Broadcom, 2026a). Dodávky majú začať v roku 2027. Broadcom ručí za časť zostatkovej hodnoty hardvéru. Svoju maximálnu expozíciu odhaduje na 43 miliárd dolárov, ktorá počas piatich rokov splátok nájmu klesne na nulu (Broadcom, 2026b).

Podľa agentúry Reuters tvoria nadriadené úvery asi 43,5 miliardy dolárov, teda 69 % celku. Obchod nadväzuje na skorší balík 35 miliárd dolárov od firiem Apollo↗ a Blackstone pre to isté čipové partnerstvo (Soni et al., 2026).

Prečo na tom záleží. Výpočtový výkon pre AI sa presúva do lízingu: hardvér vlastní samostatná spoločnosť a AI laboratórium si ho prenajíma. Anthropic v ten istý deň požiadal o vstup na burzu. Tieto splátky sú dlhodobé náklady, ktoré by investori aj veľkí zákazníci mali pripočítať k jeho cloudovým zmluvám.

Discord pustí správy z verejných komunít do webového vyhľadávania

Čo sa stalo. Discord↗ 27. októbra oznámil, že každý z jeho viac ako 63 000 Discoverable Servers, otvorených komunít s najmenej 1 000 členmi, dostane od 16. novembra verejnú webovú stránku (Duncombe-Smith, 2026). Stránky môžu zobrazovať automatické zhrnutia verejných kanálov. Od polovice decembra sa vybrané správy môžu objaviť vo výsledkoch vyhľadávačov, bez používateľských mien a avatarov. Správcovia určujú, ktoré kanály sa zapoja, a členovia sa môžu odhlásiť. V EÚ, Spojenom kráľovstve, Kanade, Brazílii, Austrálii a Južnej Kórei zostávajú správy členov skryté, kým ich členovia sami nezverejnia. Dospievajúci používatelia sú vylúčení všade.

Prečo na tom záleží. Diskusie o produktoch, chybách a konkurentoch, ktoré boli zvonka ťažko dostupné, bude možné vyhľadať. Firmy získajú nový zdroj na sledovanie trhu a príspevky zamestnancov vo verejných serveroch mimo Európy bude ľahšie nájsť.

Čo robiť. Ak vaša firma prevádzkuje Discoverable Server, do 16. novembra skontrolujte nastavenie kanálov v sekcii Web Presence.

Taliansko vyžaduje, aby každé pracovné rozhodnutie s pomocou AI urobil človek

Čo sa stalo. Taliansky legislatívny dekrét č. 179/2026, ktorý vykonáva časti európskeho AI Actu, nadobudol účinnosť 23. októbra (Repubblica Italiana, 2026). Jeho článok 41 ustanovuje, že zamestnávateľ, ktorý používa AI, musí zabezpečiť, aby rozhodnutia o vzniku, zmene alebo skončení pracovného pomeru vrátane disciplinárnych opatrení a hodnotenia výkonu nikdy nevznikli iba automatizovaným spracovaním. Konečné rozhodnutie musí urobiť človek so skutočnou právomocou. Rozhodnutie, ktoré toto pravidlo porušuje, je neplatné, a súhlas zamestnanca zákaz neruší. Vyhľadávanie a predvýber uchádzačov sa pravidlo netýka (Repubblica Italiana, 2026).

Dekrét tiež určuje talianske dozorné orgány pre AI. AgID↗ schvaľuje subjekty, ktoré AI systémy certifikujú. Národná agentúra pre kybernetickú bezpečnosť ACN↗ dohliada na trh a Banca d'Italia↗, CONSOB↗ a IVASS↗ majú na starosti vysokorizikovú AI v bankovníctve, investíciách a poisťovníctve. Pokuty za zakázané praktiky AI dosahujú až 35 miliónov eur alebo 7 % celosvetového obratu (Agostini & Lombardi, 2026).

Prečo na tom záleží. Zamestnávatelia v Taliansku nesmú nechať skóre z AI rozhodnúť o výpovedi, sankcii alebo hodnotení výkonu, a to ani so súhlasom zamestnanca. Takéto rozhodnutie možno zrušiť ako neplatné.

Čo robiť. Ak v Taliansku používate AI v personalistike, zaznamenávajte, kto urobil každé konečné rozhodnutie a na akom základe.

AI agenti získali v reálnej patentovej práci 52,8 bodu zo 100

Čo sa stalo. Výskumníci z firmy PatSnap↗ zverejnili PatentAgentBench, test s 510 úlohami zostavenými z reálnych patentových záznamov, súdnych sporov a rozhodnutí úradov (Hu et al., 2026). Pokrýva osem činností, od rešerší stavu techniky a analýz voľnosti konania (freedom to operate) po spisovanie prihlášok, odpovede prieskumovým referentom a preklad. Agenti museli dôkazy nájsť sami, bez dodaného zoznamu kandidátskych dokumentov. Najlepšia kombinácia, Claude Opus 5 od Anthropicu v jednom zo štyroch testovaných agentových rámcov, dosiahla priemer 52,8.

Rešerš podobných dizajnov zlyhala všade: žiadne nastavenie nenašlo viac ako 4 % relevantných dizajnov. Pri hľadaní stavu techniky, ktorý by mohol patent zneplatniť, našiel každý model spustený v Claude Code↗ menej ako tretinu relevantných odkazov. Presun modelu Claude Opus 5 do iného rámca zvýšil tento podiel z 28,7 % na 55,0 % (Hu et al., 2026).

Prečo na tom záleží. Návrhy vyzerali profesionálne, ale dôkazy za nimi boli slabé. Softvér okolo modelu môže znamenať rovnako veľa ako model sám, takže poradie modelov u dodávateľa o kvalite jeho nástroja veľa nepovie.

Čo robiť. Predtým, než kúpite AI nástroj na patentovú prácu, vyskúšajte ho na vlastných starších prípadoch a zmerajte, koľko známych odkazov nájde.

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