• 29 марта 202429.03.2024пятница
  • USD92,2628
    EUR99,7057
  • В Тюмени -3..-5 С 6 м/с ветер северо-западный

Узнавайте первыми главные новости в нашем Telegram-канале


Ученые опубликовали самое длинное доказательство теоремы

Общество, 15:36 28 мая 2016

Доказательство теоремы о так называемых "булевых пифагоровых тройках", подготовленное суперкомпьютером, содержит в себе рекордные 200 терабайт данных, а его короткую версию весом в 68 гигабайт человек не сможет прочитать за всю свою жизнь.

Об этом пишет РИА Новости, ссылаясь на статью, размещенную в электронной библиотеке Arxiv.org.

Теорема так называемых "булевых пифагоровых троек" гласит, что, если мы произвольно раскрасим все натуральные числа в два разных цвета, среди них не будет ни одной "тройки" из трех цифр одинаковых цветов, которые можно было бы подставить в знаменитую формулу Пифагора – a^2 = b^2 + c^2.

Как считают математики, данная теорема справедлива только для некоторого диапазона чисел, однако она оставалась недоказанной до этого дня. В 1980 годах математик Рональд Грэм даже в шутку объявил о создании призового фонда в 100 долларов, которые он обещал отдать тому математику, который сможет доказать, что таких троек не существует для всех натуральных чисел.

В 2016 году мечта Грэма исполнилась – Марин Ойле из университета Техаса в Остине (США) и его коллеги, программисты и математики из США и Великобритании, опубликовали доказательство этой теоремы, полученное при помощи специальных алгоритмов самообучения и поиска математических доказательств.

Для решения этой задачи ученым потребовались все 800 процессоров суперкомпьютера, установленного в университете Техаса, а также два дня машинного времени.

Как оказалось, данная теорема работает только для чисел, не превышающих 7824 – если максимально допустимое число превышает эту отметку, то тогда хотя бы одна пифагорова тройка будет раскрашена в оба цвета. Для того, чтобы доказать это, компьютеру пришлось перебрать примерно триллион различных вариантов раскраски чисел.

Как отметил в интервью журналу Nature один из авторов статьи, Оливер Куллманн из университета Суонси (Великобритания), подобное компьютерное доказательство уступает "настоящим" математическим доказательствам в том, что оно не объясняет, как появляется число 7824 и почему эта теорема работает в данных пределах. Поэтому, как он считает, можно ожидать, что другие математики не оставят попыток доказать эту теорему "нормальным" путем.

 

 

Подписывайтесь на наш Telegram-канал и первыми узнавайте главные новости
Читайте нас в Дзен