Регистрация пройдена успешно!
Пожалуйста, перейдите по ссылке из письма, отправленного на

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

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

МОСКВА, 27 мая – РИА Новости. Доказательство теоремы о так называемых "булевых пифагоровых тройках", подготовленное суперкомпьютером, содержит в себе рекордные 200 терабайт данных, а его короткую версию весом в 68 гигабайт человек не сможет прочитать за всю свою жизнь, говорится в статье, размещенной в электронной библиотеке Arxiv.org

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

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

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

Младенец
Ученые: оценить способность ребенка к математике можно в младенчествеАмериканские ученые доказали, что развитое арифметическое мышление у детей дошкольного возраста — основа математического таланта.

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

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

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

Рекомендуем
РИА
Новости
Лента
новостей
Лента новостей
0
Сначала новыеСначала старые
loader
Онлайн
Заголовок открываемого материала
Чтобы участвовать в дискуссии
авторизуйтесь или зарегистрируйтесь
loader
Чаты
Заголовок открываемого материала