Най-голямото математическо доказателство в света е с информационен обем 200 TB

С помощта на суперкомпютъра Stampede на Калифорнийския университет бе получено решение на задачата за булевите питагорови тройки числа. Но информационният обем на решението заема сериозните 200 TB. Такъв обем биха заели всичките сканирани книги от библиотеката на американския Сенат. В компресиран вид доказателството заема 68 GB. За получаването на масива данни и за проверката на правилността на решението са използвани 30 000 часа машинно време. Проверката на това решение не е по силите на никой човек.

Това не е първото решение от подобен род. Към днешен ден много комбинаторни задачи се решават с помощта на мощни компютърни системи. Предишната математическа задача от подобен род имаше решение с обем 13 GB. Но 200 TB са нещо съвсем друго.

Задачата за питагоровите тройки числа от дълги години занимава математиците. През 1980 година е предложена награда от $100 за решаване на тази важна задача. Едва днес специалистите получиха тази сума, която сега е много по-голяма, поради сложните инфлационни процеси. Задачата е формулирана по следния начин: възможно ли е да се оцвети всяко положително натурално число в червен или син цвят по такъв начин, че тройката натурални числа a, b и c, удовлетворяващи теоремата на Питагор a2 + b2 = c2 да не бъде оцветена в същия цвят. Например, да вземем питагоровата тройка числа 3, 4 и 5. Ако 3 и 5 са оцветени със син цвят, то 4 задължително трябва да е с червен цвят.

Учените доказаха, че до числото 7824 всички питагорови числа удовлетворяват условията на задачата. От числото 7285 и нагоре това е вече невъзможно. За получаването на отговора работиха 800-те процесора на компютъра Stampede.

Въпреки че компютърът реши задачата, той не дава отговор на въпроса, защо точно числото 7285 е толкова значително или защо оцветяването на питагоровите тройки с различен цвят изобщо е възможно. Това е основен проблем при машинните доказателства. Те могат да са верни, но дали това е математика?