Трое ученых объявили о получении крупнейшего по размеру доказательства математической теоремы. Полученное при помощи суперкомпьютера Stampede в Техасском университете, оно занимает 200 терабайт, что примерно равно всем оцифрованным текстам, хранящимся сейчас в Библиотеке конгресса США. Ученые подготовили сжатую версию доказательства, объемом всего 68 гигабайт, которую можно скачать и проверить на обычном компьютере всего за 30 тысяч часов.
Сейчас полученные при помощи компьютеров доказательства математических теорем, которые люди никогда не смогут перепроверить вручную, встречаются все чаще. Однако объем доказательства в 200 терабайт все равно кажется удивительным. Прошлый рекорд составлял всего лишь 13 гигабайт.
Задача, которая потребовала такого колоссального доказательства, известна как «проблема булевых пифагоровых троек». Она формулируется так: можно ли раскрасить каждое целое положительное число в красный или синий цвет так, чтобы не оказалось ни одной тройки чисел, удовлетворяющих равенству a2 + b2 = c2 и раскрашенных при этом в один цвет. В статье, которую авторы доказательства разместили на сайте arXiv.org, сообщается, что соблюдать это требование возможно только на числах от 1 до 7824, а далее оно становится невыполнимым. Работа суперкомпьютера по проверке всех возможных вариантов раскраски заняла около двух дней, затем решение было проверено на другой программе.
