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