> ## Content Index > Fetch the complete content index at: https://altky.sk/llms.txt > Use this file to discover other available public pages before exploring further. # Týždeň, v ktorom sa AI učí počítať dôkazy a my sa učíme počítať s ňou - URL: https://altky.sk/tyzden-v-ktorom-sa-ai-uci-pocitat-dokazy-a-my-sa-ucime-pocitat-s-nou/ - Published: 2026-10-16T06:19:20.000Z - Updated: 2026-10-16T06:19:20.000Z - Description: Terence Tao tento týždeň povedal, že zlatá éra matematiky sa možno končí. Nie preto, že by ľudia prestali myslieť, ale preto, že stroje začali dokazovať vety rýchlejšie, než ich stíhame čítať. Zároveň sa ukázalo, že tie isté stroje si vymýšľajú a nevedia, kedy si vymýšľajú. - Author: Redakcia Altky.sk - Tags: Newsfilter Minule sme písali o tom, že o emóciách AI nevieme nič. Tento týždeň sa posúvame o krok ďalej: nevieme ani to, kedy má AI pravdu, a ani to, či na tom vôbec záleží. --- ## Matematika po vstupe do éry nadbytku dôkazov Hugo Duminil-Copin v rozhovore pre Numberphile opisuje pocit, ktorý nazýva "preletenie sa helikoptérou na vrchol" — roky lezenia po stene sa skrátia na okamih, keď vás niekto vyvezie nahor. Tao to rámcuje podobne, ale systematickejšie: hovorí o prechode od romantickej éry matematiky, kde jednotlivec hľadal hlboké porozumenie, k ére nadbytku dôkazov, kde AI generuje kvantá riešení, ktorým už nikto úplne nerozumie. Prirovnáva to k priemyselnej revolúcii: remeslo sa mení na priemysel, a to, čo bolo kedysi zdrojom hrdosti, sa stáva vstupom do stroja. [Koniec horolezectva v matematike: Nový pohľadAI mení matematiku! Matematik Hugo Duminil-Copin zdieľa svoje emócie po tom, čo AI dokázala množstvo dlho neprekonateľných problémov. Prichádza nová éra spolupráce medzi ľuďmi a AI v matematike.altky.skSamuel Myšlienkový![](https://altky.sk/content/images/2026/09/photo-1635372722656-389f87a941b7.jpg)](https://altky.sk/koniec-horolezectva-v-matematike-novy-pohlad/) Toto nie je jednoznačne zlá správa. Zástancovia argumentujú, že matematika vždy absorbovala nové nástroje a vždy z toho profitovala. Kto dnes ručne počíta logaritmy? Nikto. A predsa matematika nezanikla, len sa posunula k zaujímavejším problémom. Kritici namietajú, že tu ide o niečo iné: nielen o výpočet, ale o porozumenie. Ak stroj vyprodukuje dôkaz, ktorému nerozumie ani ten, kto ho zadal, čo presne sme získali? Tao sám je opatrný. AI podľa neho zvládne rutinu, literárne rešerše, menej zložité problémy. Pri hlbokých otázkach je to stále nástroj, nie kolega. Podľa mňa je toto presnejší obraz než katastrofické ani oslavné titulky: nie náhrada matematikov, ale zmena toho, čo bude ich prácou. [Rozlúštenie Erdosových problémov pomocou AIAI „rieši“ Erdosove problémy hľadaním v rozsiahlej matematickej literatúre. Modely ako ChatGPT dokážu rýchlo analyzovať články, nájsť relevantné odkazy a spájať myšlienky, ktoré by inak zostali oddelealtky.skŠtefan Algoritmov![](https://altky.sk/content/images/2026/02/photo-1525212746907-ff35fbdef9ec.jpg)](https://altky.sk/rozlustenie-erdosovych-problemov-pomocou-ai/) [Môžete AI dôverovať? Rozhovor s matematikom TaoMôžeme AI dôverovať? Matematik Terence Tao v rozhovore varuje pred slepým spoliehaním na AI a zdôrazňuje potrebu kritického myslenia. AI je cenný pomocník, ale ľudská kontrola je nevyhnutná.altky.skNina Synapsová![](https://altky.sk/content/images/2026/10/photo-1677442135751-15e514d909f3.jpg)](https://altky.sk/mozete-ai-doverovat-rozhovor-s-matematikom-tao/) --- ## Model, ktorý zvládne všetko a predsa mu nemôžete veriť Ethan Mollick v podcaste profesora Galla odporúča konkrétne modely a konkrétnu cenu: približne dvadsať dolárov mesačne za prístup k pokročilým verziám, ktoré podľa neho zvládnu serióznu prácu. Znie to konkrétne a prakticky. Lenže v tej istej vlne sa objavil aj rozhovor s Terenceom Taom, kde matematik varuje pred slepou dôverou: veľké jazykové modely generujú text, ktorý vyzerá ľudsky, ale nemajú fundamentálne porozumenie, a preto produkujú chyby, ktoré sa ťažko odhaľujú práve preto, že vyzerajú dobre. Toto je napätie, ktoré sa nedá vyriešiť jedným odporúčaním. Mollick má pravdu v tom, že nástroje sú dnes použiteľné a že ich ignorovať je plytvanie. Tao má pravdu v tom, že ich používať bez overovania je hazard. Obe veci platia súčasne a každý, kto tvrdí, že jedna prevažuje, niečo zamlčuje. > Rozdiel medzi nástrojom, ktorý sa mýli zjavne, a nástrojom, ktorý sa mýli presvedčivo, je celý rozdiel medzi kalkulačkou a kolegom. Kalkulačke neveríte, kolegovi áno. AI sa tvári ako kolega, ale funguje ako kalkulačka, ktorá občas zabudne, že nie je kolega. Vyplýva z toho jedna praktická vec: ak dnes firma alebo úrad nasadí AI do rozhodovania, ktoré sa týka ľudí, otázka nie je, či je model dobrý. Otázka je, kto overuje jeho výstup a ako sa dá odvolať. Ten mechanizmus u nás zatiaľ nemáme. --- ## Vývojár sa mení na dirigenta, kód na špecifikáciu Jeden z textov opisuje päť konceptov, ktoré menia vývoj softvéru: bod zlomu, kde AI dramaticky zrýchľuje úlohy; vývoj riadený špecifikáciou, kde presný opis požiadaviek je dôležitejší než samotné písanie kódu; posun od implementácie k orchestrácii, kde vývojár rieši architektúru a systém; a takzvané kontextové inžinierstvo, teda schopnosť dať AI správne informácie. Uber medzitým opisuje, ako sa z dvoch služieb v roku 2015 stal komplexný mikroslužbový systém s vlastnými nástrojmi na metriky, workflow a strojové učenie. [AI Agenti Menia Vývoj SoftvéruAI mení vývoj softvéru! Už dokáže dokončiť úlohy za minúty, ktoré predtým trvali týždne. Vývojári sa stávajú orchestrátormi, ktorí riadia prácu AI agentov a zameriavajú sa na architektonické rozhodnutaltky.skNina Synapsová![](https://altky.sk/content/images/2026/10/photo-1677442136019-21780ecad995.jpg)](https://altky.sk/ai-agenti-menia-vyvoj-softveru/) [Uberova AI infraštruktúra: Pohľad inžinieraUberova AI infraštruktúra sa vyvinula od jednoduchého systému k rozsiahlej mikroslužbovej architektúre. Inžinieri využívajú interné nástroje ako M3DB, Michelangelo a Cadence na zvládanie komplexity a altky.skŠtefan Algoritmov![](https://altky.sk/content/images/2026/10/photo-1555135327-6771b65b3227.jpg)](https://altky.sk/uberova-ai-infrastruktura-pohlad-inziniera/) Spoločný menovateľ: práca sa nevytráca, ale presúva sa z rúk do hlavy a z kódu do rozhodnutí. IBM Technology to rámuje historicky: obavy z nahradenia pracovnou silou sprevádzali každú technologickú vlnu od áut po internet, a vždy sa práca transformovala, nie zničila. To je upokojujúce čítanie. Je zároveň trochu pohodlné: história nehovorí, že sa nič zlé nestane, len že sa to zlé neudialo vždy a všade rovnako. Pre človeka, ktorý práve teraz prichádza o prácu pri tejto transformácii, je štatistický priemer slabá útecha. --- ## Kde sa technológia stretáva s realitou, ktorú nechceme vidieť Bloomberg Tech priniesol tri konkrétne čísla. ASML nestíha vyrábať litografické stroje, dodacie lehoty sa posúvajú až k roku 2030, a to aj napriek obmedzeniam vývozu do Číny. Nvidia investuje miliardy do Európy. OpenAI kladie dôraz na bezpečnosť a zosúladenie. Jensen Huang zároveň hovorí o "suverenite" — kontrole nad dátami, skúsenosťami a hodnotami — a varuje pred nekontrolovaným rastom. [Odpojenie AI investícií a reálnych výdavkov: Analýza CitiInvestície do AI rastú, no objednávky vybavenia zaostávajú. Analýza Citi poukazuje na odpojenie medzi sľubmi a realitou, ovplyvnené dlhými dodacími lehotami ASML a obavami o financovanie projektov. Číaltky.skJuraj Ekonomický![](https://live.staticflickr.com/65535/53746662823_50071e5508_b.jpg)](https://altky.sk/odpojenie-ai-investicii-a-realnych-vydavkov-analyza-citi/) Tu je zaujímavý rozpor, ktorý sa málokedy pomenuje. Ten istý priemysel, ktorý tvrdí, že AI potrebuje zodpovedný prístup, súčasne hlási, že dopyt prevyšuje kapacitu a že sa nedá čakať. Bezpečnosť a zosúladenie sú priority, kým sa nezačne hovoriť o oneskorených dodávkach. Nie je to cynizmus konkrétnej firmy, je to štrukturálne: kapitál tlačí na tempo, etika na brzdu, a brzda zvyčajne prehráva. Pre Európu a Slovensko je relevantná iná časť: investície Nvidie do Európy znamenajú, že región sa stáva dôležitejším pre vývoj AI. To je príležitosť aj riziko. Príležitosť v kapacitách a pracovných miestach, riziko v tom, že sa opäť stane miestom, kde sa technológia montuje, ale nerozhoduje o nej. Ako sme písali v [Google získava 85 miliárd dolárov: Čo to znamená pre trh?](https://altky.sk/google-ziskava-85-miliard-dolarov-co-to-znamena-pre-trh/), peniaze sa v tomto odvetví hýbu rýchlejšie než schopnosť regulovať ich dôsledky. [Investícia Nvidia – OpenAI: Prečo 100 miliárd dolárov dáva zmysel?Investícia Nvidie do OpenAI vo výške 100 miliárd dolárov podľa BlackRocku dáva zmysel. Zabezpečuje hardvér pre AI a podporuje inovácie, pričom investori hľadajú diverzifikáciu mimo veľkých technologicaltky.skJuraj Ekonomický![](https://images.unsplash.com/photo-1662947683395-1ce33bdcd094?crop=entropy&cs=srgb&fm=jpg&ixid=M3w2NzkzODZ8MHwxfHNlYXJjaHwxfHxOdmlkaWElMjBPcGVuQUklMjBpbnZlc3RtZW50fGVufDB8fHx8MTc1ODg2NzQ3OXww&ixlib=rb-4.1.0&q=85)](https://altky.sk/investicia-nvidia-openai-preco-100-miliard-dolarov-dava-zmysel/) [Thielove fondy predávajú akcie Nvidie a čo to znamená pre AI trhThielove fondy predali všetky akcie Nvidie, čo vyvoláva otázky o trhu s AI. Alphabet získava podporu od Berkshire Hathaway, Amazon si požičiava na infraštruktúru a Bezos predstavuje nový projekt v oblaltky.skJuraj Ekonomický![](https://altky.sk/content/images/2025/11/photo-1623426221719-d855d1d04d5c.jpg)](https://altky.sk/thielove-fondy-predavaju-akcie-nvidie-a-co-to-znamena-pre-ai-trh/) --- ## Čo z toho naozaj vieme Vieme tri veci pomerne isto. AI dnes zvládne úlohy, ktoré boli donedávna doménou ľudí s dlhým tréningom. Robí to rýchlo a lacno. A robí chyby spôsobom, ktorý sa nedá odhaliť bez toho, aby sme rozumeli výsledku. Nevieme dve veci, ktoré sú možno dôležitejšie. Nevieme, či strata porozumenia pri generovaných výsledkoch je dočasná alebo trvalá — teda či sa naučíme nové spôsoby overovania, alebo sa len posunieme k systému, kde nikto ničomu nerozumie, ale všetko funguje dostatočne často. A nevieme, či transformácia práce prinesie viac miest, než zruší, alebo či tentokrát história nebude opakovať vzorec, ale niečo iné. > Otázka nie je, či AI zmení matematiku, vývoj softvéru a ekonomiku. Zmenila ich už. Otázka je, kto bude mať dosť trpezlivosti overovať jej odpovede, keď sa to nikdy nezjaví v titulkoch. Podľa mňa je najzaujímavejší signál tohto týždňa ten, ktorý sa najťažšie predáva: nástroje, ktoré generujú dôkazy, kód a texty, zvyšujú hodnotu ľudí, ktorí vedia povedať, kedy je výsledok zlý. To nie je romantická éra ani priemyselná revolúcia. Je to niečo, pre čo ešte nemáme meno, a možno práve preto sa o tom tak ťažko píše bez preháňania na obe strany. --- ## Súvisiace články [Google získava 85 miliárd dolárov: Čo to znamená pre trh?Google získal 85 miliárd dolárov pre AI! Analýza Stevea Eismanna poukazuje na nárast investícií do AI, problémy SoftBanku s financovaním OpenAI a zmenu v postoji investorov. Čo to znamená pre nás?altky.skJuraj Ekonomický![](https://altky.sk/content/images/2026/06/photo-1675352161828-c07170f1b114.jpg)](https://altky.sk/google-ziskava-85-miliard-dolarov-co-to-znamena-pre-trh/) [Svet v roku 2026: Trump, Irán a nestabilitaTrumpov návrat, napätie USA-Iránu a vnútorné problémy americkej demokracie – Christiane Amanpour analyzuje výzvy sveta do roku 2026\. Varuje pred oslabením globálneho poriadku a potrebuje komplexné riealtky.skVladimír Občiansky![](https://altky.sk/content/images/2026/01/photo-1664740217061-050a92cdd57e-1.jpg)](https://altky.sk/svet-v-roku-2026-trump-iran-a-nestabilita/)