Ešte v časoch, keď sa matematické dôkazy rodili výhradne z rúk a mysle človeka, by myšlienka, že stroj bude navrhovať hypotézy, znela ako sci-fi. V nedeľu sa v Pekingu zišli poprední čínski matematici, aby spoločne spustili iniciatívu, ktorá má umelú inteligenciu dostať priamo do matematického výskumu. Alianciu Yau Laboratory Alliance for Mathematics and Artificial Intelligence vedie nositeľ Fieldsovy medaily Shing-Tung Yau. Ten zároveň upozornil, že Čína v používaní umelej inteligencie na rozvoj hraničnej vedy za Spojenými štátmi zaostáva.
Nové zoskupenie má spojiť osem popredných inštitúcií a vytvoriť sieť viac ako tisíc vedcov. Jeho hlavným cieľom je vyvíjať špecializované AI modely pre matematiku – také, ktoré dokážu generovať domnienky a formalizovať dôkazy. Dôležitou súčasťou je aj snaha stavať systémy, ktorých uvažovanie by bolo možné ľahšie interpretovať, teda sledovať, ako sa k výsledku dopracovali. Práve to je pri matematike kľúčové: nestačí, aby stroj uviedol odpoveď, musí byť schopný ukázať cestu, ktorá sa dá overiť.
Prečo je prepojenie AI a matematiky dôležité
Matematika je jazyk, ktorým sa dá presne opísať takmer čokoľvek – od správania častíc až po ekonomické modely.
Keď sa do tohto jazyka zapojí umelá inteligencia, môže to zrýchliť objavovanie súvislostí, ktoré by ľudskému tímu trvali roky. Všeobecne platí, že AI je silná v hľadaní vzorcov v obrovských dátach a v rýchlom skúšaní možností. Pri matematike však naráža na jednu zásadnú vec: nestačí nájsť, čo funguje – treba to aj dokázať. Formalizácia dôkazov je preto jednou z najnáročnejších oblastí, kde sa AI musí naučiť nielen počítať, ale aj logicky argumentovať.
Súvislosti a čo sa ešte len ukáže
Spojenie ôsmich inštitúcií a plán vybudovať sieť tisícok vedcov naznačuje, že nejde o okrajový experiment. Podobné iniciatívy vo svete ukazujú, že umelá inteligencia sa postupne stáva nástrojom aj v oblastiach, ktoré boli dlho považované za doménu čistej ľudskej tvorivosti. Čína tým reaguje na vývoj v Spojených štátoch, kde sa AI v základnom výskume používa vo väčšej miere. Ako rýchlo sa podarí dosiahnuť konkrétne výsledky, nie je jasné – rovnako ako to, nakoľko budú vytvorené modely schopné prinášať skutočne nové matematické poznatky a nielen efektívne triediť existujúce. Ak sa aliancii podarí posunúť formalizáciu dôkazov alebo generovanie domnienok, mohlo by to ovplyvniť spôsob, akým sa matematika robí – od školských lavíc až po špičkový výskum.
Na poskytovanie tých najlepších skúseností používame technológie, ako sú súbory cookie na ukladanie a/alebo prístup k informáciám o zariadení. Súhlas s týmito technológiami nám umožní spracovávať údaje, ako je správanie pri prehliadaní alebo jedinečné ID na tejto stránke. Nesúhlas alebo odvolanie súhlasu môže nepriaznivo ovplyvniť určité vlastnosti a funkcie.
Funkčné
Vždy aktívne
Technické uloženie alebo prístup sú nevyhnutne potrebné na legitímny účel umožnenia použitia konkrétnej služby, ktorú si účastník alebo používateľ výslovne vyžiadal, alebo na jediný účel vykonania prenosu komunikácie cez elektronickú komunikačnú sieť.
Predvoľby
Technické uloženie alebo prístup je potrebný na legitímny účel ukladania preferencií, ktoré si účastník alebo používateľ nepožaduje.
Štatistiky
Technické úložisko alebo prístup, ktorý sa používa výlučne na štatistické účely.Technické úložisko alebo prístup, ktorý sa používa výlučne na anonymné štatistické účely. Bez predvolania, dobrovoľného plnenia zo strany vášho poskytovateľa internetových služieb alebo dodatočných záznamov od tretej strany, informácie uložené alebo získané len na tento účel sa zvyčajne nedajú použiť na vašu identifikáciu.
Marketing
Technické úložisko alebo prístup sú potrebné na vytvorenie používateľských profilov na odosielanie reklamy alebo sledovanie používateľa na webovej stránke alebo na viacerých webových stránkach na podobné marketingové účely.
