Комп'ютерна техніка
Компьютер рассчитал математическое доказательство объемом данных в 200 терабайт
Трое ученых, Мэриджн Хеул (Marijn Heule) из Техасского университета, Оливер Куллман (Oliver Kullmann) из университета Суонси и Виктор Марек (Victor Marek) из университета ...