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.



Główna część kampusu Kaust© Kaust.edu.sa

Potężny superkomputer lepem na naukowców

21 października 2008, 14:13

Przed rokiem informowaliśmy o położeniu kamienia węgielnego pod budowę Uniwersytetu Nauki i Technologii im. Króla Abdullaha (Kaust). Uczelnia zostanie otwarta we wrześniu 2009 roku, a władze Arabii Saudyjskiej chcą, by pracowali w niej najwybitniejsi naukowcy na świecie. Jednym z magnesów, który ma ich przyciągać będzie superkomputer Shaheen, czyli sokół wędrowny.


Tsubame 2.0 otrzymał Nagrodę Gordona Bella

30 listopada 2011, 18:20

Japoński superkomputer Tsubame 2.0 otrzymał prestiżową Nagrodę Gordona Bella. To najwyższe wyróżnienie na rynku superkomputerów. Przyznawane jest ono za niezwykłe osiągnięcia w dziedzinie przetwarzania równoległego.


Zbyt dużo rdzeni spowalnia superkomputery

15 stycznia 2009, 16:50

Naukowcy z Sandia National Laboratories udowodnili, że próby podnoszenia wydajności superkomputerów poprzez samo tylko zwiększanie liczby rdzeni w procesorach, w przypadku wielu złożonych aplikacji prowadzą do... spadku mocy obliczeniowej.


Superkomputer do lodów

27 lipca 2012, 09:23

Superkomputery kojarzą się z urządzeniami pozwalającymi na na badanie wnętrza gwiazd, służącymi do symulacji pogody i pomagającymi w szukaniu lekarstwa na raka. Tymczasem naukowcy z University of Edinburgh wykorzystali maszynę Cray XT5 do... symulowania lodów.


Noc Laboratoriów 2019 – to już jutro

17 października 2019, 18:43

Wrocławskie firmy, uczelnie, instytucje państwowe i naukowe w nocy 19 października otworzą drzwi do swoich pracowni badawczych, na co dzień niedostępnych dla laików. Podobnie jak w poprzednich latach organizatorem Nocy Laboratoriów jest NOKIA. Wraz z kilkunastoma partnerami akcji szykuje warsztaty, pokazy i wyjątkowe w tym roku atrakcje.


Pierwszy polimorficzny komputer

23 marca 2007, 16:30

Raytheon jest, jak twierdzi, pierwszą firmą, która stworzyła polimorficzną architekturę komputerową. Potrafi ona zmieniać swoją konfigurację w zależności od wykonywanych zadań.


Chińska superkomputerowa ofensywa

31 maja 2010, 11:10

Chiny mają ambicję stać się superkomputerową potęgą. Na przedstawionej dzisiaj liście TOP500 - pięciuset najpotężniejszych komputerów na świecie - ich system Nebulae zajmuje drugie miejsce, chociaż teoretyczna maksymalna wydajność plasuje go na pierwszej pozycji.


Wywiad chce mieć nadprzewodzący superkomputer

4 grudnia 2014, 10:40

Amerykańskie agencje wywiadowcze rozpoczynają prace nad nadprzewodzącym komputerem. Intelligence Advanced Research Projects Activity (IARPA) stanowiąca część Office of the Director of National Intelligence (ODNI) rozpoczęła wieloletni program Cryogenic Computer Complexity (C3), którego celem jest powstanie komputera korzystającego z nadprzewodników


Setki gatunków ssaków czekają na odkrycie

29 marca 2022, 11:57

Naukowcy z Ohio State University uważają, że na odkrycie czekają setki nieznanych gatunków ssaków. Co więcej, to gatunki, z których większość naukowcy widzieli. W większości są to małe zwierzęta, nietoperze, ryjówkowate czy kretowate. To głównie zwierzęta, które znamy, ale w których dotychczas nauka nie rozpoznała osobnych gatunków.


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