Самое большое математическое доказательство в мире «весит» 200 ТБ
Проблема Булевых пифагоровых троек решена суперкомпьютером Stampede Суперкомпьютер Stampede из Техасского университета Команда ученых объявила о получении решения математической проблемы Булевых пифагоровых троек. Решение получено при помощи суперкомпьютера Stampede Калифорнийского университета. Но его объем составляет 200 ТБ. Это столько, сколько…
Читать дальше