10 млрд. години са нужни, за да бъде прочетено най-дългото математическо доказателство

Най-дългото математическо доказателство, за чието прочитане на един човек са необходими 10 милиарда години, беше представено във Франция, съобщи АФП.

Автори на доказателството за "двуцветните тройки на Питагор" са Марийн Хойле от Тексаския университет, Оливър Кулман от Университета на Суонси и Виктор Марек от университета на Кентъки. Те го представиха на конференцията САТ 2016 в Бордо.

Проблемът е, че доказателството е колкото "всички цифровизирани текстове в американската библиотека на Конгреса" - 200 000 милиарда октета.

Предишният подобен рекорд беше от 13 милиарда октета.

Математиците са работили със суперкомпютъра "Стампийд" в университета на Тексас два дена.