![](/media/lib/112/n-serwerownia-d886d1e2cb2a03c8467b027f8890b21d.jpg)
Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn 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.
![](/media/lib/93/n-stop-ddac1863b3a5bb3bd437d08ac60ba248.jpg)
Blokują blokujących
31 maja 2016, 09:41Około 7% z 5000 najpopularniejszych witryn blokuje użytkowników używających oprogramowania do blokowania reklam. Takie są wyniki analiz przeprowadzonych przez naukowców z Uniwersytetu w Cambridge, Uniwersytetu Stony Brook, Uniwersytetu Kalifornijskiego w Berkeley, Queen Mary University o International Computer Science Institute.
![](/media/lib/246/n-kbe-243862e8580c745ad0b6f09ef98f49e8.jpg)
Sztuczna inteligencja przeprowadziła eksperyment naukowy
16 maja 2016, 15:18Fizycy 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.
![](/media/lib/246/n-plazma-223b16e991186b67f4c59337fbec887d.jpg)
NASA inwestuje w technologie przyszłości
16 maja 2016, 10:18NASA wybrała osiem propozycji przyszłych technologii kosmicznych, które agencja być może zdecyduje się wykorzystać. W ramach Fazy II NASA Innovative Advanced Concepts (NIAC) Program każda z wybranych propozycji otrzyma dwuletnie dofinansowanie w wysokości 500 000 USD
![](/media/lib/246/n-pies-w-uprzezy-bbf1cc42b26a5c72bdf841ad2d6a2632.jpg)
Komputerowa tresura psów
6 maja 2016, 11:03Naukowcy z Uniwersytetu Stanowego Północnej Karoliny stworzyli sprzęt i oprogramowanie, które pozwalają komputerowi autonomicznie wytresować psa. Jak wyjaśniają, komputer reaguje na mowę ciała czworonoga.
![](/media/lib/246/n-badacz-oglada-komary-zarazone-bakteriami-wolbachia-9fe65726a8010b6118f17b572be22601.jpg)
Zarażenie bakteriami zmniejsza zdolność komarów do przenoszenia wirusów
5 maja 2016, 06:28Zarażanie komarów Aedes bakteriami z rodzaju Wolbachia może drastycznie zmniejszyć ich zdolność przenoszenia wirusa Zika (ZIKV).
![](/media/lib/245/n-podrobkasandisk-f0351861768835e103e02db5eb9f7410.jpg)
Podróbki kart pamięci na Grouponie
29 kwietnia 2016, 09:31Użytkownicy holenderskiego Tweakers Forum alarmują, że jeden ze sprzedawców na Grouponie rozprowadza podrobione karty pamięci firmy SanDisk. Karty te, rzekomo urządzenia SanDisk MicroSD, rzeczywiście mają reklamowaną pojemność i działają, jednak ich wydajność jest znacznie niższa niż opisana na opakowaniu
![](/media/lib/245/n-swiatla-dla-smombi-2f7baf37b455bde9ff454fdc347edfb5.jpg)
Sygnalizacja świetlna dla zapatrzonych w smartfony
27 kwietnia 2016, 06:07Z myślą o osobach zapatrzonych w smartfony w Augsburgu w Bawarii zainstalowano sygnalizację świetlną w chodniku.
![](/media/lib/245/n-dronedefender-87f0a66550938f7f332e346a7898c8c8.jpg)
DroneDefender - bicz na drony
25 kwietnia 2016, 08:24Battelle, największa na świecie niedochodowa organizacja badawczo-rozwojowa, opracowała ręczny system zwalczania dronów. DroneDefender jest w stanie z odległości 400 metrów zakłócić sygnały radiowe wysyłane przez operatora drona
![](/media/lib/245/n-qm-49f5ee2b49bae57e19c5aa650a6fd5a0.jpg)
Kwantowy crowdsourcing
18 kwietnia 2016, 12:22Zasady fizyki kwantowej wydają się całkowicie sprzeczne z ludzką intuicją. Gra stworzona przez grupę naukowców dowodzi jednak, że nawet ludzie bez odpowiedniego wykształcenia mogą je intuicyjnie coraz lepiej rozumieć