Najdłuższy dowód matematyczny w historii

1 czerwca 2016, 09:33

Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.


Księgarnia PWN - Gwiazdka 2024

Sztuczna inteligencja przeprowadziła eksperyment naukowy

16 maja 2016, 15:18

Fizycy zatrudnili sztuczną inteligencję do przeprowadzenia złożonego eksperymentu. Naukowcy z Australian National University (ANU) i University of New South Wales (UNSW) wykazali, że system sztucznej inteligencji jest w stanie samodzielnie uzyskać kondensat Bosego-Einsteina. W 2001 roku za uzyskanie tego kondensatu przyznano nagrodę Nobla.


Wykrywacz emocji: potrzebny czy nie?

12 maja 2016, 11:23

Na Uniwersytecie w Lancaster trwają badania związane z wykrywaczem emocji. Inspiracją był gadżet z filmu "Łowca androidów" z 1982 r. (chodzi o test Voighta-Kampffa, który pozwalał odróżnić ludzi od androidów).


IBM udostępnia procesor kwantowy

5 maja 2016, 11:21

Inżynierowie IBM-a zbudowali kwantowy procesor, który został udostępniony klientom IBM Cloud za pośrednictwem kwantowej platformy komputerowej.


Wyścig do eksaskali

26 kwietnia 2016, 08:42

Rząd USA prowadzi prace mają na celu stworzenie eksaskalowego superkomputera. Pierwotnie sądzono, że taka maszyna powstanie w ciągu 10 lat po zbudowaniu pierwszej maszyny, której wydajność liczona jest w petaflopach


USA kupią ciężką wodę od Iranu

22 kwietnia 2016, 11:20

Jeszcze niedawno irański program nuklearny był jednym z najpoważniejszych zmartwień społeczności międzynarodowej i sprawiał, że Teheran był w dużej mierze izolowany. Obecnie, po poprawieniu stosunków pomiędzy USA a Iranem na programie tym korzystają same... Stany Zjednoczone.


Linuksowy Bash trafi do Windows

1 kwietnia 2016, 09:31

Podczas pierwszego dnia rozpoczętej wczoraj konferencji Microsoft Build koncern w Redmond ogłosił, że wraz z planowaną na lato aktualizacją Windows 10 do firmowego OS-u trafi... linuksowa powłoka Bash. To nie będzie wirtualna maszyna czy narzędzie skompilowane dla innej platformy


Automatyczna rewolucja w fast-foodach

18 marca 2016, 13:38

Andy Puzder, dyrektor sieci fastfood'ów Carl's Jr. i Hardee's zapowiada rewolucję technologiczną. Po odwiedzinach w zautomatyzowanej restauracji Eatsa, Puzder oświadczył, że chce spróbować tego samego w zarządzanych przez siebie sieciach. Do Carl's Jr. i Hardee's należy około 2400 restauracji.


AlphaGo wygrał ostatnią partię z Lee Sedolem

15 marca 2016, 11:58

Lee Sedol, mistrz świata w Go, przegrał ostatnią partię z AlphaGo. Tym samym wynik meczu pomiędzy człowiekiem a sztuczną inteligencją został ustalony na 1:4


Pierwsza wygrana Lee Sedola

14 marca 2016, 09:57

AlphaGo rezygnuje, tymi słowy maszyna poddała czwartą partię Go. Po czterech partiach Lee Sedol odniósł pierwsze zwycięstwo ze sztuczną inteligencją. Ostatnia partia meczu odbędzie się jutro.


Zostań Patronem

Od 2006 roku popularyzujemy naukę. Chcemy się rozwijać i dostarczać naszym Czytelnikom jeszcze więcej atrakcyjnych treści wysokiej jakości. Dlatego postanowiliśmy poprosić o wsparcie. Zostań naszym Patronem i pomóż nam rozwijać KopalnięWiedzy.

Patronite

Patroni KopalniWiedzy