[00:00:08] Martir

Dobrý deň, vítam vás pri počúvaní podcastu číslo sedemstoosemdesiatdva pre dvadsiaty september dvetisícdvadsaťšesť. Vo večernom štúdiu vítam Jakuba Rafajdusa alebo Kubka.

[00:00:18] Kubqo

Ahojte.

[00:00:20] Martir

A ja som Radoslav Vlasatý alebo Martir. Čaute, sme podcast Dovedie a skepticizmus. Vede sa nevenujeme profesionálne, takže ak nájdete nejaké nezrovnalosti, nepresnosti, píšte nám na Discord a my sa doplníme, opravíme v jednej z nasledujúcich častí. Okej. Vidíš, keď tu nie je Miro, tak zasadnem po novom bez problémov. Keď sa to bojá, tak default, default speech.

[00:00:43] Kubqo

Môže byť, môže byť. Eh, tak vidíš, sme to mohli nechať ako v, ty to ešte po-počúvaš Skeptics Guide to the Universe ešte mávajú?

[00:00:55] Martir

V satelitu.

[00:00:56] Kubqo

To, to, že áno, áno, ešte to mávajú?

[00:00:58] Martir

Jasné, jasné, to držia stále. No ako ide rodičovstvo ďalej po týždni?

[00:01:04] Kubqo

Dobre, akurát ide to-

[00:01:07] Martir

Už lozí?

[00:01:10] Kubqo

To nie, to nie, ale Paťka zrovna dneska bola kočíkovať s nejakými dvoma, troma ďalšími mamičkami a že je, je hrozne popredu oproti, eh, rovesníkom, že to, to čo robí on, tak robia decká, ktoré sú povedzme o mesiac alebo dva staršie. A čo je sranda je, že on má aj takú veľkosť. Vieš, že-

[00:01:36] Martir

Väčší ako o dva mesiace staršie dieťa.

[00:01:39] Kubqo

Hej, že, že keď niekto povie, že no náš je takto veľký a má toľko kilov, tak povieme, že no vlastne aj ten náš, ale ten ich je o mesiac, dva starší.

[00:01:50] Martir

Takže bude valibuk. Či kto-ktorý to bol taký? Lomidrevo či valibuk? Neviem teraz presne.

[00:01:55] Kubqo

Hej, ja, ja, ja neviem. Alebo miesi železo. No.

[00:01:59] Martir

Miesi železo. No hej.

[00:02:01] Kubqo

Akože vyzerá to tak, ale naozaj netuším, že po kom to môže mať. To bude-

[00:02:07] Martir

Po tebe, ne?

[00:02:08] Kubqo

No hej.

[00:02:09] Martir

Alebo počkaj, spýtaj, spýtaj sa mamky, že, že či si fakt otec.

[00:02:14] Kubqo

Zrovna tejto veci sa neobávam.

[00:02:17] Martir

Jasné, v pohode.

[00:02:19] Kubqo

Ale-

[00:02:20] Martir

Srandičky musia byť, hej.

[00:02:21] Kubqo

Jo jo. Počkaj, aha, Pa-Paťka mi zrovna zo Záhrobia posiela správy, že ich má štyri a pol mesiaca a váži šesť osemdesiat a meria šesťdesiat čísel a náš má šesťdesiat čísel, meria šesť dvadsať a nemá ani tri mesiace.

[00:02:38] Martir

Hej, no.

[00:02:39] Kubqo

Tak, eh, a-asi má to. Vieš, ako teraz sú všetky veci s proteínom. Vieš také akože kupuješ si-

[00:02:48] Martir

Budovate proteíny?

[00:02:51] Kubqo

Si robím srandu, že, že tým, že teraz všade vieš, že, že proteínové také proteínové hentaké, tak Paťka má proteínové mlieko, vieš. Aj s nálepkou, že ha, to, to je lepší.

[00:03:03] Martir

Okej.

[00:03:04] Kubqo

Takže tak. Ale zároveň to spôsobuje práve to, že neviem rozoznávať dni. Vieš, že sa to proste všetko len tak, eh, zlieva, že ráno sa zobudíš, večer zaspíš a medzitým sa niečo deje. A máme v pláne tento piatok prvýkrát vyskúšať takú vec, že Paťka pôjde preč a ja ho budem mať, eh, na, nie na noc, ale v noci na, na starosti, že máme nejaké mlieko, tak uvidíme, že, že či to zvládne.

[00:03:37] Martir

Akože pije z fľaše?

[00:03:39] Kubqo

To bežne nie práve, ale máme nejaké, eh, zamrazené a uvidíme, že či to zvládne, lebo nejaký zaujímavý koncert sa deje v Žiline, tak to pôjdeme-

[00:03:51] Martir

Že mu dáš na nuk, hej.

[00:03:52] Kubqo

Vyskúšať. Vieš čo? Pa-pamätáš, pár rokov dozadu som sa tu hrozne vytešoval, že mám takú suvítyčku.

[00:04:01] Martir

Hej.

[00:04:01] Kubqo

To mi príde ako úžasná vec na, na toto. Vieš, Paťka, keď mi to vysvetľoval. Áno, on nám vysvetľoval, že no a to musíš zohriať, ale nemôžeš príliš. A, a zase aby to nebolo studené a tak hovorím, ja nastavím teplotu tridsaťsedem stupňov a pichnem to do toho. Hotovo, vybavené. Proste-

[00:04:21] Martir

Hej, nie ako kedysi, že na predlakti skúšali starí rodičia naši mliečko ohrievané.

[00:04:27] Kubqo

Aj, pozri, aj tak by to šlo, ale pre mňa by to bolo zložitejšie ako, ako zapnúť tridsaťsedem a pol stupňa na, na suví srande.

[00:04:39] Martir

Hej, my sme mali zábavný týždeň a Nelka vydržala-

[00:04:44] Kubqo

Čo to znamená?

[00:04:45] Martir

Dva a pol týždňa v škôlke bez soplíka a dneska už je soplík a raš.

Takže čakáme, že to bude nejaká z tých prvá, druhá, tretia, štvrtá, piata, šiesta choroba. Niečo z toho minimálne podľa nástupu. Uvidíme, jak to bude prebiehať nasledujúce dni.

[00:05:01] Kubqo

A ne-nerozumiem. Eh, takto. Ja som bol v tom, že tie prvá, druhá, tretia a mám pocit, že, že si furt niekto vymýšľa ďalšie, že ich už existuje dvadsaťsedem. Takže-

[00:05:15] Martir

Myslím, že je ich šesť alebo sedem a-

[00:05:18] Kubqo

Alebo aj viac. Tak tie choroby to, to sú také to, že, že to novorodenci mávajú, nie?

[00:05:24] Martir

Malé deti.

[00:05:25] Kubqo

No okej.

[00:05:27] Martir

A v princípe sú to väčšinou vírusové infekcie, nejaké špecifický vírus a majú nejaký špecifický priebeh. Napríklad, že runny nose, teda soplíky.

[00:05:38] Kubqo

Áno.

[00:05:39] Martir

Plus, eh, zapálené líčka, akože ružové.

[00:05:43] Kubqo

Mhm.

[00:05:43] Martir

Plus vyrážky na končatinách a zatiaľ to sedí. Takže ešte pôjdem študovať, že čo to vlastne je z tých potvor jednotlivých a-

[00:05:54] Kubqo

No ale tým pádom nechápem, ako že to znamená, že ty, ty to máš len ako Adventný kalendár, ale môžeš si to otvárať v hocijakom poradí?

[00:06:04] Martir

Áno.

[00:06:05] Kubqo

Okej.

[00:06:05] Martir

A dokonca niektoré, nezískaš na ne imunitu a dostane to aj dospelý a aj desaťkrát, keď sa ti desaťkrát podarí. Takže jej-

[00:06:15] Kubqo

Okej, dobre rozumiem, ale-

[00:06:17] Martir

A práve veľmi dobre to znášajú niektoré dospelí z tých, čo som si čítal predtým rovno-

[00:06:21] Kubqo

Okej, jasné, chápem v poriadku, ale tým pádom sa dostávame k tomu, že to je taký ten klasický jesenný soplík. Prečo máš potrebu alebo teda ktokoľvek, prečo má potrebu, že no toto je tá druhá a toto je tá štvrtá.

[00:06:36] Martir

Lebo toto neni klasický jesenný soplík, vieš? Lebo klasický jesenný soplík máš zvyčajne bez vyrážok rôznych. Akože veľa vírusov robí-

[00:06:44] Kubqo

Okej

[00:06:44] Martir

... aj nejaké kožné prejavy, zvlášť u malých detí.

[00:06:46] Kubqo

Aha, jasné.

[00:06:48] Martir

Ale toto je, no u-uvidíme. Akože neviem, hej reálne zatiaľ. Nie som lekár, neviem to posúdiť na základe Googlu a fotenia príznakov.

[00:06:57] Kubqo

Jasné.

[00:06:59] Martir

Proste zábava s deťmi doslova.

[00:07:02] Kubqo

Môže byť.

[00:07:03] Martir

Ale úspech. Dva a pol týždňa vydržala bez prerušenia v škôlke. To je rekord. Na to, že je prvý rok v škôlke, je to úspech. Je pravda, že ona nedá vyškolať samka.

[00:07:12] Kubqo

Aha, jo. To, že samozrejme, že je to rekord, keď je prvý rok, ale to ma práve zaujímalo, že-- lebo ja mám pocit, že keď si predtým hovoril, é, tak, že, že to bolo každú chvíľu, že ja mám pocit, že tvoje dieťa nebolo v škôlke súvislejšiu dobu ako jeden mesiac.

[00:07:31] Martir

No jeden mesiac bol rekord, keď bolo v škôlke.

[00:07:34] Kubqo

No.

[00:07:34] Martir

To zvyčajne bolo, že je týždeň v škôlke, potom dva tri týždne doma, potom zase týždeň v škôlke.

[00:07:39] Kubqo

A to, to sa dá ako fungovať? Že musel jeden z vás byť na home office alebo akým spôsobom toto riešiš?

[00:07:48] Martir

No Peť-, Peťka je na materskej ešte s deťmi.

[00:07:51] Kubqo

A jasné, hej, jo, jo jo, to je, chápem.

[00:07:54] Martir

Takže tak. A ináč si berieš Peťko k deťom. Teda no, sociálka ti platí niečo, hej? Že sa staráš o deti namiesto, že chodíš do práce. Neviem, ešte nemáme tento modus operandi natrénovaný.

[00:08:08] Kubqo

Jo jo, chápem.

[00:08:09] Martir

Keďže Nalku sme dali skôr do škôlky, práve aby sme si vyskúšali, že ako to bude fungovať.

[00:08:13] Kubqo

Mhm, mhm.

[00:08:14] Martir

A Peťka má ešte-

[00:08:16] Kubqo

Počkaj, čo znamená skôr do škôlky?

[00:08:18] Martir

Má dva a pol roka.

[00:08:19] Kubqo

A okej, mhm.

[00:08:21] Martir

Takže sme chceli skúsiť, že aby sa adaptovala, že by sme nemali to, že proste mamka pôjde do práce a musíš prísť do škôlky, ak ja tam nechceš, vieš.

[00:08:30] Kubqo

Jasné, jasné, chápem.

[00:08:32] Martir

Takže pomaličky a zatiaľ sa jej tam mega páčilo a tak ďalej. Proste úplne v pohode som bola a teraz máme prvú chorobu. No.

[00:08:40] Kubqo

Cool, cool, cool.

[00:08:42] Martir

Takže zábava.

[00:08:43] Kubqo

Mhm, to jo.

[00:08:45] Martir

Oukej, ja som tu minulý týždeň rozprával o tom, ako AI riešila nejaké mati-matematické problémy.

[00:08:53] Kubqo

Áno, presne si to pamätám.

[00:08:57] Martir

Na Vierstalke sobie rovnice.

[00:08:59] Kubqo

Viem, že si hovoril o tom ako AI, no to, lebo ja s-ja som si pamätal, že AI riešila nejaké matematické problémy.

[00:09:08] Martir

To je všetko.

[00:09:08] Kubqo

Tam, presne tak, tam to môžme skončiť. A-a počkaj chvíľku, schválne, že, že čo si spomeniem. Eh, boli to nejaké, é, dlho nevyriešené problémy, ktoré AI vyriešila?

[00:09:24] Martir

Takže matematici napísali otvorený list na základe tých výsledkov tej AI, že tak to teda nie. A list začína, že A severe misalignment of AI in mathematics. Takže, á-

[00:09:41] Kubqo

Aha, akože veľký-- okej, už chápem.

[00:09:44] Martir

Je tam, skúsime si to prejsť. Je to o tom, že vlastne to, čo robí AI, ani zďaleka neni to, čo robia matematici. A je tam nezhoda na postupoch. Skúsim to voľne preložiť do slovenčiny, prečítať ho celý, lebo je to zaujímavé. V posledných mesiacoch sa matematické schopnosti veľkých jazykových modelov dramaticky zlepšili, a to až do takej miery, že dokážu riešiť významné otvorené problémy v mnohých oblastiach matematiky. Snaha spoločností zaoberajúcich sa umelou inteligenciou využívať riešenie matematických problémov ako meradlo výkonnosti však škodí matematike ako vede, aj matematickej komunite.

Cieľa týchto spoločností a ciele matematickej komunity sú v zásadnom rozpore. Vnímame to ako súčasť širších problémov zosladenia záujmov, ktoré ovplyvňujú aj iné vedecké a tvorivé profesie, či celú spoločnosť. Výskum matematiky sa zaoberá pochopením základných štruktúr, tvarov, čísel a prírodných javov. V priebehu generácií vytvorila rozsiahly súbor sofistikovaných myšlienok, metód, abstrakcií a ďalších nástrojov na pochopenie matematickej sféry. Moderné technológie a vedy sú zase postavené práve na týchto matematických nástrojoch. A uvediem zopár príkladov potom. Slávne problémy často slúžili ako orientačné body a majáky, podľa ktorých bolo možné merať pokrok v chápaní tejto sféry. Vyriešenie niektorého z týchto problémov bolo jasným znakom nových poznatkov a zaujímavým metód, ktoré následne skúmala komunita matematikov prostredníctvom dlhého a náročného procesu prednášok, diskusií, zjednodušovania. V ideálnom prípade tento proces vyústil do učebnicového spracovania výsledkov, ktoré môže študovať akýkoľvek študent, či už postgraduálny alebo dokonca vysoko-vysokoškolák. Niektoré matematické myšlienky pokračujú vo svojej ceste ešte ďalej. Aj po desaťročiach, storočiach sa stávajú nástrojom, ktorý rozumie a ktoré využíva celá spoločnosť. No matematická komunita mnohom funguje ako zmenšený obraz ľudstva. Tvoria ju jednotlivci využívajúci rozmanité prístupy, ktorých však spájajú spoločné hodnoty. Najcennejšími zdrojmi našej profesie sú študenti a myšlienky. Obom venujeme veľkú starostlivosť. Cítime zodpovednosť umožniť im rozvinúť svoj plný potenciál, kým nebudú schopní viesť vlastný život v matematickom svete. Študentom často navrhujeme problémy so zámerom rozvíjať zručnosti, ktoré im vytvoria dobré predpoklady pre pokrok vo výskume i v iných oblastiach. Naše myšlienky šírime prostredníctvom prednášok, súkromných diskusií a starostlivo vypracovaných textov, pričom ich prepájame s predchádzajúcimi myšlienkami iných matematikov. Tieto procesy si vždy vyžadujú čas a sú založené na ľudskej interakcii. V posledných mesiacoch sa úspechy umelej inteligencie pri riešení významných matematických problémov dostali do popredia záujmu aj mimo matematických kruhov. Riešenie problémov je však len nástrojom a prostriedkom na dosiahnutie hlavného cieľa, ktorým je koncepčné pochopenie a hlbší pohľad do toho, ako celé funguje. A teda takto. Ak na to vo svete umelej inteligencie zabudneme, nástroj sa môže obrátiť proti svojmu pôvodnému cieľu. Masová produkcia tvrdeniu typu pravda-nepravda čoraz rýchlejším tempom by totiž mohla zničiť úrodnú pôdu namiesto toho, aby vdýchla život novým myšlienkam. Tieto riešenia sa často ohlasujú unáhlene, bez času na riadne spracovanie, vyčlenenie nových metód a myšlienok či citovanie relevantných predchádzajúcich prác iných autorov. Ako pri každej tvorej profesii aj tu vznikajú vážne otázky týkajúce sa autorstva a plagiátorstva. Navyše bez ochotných matematikov, ktorí by sa postarali o rozvoj a začlenenie týchto myšlienok do matematického kánonu, by myšlienky zrodené vďaka AI nikde nikdy plne neožili a kľúčový reťazec odovzdávania poznatkov medzi matematikmi by sa prerušil. Sme svedkami všeobecnej hrozby pre duševnú prácu, pričom dochádza k nesúladu medzi výsledkami využívania AI a jej pôvodným účelom. V mnohých oblastiach a činnostiach roky prípravy-

[00:13:48] Kubqo

Prepáč, hovor. Ja by som si k tomu mal robiť poznámky, lebo

v-v-veľa vecí sa mi tam nepáči. Ale pokračuj.

[00:13:56] Martir

Dobre, dobre. Á, v mnohých oblastiach a činnostiach roky prípravy tradične neslúžia len na dosiahnutie konečnej odpovede či produktu, ale aj na rozvoj porozumenia a schopnosti formulovať nové otázky a myšlienky. Systémy AI však čoraz viac dokážu na základe obrovského objemu predchádzajúcej ľudskej prác-práce priamo generovať výsledky takejto činnosti, a tak sa tieto ciele prestávajú zhodovať. Problémy, ktorým dnes čelí matematická obec, sú podobné tým, s akými sa stretávajú iné vedecké a tvorivé profesie a naznačujú výzvy, ktorým my môžeme čeliť celé ľudstvo. Ako zabezpečiť, aby sme popritom, ako AI mení spôsob vykonávania práce, nestratili zo zreteľa to, čo mala táto pôvodná práca pôvodne dosiahnuť. AI ponúka potenciál na obohatenie a urýchlenie skutočného matematického skúmania a porozumenia. Matematika ako profesia sa bude musieť k týmto zmenám prispôsobiť viacerými spôsobmi. To, či tieto zmeny nakoniec odboru prospreju, prospujú alebo budú mať deštruktívny účinok, však do veľkej miery závisí od rozhodnutí ľudí, ktorí túto novú technológiu ovládajú. Týmito otázkami sa treba urýchlene zaoberať, či už v rámci matematickej obce zo strany spoločnosti vyvíjajúcej tieto technológie alebo v širšom zmysle v celej spoločnosti, ktorá bude čeliť podobným problémom v mnohých ďalších oblastiach duševnej práce. A podpísaní sú Fieldsovi medailisti. Teda je ich tam veľa. Počkaj, spočítame ich. Dvadsaťpäť víťazov Fieldsovej, Fieldsovej medaily. Takže a Fieldsova medaila je niečo, čo sa dáva významným matematikom, ktorí pred rokom štyridsať dosiahli nejaký brutálny pokrok v matematike a tak ďalej. Hej? No, čo si k tomu chcel dodať? Lebo podľa mňa je to napísané veľmi dobre, preto som to chcel prečítať celé. Aj preto som si to prekladal.

[00:15:43] Kubqo

No myslíš, že polo-podobne sa po podobné listy by písali aj ľudia, ktorí nemali kalkulačky potom, ako sa vymysleli kalkulačky? Ó áno, my chápeme, je to, je to super. Áno, je to pokrok a tak ďalej, ale pozrite sa na to, čo to robí. Hej, ja som tu musel, é, hľadať v logaritmických tabuľkách veci a-a teraz to len tak hodíte do kalkulačky. To sa mi vôbec nepáči, lebo presne tak to znie. Akože takto. Pozor.

[00:16:16] Martir

Nie úplne.

[00:16:16] Kubqo

Ja chápem. Ja. Nie, čakaj, ja chápem, čo sa snažia povedať a samozrejme súhlasím s nimi. Ty absolútne nechceš, aby, é, si sa stal otrokom tej AI. Hej? Že proste ona len bude nejakým spôsobom vyhadzovať výsledky, ktoré prakticky len vykradajú tvoju predchádzajúcu prácu. A, a to je koniec. Samozrejme, jasné, súhlasím.

[00:16:41] Martir

Zatiaľ to vyzerá. Ja som sa snažil prečítať to, čo som tu rozprával minule, ale to je sto tridsaťšesťstranový matematický dôkaz plus mínus, takže som to vzdal, lebo proste to je mi-mimo mojej expertízy ďaleko. A v každom prípade skúsime z histórie pár vecí, ktoré ako sa aplikujú dnes. Takže napríklad problém otázka bola, že riešiteľnosť rovníc piateho stupňa. Pôvodná oblasť bola algebra polynómy. Z toho vznikol framework a teória group. Gal-Galoisova teó-teória. Dnes sa využíva napríklad v kvantovej fyzike kryptografii.

[00:17:19] Kubqo

Okej.

[00:17:20] Martir

Hej? Wielká Fermátova veta. To bola teória čísel. Dnes, dnes je to algebraická teória čísel a Lang-Lasov program. Moderná bezpečnosť, šifrovanie. Hej, použitie.

[00:17:32] Kubqo

Veď dobre, ale veď to k tomu sa-

[00:17:35] Martir

On problém nie je-

[00:17:36] Kubqo

No čo, čo je problém? Lebo tak, ako to vidím ja.

[00:17:40] Martir

Ako-

[00:17:40] Kubqo

Tak á, dobre, hovor, poď.

[00:17:42] Martir

Takže ako to vidia oni a ako to vidím aj ja je, že proste niekto prišiel, hodil problém z tej, zabudol som, jak sa volá tá cena. Proste šesťdať milióny za to núkajú. Hej?

[00:17:55] Kubqo

Áno.

[00:17:56] Martir

Matematický problém na AI. Oni spravili inovatívny prístup, musím povedať, lebo spravili viacej agentov. Ti sa medzi sebou radili a tak ďalej. Roz-rozdelili si prácu, spravili si diskusné fórum a rozbili to brute forceom plus mínus a vypľuli z toho, že a pre toto to neplatí. Helebo je to dôkaz porom. Problém je, že človek by v živote nemal šancu takéto niečo spraviť.

[00:18:17] Kubqo

A-a čo ako?

[00:18:18] Martir

Počkaj, možno existuje nejaký framework, o ktorom nevieme aktuálne. Ja nevravím, že existuje, lebo nevieme o ňom, hej?

[00:18:26] Kubqo

Okej.

[00:18:27] Martir

Ale možno, že existuje, ktorý by sa dal na to postaviť, ktorý by to vyriešil tak, ako sa riešili napríklad teória grafov vznikla alebo variačný počet alebo teória možností, proste geometrická analýza a všetky tieto veci vznikli na základe toho, že existovalo niečo, nejaký problém, ktorý nebol riešiteľný v danej dobe. Absolútne totálne netušili, hej?

[00:18:48] Kubqo

Okej.

[00:18:48] Martir

A potom prišiel nejaký chytrý človek. Akože trvalo to päťdesiat, sto rokov dajme tomu. A on povedal, že úúú, keď takto poskladáme rovnice, toto tu nejaké integrály, neviem čo, limity, somariny a zbúchame to dokopy a dostaneme výsledok. Dôkaz potencionálny, že takto to funguje. Toto je možné, toto nie je možné a z toho vznikajú potom veci, ktoré nám riadia internet, GPS navigáciu, AI, kvantovú mechaniku, základy modernej matematiky, kozmológiu, modulovanie časoprostoru a tak ďalej.

[00:19:22] Kubqo

Jasné, samozrejme, lebo, lebo ako-

[00:19:24] Martir

Lenže počkaj, keď do, keď na to položíš AI a ono príde, že tu mám dôkaz porom a vyprodukuje ti stošesťdesiat strán matematického bl z môjho pohľadu. Hej, akože matematik z toho najako, najskôr rozumie, ale ešte to nespracovali, tak celý ten framework nevznikne, lebo niekde na pozadí len niekto brute forceom to možno-

[00:19:45] Kubqo

A tu s tebou práve nesúhlasím.

[00:19:47] Martir

No.

[00:19:47] Kubqo

Lebo to presne ako, oni to v tom liste písali, že, é, niekto na niečo prišiel a potom sa celá matematická obec naňho vrhla s tým, že há, počkaj, máš naozaj pravdu? Poďme to skúsiť vyvrátiť. A potom prišli na to, že, že vlastne áno, mal pravdu. A potom sa to nejakým spôsobom, é,

u-upratovalo a vyzeralo krajšie a ľahšie a proste nejak-nejakým spôsobom si vydestiloval to, čo teraz učia študentov, hej? Ale tiež to začalo ako nejaká vec, ibaže hm, takto si myslím, že to je. Tu sú nejaké moje dôkazy napísané na, na servítke, hej? A-a potom vydal štúdiu a-a-a ľudia sa na ňu pozreli, povedali, že pre toto by to nemalo fungovať. Ale vieš čo, asi to bude fungovať. Proste st-stala sa veda, hej, akože c-celý ten proces. Tak prečo toto nemôže byť ten prvý krok toho, že toto je tých stotridsaťšesť strán, ale aspoň sme niekde hej na tom začiatku a teraz sa na to pozrú ľudia a povedia si, že hm, vieš čo, tak okej, chceli sme, tu sme chceli nejaký dôkaz, tak ten dôkaz vlastne máme. To je ten prvý krok. Hej, to-to je proste, keď začínaš s tým, že máš nejakú tú vec, proste nejakú tú, ten, ten prvý krok, hej, keď riešiš to, že, že či nejaká vec ti nezabije bunky, hej? Proste, že je tu ten prvý dôkaz, ktorý máme a má stotridsať strán a proste je to zlé. Ale teraz sa na to pozrú tí najlepší matematici na svete a povedia si, že okej, tak už vieme, že dôkaz by asi bol a poďme to skúsiť zjednodušiť a nejakým spôsobom hej, to teraz zjednodušia a-a dostanú z neho osem.

[00:21:36] Martir

Otázne je, koľko matematikov na svete má nutkanie lúskať dačo po umelej inteligencii, vieš.

[00:21:44] Kubqo

Veď je to ich robota, do prdele. Čo, čo tam akože má nutkanie? Tak akože kebyže teraz len, len si predstav, hej?

[00:21:52] Martir

Nikto z nich nedostal milión.

[00:21:53] Kubqo

Dobre, pozri sa. Teraz niekde v Číne sa narodí nejaký, é, super génius, ktorý by toto dokázal napísať len tak, hej, lebo, lebo proste on vidí matematiku ako čísla, ako farbičky, hej a proste jemu to dáva zmysel a napísal by stotridsaťstranový dôkaz. Čo teraz? Všetci ostatní by mu povedali, že ha, vieš čo? Kašľa na to. Vieš, akože čo, čo my sa tým nebudeme zaujímať? No nie? Tak proste vrhli by sa na to a povedali by mu, že hm, vieš čo, asi máš pravdu a takto by sa to dalo zjednodušiť.

[00:22:28] Martir

Problém je, keď príde AI a takýchto denných vypľuje päťdesiat.

[00:22:32] Kubqo

Jo áno, samozrejme, to chápem. Keď, keď začneš zahlcovať slopom, rozhodne. Ale v prípade, že by sme mali päť, päťdesiat nevyriešených problémov a teraz to AI by prišlo s tým, že vieš čo, vyriešila som všetkých päťdesiat a ty keď povieš prvá, že hm, fakt vyriešila. Druhá, fakt vyriešila. Tak proste ako ja, ja nevidím, že prečo by zrovna toto mal byť problém. Mne to príde asi také, ako keď, é, všetci súťažia v súťaži s klasickým dreveným dlhým lukom, hej? A proste strieľajú na terč na päťdesiat metrov a nejak im to ide a zrazu príde niekto s tým kladkovým, čo má zameriavač a tlmiče a veci. A oni sa všetci sťažujú, že ó, ty kokos, taký kretén s takým novým lukom. Nevidíš, že my tu strieľame s dreveným? Tak ale-

[00:23:25] Martir

To sú samostatné kategórie.

[00:23:27] Kubqo

Áno, presne tak. Je to, je to proste samostatná kategória. A teraz je otázka, či chceš súťažiť s tými ostatnými, alebo či máte všetci jeden spoločný cieľ trafiť terč. Lebo ak sa tvárime, že, že matematici sú tu na to, aby vyriešili záhady vesmíru a všetci majú ten spoločný cieľ vyriešiť záhady vesmíru, tak potom nech sa prestanú sťažovať a nech začnú makať. Ale v prípade, že, že sa teraz ideš hrať na piesočku, že jakože ľudská matematika a potom je tá, tá iná matematika, tak to jasné, chápem. Vymysli si svoju kategóriu, kde budeš strieľať iba tradičnými drevenými lukmi. A a budeš sa pretekať len s tradičnými drevenými lukmi a a proste budeš sa škaredo pozerať na všetkých ostatných. Hej, že že ty triafaš na päťdesiat metrov a tu vedľa teba je týpek, čo trafí na sto metrov, ale povieš si, že hm, vieš čo, ale on on nestrieľa naozaj, lebo on má taký vymyslený luk. No tak choď do prdele, prosím ťa. To je akože áno, ja chápem, keď-

[00:24:33] Martir

Nepáči sa mi tento prístup, lebo proste neviem nakoľko, ako aktuálne neviem. Hej, neviem povedať. Nečítal som postrehy matematikov k tej kritike, k tej štúdii zatiaľ ešte, lebo na peer review poriadne sa čaká. Ešte kým viem, tak nie.

[00:24:50] Kubqo

Jo.

[00:24:51] Martir

Ale-

[00:24:52] Kubqo

To znamená, že niekto si na to sadol a prečítal si to. Okej.

[00:24:56] Martir

No neviem. Vieš, to je práve to, lebo neni to peer review.

[00:25:00] Kubqo

Jasné.

[00:25:01] Martir

A predpokladám, že veľa matematikov to čítalo. Dúfam teda hej, lebo proste je to niečo, čo vyprodukovalo AI a

a som zvedavý, čo z toho bude eventuálne.

[00:25:14] Kubqo

Mhm.

[00:25:14] Martir

Ale práve toho sa bojím, že čo keď je to napísané tak, že proste ľudský mozog to neskapče dokopy, lebo proste je to príliš na brute force, vieš.

[00:25:25] Kubqo

Okej, a to to je možnosť, akože ja len aby bolo jasné, ja za každú cenu sa nesnažím obhajovať AI v žiadnom prípade. Akože jasné, v prípade, že to bude iba iba také, že eh prišiel som na to, že koľko možností eh je na na vyriešenie štvorciferného štvorciferného zámku existuje. Tu sú všetky možnosti. Vieš tak akože áno, samozrejme, že že môže sa stať aj to, že je to proste blbosť. Samozrejme, ak to tak je. Hej, že že ak sa teraz na to pozrú tí všetci tridsiati siedmi laureáti tej ceny a povedia, že vieš čo to je, ale ale strašná hovadina, to je naozaj, akože to sme si celý čas mysleli, ale nikto to nebude písať, lebo je to hovadina. Tak jasné, samozrejme v poriadku, ale v prípade, že je to naozaj niečo akože čo ešte nikto nikdy nevymyslel, tak ako ja v tom nevidím problém.

[00:26:25] Martir

Hm, poviem to takto, že čo som pozeral reakcie na to, tak väčšina ľudí, čo sa venuje matematike a fyzike v tom videla problém a my ako laici v tom nevidíme problém. To

[00:26:39] Kubqo

Pozor! No no veď jasné, ale to akože ďalšia vec. Samozrejme, že keď väčšina profesionálov v tom vidí problém, ja im nebudem protirečiť. Len proste keď-

[00:26:51] Martir

Aj keď dobre, zatiaľ som nevidel profesionálov, ktorí to endorsovali, tak to poviem hej, takže to bude chcieť. Nemal som toľko času zase ani to študovať je mega, takže už to tu zabralo mega času.

[00:27:04] Kubqo

Samozrejme, ja akože len nech je z toho úplne jasné, že keď eh desať profíkov povie, že že je to hovadina, ja nebudem ten, čo bude tvrdiť, že hm, viete čo, ale nie je to blbosť. Lenže z toho, ako napísali-

[00:27:20] Martir

Choďte strieľať s kladkovými lukmi.

[00:27:22] Kubqo

Presne tak. Lenže z toho, ako napísali ten list, to celé vyznieva, akože

on má lepšiu kalkulačku ako my. Tak to presne vyznieva.

[00:27:34] Martir

No to je ďalší z tých problémov, že tá je je kontrolovaná jednou spoločnosťou. Vieš ktorá toto vyriešila?

[00:27:41] Kubqo

Okej.

[00:27:42] Martir

A kebyže napríklad sa rozhodli, že nebudú dávať vonku tie veci, tak je to tiež veľký problém, lebo potom z jedného knowledge-

[00:27:51] Kubqo

Nech sa rozhodnú, že či je problém, keď ju dávajú vonku alebo keď nedávajú vonku.

[00:27:56] Martir

Tak akože väčší problém by bol, kebyže len vyriešili sme to a hotovo.

[00:28:00] Kubqo

Aha, jo.

[00:28:02] Martir

Ako takto dali nejakú štúdiu. No no uvidíme. Uvidíme, kam sa bude táto diskusia uberať. V každom prípade je to zaujímavé aj z toho pohľadu, lebo zase tá AI čerpala z práce predchádzajúcich matematikov. Predpokladám contribution tam nebol acknowledgement a podobne tam nebol žiaden. Tak jak podobne, keď vlastne vybrakovali všetky knižky a tak ďalej. Vieš a-

[00:28:28] Kubqo

Jo jo, jasné, samozrejme.

[00:28:32] Martir

A tak. Takže sú tam také veľmi otázne tie veci.

[00:28:37] Kubqo

Mhm. Jo.

[00:28:38] Martir

Toľko z mojej strany k tomu. Viacej nemám pripravené. Ešte ešte to budem určite viacej do toho šprtať, lebo je to zaujímavé. Tá diskusia je tak ale-

[00:28:49] Kubqo

Jo, zaujímavé. Som zvedavý, že čo ti k tomu budúci ty, lebo aj na budúce alebo povedzme, že budúci týždeň, že čo ti k tomu povie osiris, že aký bude mať on názor.

[00:29:03] Martir

On tiež nie je matematik, takže predpokladám, že podobne jak-

[00:29:06] Kubqo

To nie je nikto z nás. To je v poriadku.

[00:29:08] Martir

Také základy máme, no.

biedne základy podotýkam.

[00:29:14] Kubqo

Veľmi biedne. Áno, áno.

[00:29:16] Martir

Tak ako výrazne lepšie základy než niektorí ľudia čo poznám, ale ale stále oproti tým ľuďom, čo sa venujú matematike nemám žiadne. Takže-

[00:29:25] Kubqo

Povedzme to tak, že ja mám radšej tú matematiku s číslami.

[00:29:30] Martir

To neni matematika, to sú počty.

[00:29:32] Kubqo

No tak vidíš.

Hotovo, vybavené.

[00:29:36] Martir

Počítanie. Dobre, takže tým pádom sme sa dopracovali na záver tejto časti Pseudocastu. Ďalšia časť znova o týždeň. Nás nájsť môžete na www.pseudocast.sk, kde nájdete aj zdroje, ktoré sme používali k príprave tém. Písať nám môžete na Discord, ak nás chcete podporiť, lajkujte, zdieľajte, dajte páčika a príďte nás pozdraviť na Discord. Čaute.

[00:29:55] Kubqo

Ahojte.