V roce 2009 oznámil tým odborníků z Googlu v jednom z nejvýznamnějších vědeckých časopisů na světě, Nature, pozoruhodný úspěch. Aniž by potřeboval záznam o jediné lékařské prohlídce, podařilo se mu vysledovat šíření chřipky po USA. Navíc to zvládl rychleji než americké Centrum pro kontrolu a prevenci nemocí (CDC), které se …
více »Kvantový algoritmus zrychlí hledání gravitačních vln
Gravitační vlny se dnes hledají porovnáváním naměřeného signálu s rozsáhlou databází šablon/vzorů (matched filtering). Filtrace umožňuje počítačům vybírat signály gravitačních vln ze šumu dat shromážděných detektorem. Tento postup používá např. Laser Interferometer Gravitational Observatory (LIGO) a od prvního zachycení gravitačních vln v roce 2015 vedl k mnoha úspěchům. Algoritmus je …
více »Matematický hlavolam: Na MITu zkusili pohnout s problémem P vs. NP
David Gamarnik z MITu popsal novou metodiku, jak by se dalo přistupovat k problému P vs. NP, tedy otázce spadající do výpočetní složitosti, obou někde mezi informatikou a čistou matematikou. Otázka, zda P se může rovnat NP, patří mezi největší problémy současné matematiky, za jejich řešení vypsal Clayův matematický ústav …
více »Logika prvního řádu a obecná umělá inteligence
Jazyk logiky prvního řádu má větší vyjadřovací sílu než Booleovy logiky. Když sledujeme inteligentního aktéra zvenčí, hraje roli tok činností, které vytváří z toku vstupů. Zevnitř musí být tyto činnosti vybírány programem aktéra. Lze říci, že lidé se rodí s jedním programem aktéra a tento program se během času učí …
více »Na intuici a chuť znalců vína raději nespoléhat
Kdy jsou předpovědi expertů přesnější než jednoduché algoritmy? Skoro nikdy. Paul Meehl z Minnesotské univerzity otestoval úspěšnost expertů v celé řadě oborů z hlediska jejich schopnosti předvídat na základě svých odborných znalostí, „intuice“ / „zkušenosti“. Ukázalo se, že většinu expertů dokázaly překonat jednoduché algoritmy. Na základě průměrných známek na nižším …
více »Místo UFO raroh velký
Na záběrech z dronu z roku 2016 byl v americkém státě Utah zachycen neznámý, rychle letící objekt a řada lidí od té doby žila v domnění, že jde o UFO. Pět let poté, 4. června tohoto roku, se podařilo prokázat, že šlo ve skutečnosti o sokolovitého ptáka raroha velkého. K …
více »Z Gödelova důkazu nevyplývá, že jsme něco víc než stroje
Už prostý fakt, že neumíme naprogramovat „gödelizaci“, by v nás měl vzbudit jisté pochyby, zda ji za všech okolností zvládneme my sami. Možnost trucovitě opakovat Gödelův argument posloužila mnoha lidem jako zbraň při prosazování názoru, že lidské myšlení zahrnuje určité prchavé a těžko pochopitelné prvky, které počítače nedokážou napodobit. Významným …
více »Další algoritmus ukazuje kvantovou nadvládu
Fermiho-Hubbardův model hraje roli ve fyzice pevných látek, popisuje tzv. silně korelované materiály a má vztah i k hledání vysokoteplotní supravodivosti. V rámci souvisejících výpočtů je často potřeba najít tzv. základní stav modelu. Nová studie ukazuje, že tento výpočet dokáže lépe provést kvantový než klasický algoritmus. Jedná o již o …
více »Umělá inteligence se může učit i na Rubikově kostce
Na první pohled nemá využití umělé inteligence a souvisejících technologií (strojové/hluboké učení, neuronové sítě…) na Rubikově kostce smysl, když řešení známe. Na rozdíl od šachů existuje určitý optimální postup z nějaké pozice a po jeho nalezení se už není co učit dál a jak se zdokonalovat – například tím, že …
více »Pohled na vývoj autonomních dronů
Autonomní systémy se postupně stávají součástí našeho každodenního života od robotických vysavačů až po samořiditelné automobily. Vývoj autonomních systémů neobešel ani velmi populární oblast dronů. Tvorba algoritmů pro drony přináší řadu výzev, se kterými se musí jejich autoři vypořádat. Podporu jim poskytují současné simulační a vizualizační nástroje, bez kterých by …
více »