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