25 июня 2019, вторник, 04:36
VK.comFacebookTwitterTelegramInstagramYouTubeЯндекс.Дзен

НОВОСТИ

СТАТЬИ

PRO SCIENCE

МЕДЛЕННОЕ ЧТЕНИЕ

ЛЕКЦИИ

АВТОРЫ

Математическое доказательство занимает 200 терабайт

Суперкомпьютер Stampede
Суперкомпьютер Stampede
University of Texas

Трое ученых объявили о получении крупнейшего по размеру доказательства математической теоремы. Полученное при помощи суперкомпьютера Stampede в Техасском университете, оно занимает 200 терабайт, что примерно равно всем оцифрованным текстам, хранящимся сейчас в Библиотеке конгресса США. Ученые подготовили сжатую версию доказательства, объемом всего 68 гигабайт, которую можно скачать и проверить на обычном компьютере всего за 30 тысяч часов.

Сейчас полученные при помощи компьютеров доказательства математических теорем, которые люди никогда не смогут перепроверить вручную, встречаются все чаще. Однако объем доказательства в 200 терабайт все равно кажется удивительным. Прошлый рекорд составлял всего лишь 13 гигабайт.

Задача, которая потребовала такого колоссального доказательства, известна как «проблема булевых пифагоровых троек». Она формулируется так: можно ли раскрасить каждое целое положительное число в красный или синий цвет так, чтобы не оказалось ни одной тройки чисел, удовлетворяющих равенству a2 + b2 = c2 и раскрашенных при этом в один цвет. В статье, которую авторы доказательства разместили на сайте arXiv.org, сообщается, что соблюдать это требование возможно только на числах от 1 до 7824, а далее оно становится невыполнимым. Работа суперкомпьютера по проверке всех возможных вариантов раскраски заняла около двух дней, затем решение было проверено на другой программе.

Обсудите в соцсетях

Система Orphus
«Ангара» Африка Византия Вселенная Гренландия ДНК Иерусалим КГИ Луна МГУ Марс Металлургия Монголия НАСА РБК РВК РГГУ РадиоАстрон Роскосмос Роспатент Росприроднадзор Русал СМИ Сингапур Солнце Юпитер акустика антибиотики античность археология архитектура астероиды астрофизика бактерии бедность библиотеки биомедицина биомеханика бионика биоразнообразие биотехнологии блогосфера викинги вирусы воспитание вулканология гаджеты генетика география геология геофизика геохимия гравитация грибы дельфины демография демократия дети динозавры животные здоровье землетрясение змеи зоопарк зрение изобретения иммунология импорт инновации интернет инфекции ислам исламизм исследования история карикатура картография католицизм кельты кибернетика киты климатология комета кометы компаративистика космос культура лазер лексика лженаука лингвистика льготы мамонты математика материаловедение медицина метеориты микробиология микроорганизмы мифология млекопитающие мозг моллюски музеи насекомые наука нацпроекты неандертальцы нейробиология неолит обезьяны общество онкология открытия палеолит палеонтология память папирусы паразиты перевод питание планетология погода политика право приматы психиатрия психоанализ психология психофизиология птицы ракета растения религиоведение рептилии робототехника рыбы сердце смертность сон социология спутники старение старообрядцы стартапы статистика такси технологии тигры топливо торнадо транспорт ураган урбанистика фармакология физика физиология фольклор химия христианство школа экология эпидемии эпидемиология этология язык Александр Беглов Древний Египет Западная Африка Латинская Америка НПО «Энергомаш» Нобелевская премия РКК «Энергия» Российская империя Сергиев Посад альтернативная энергетика аутизм биология бозон Хиггса глобальное потепление грипп информационные технологии искусственный интеллект история искусства история цивилизаций исчезающие языки квантовая физика квантовые технологии компьютерная безопасность компьютерные технологии космический мусор криминалистика культурная антропология междисциплинарные исследования местное самоуправление мобильные приложения научный юмор облачные технологии обучение одаренные дети педагогика персональные данные подготовка космонавтов преподавание истории продолжительность жизни происхождение человека русский язык сланцевая революция финансовый рынок черные дыры эволюция эмбриональное развитие этнические конфликты ядерная физика Вольное историческое общество жизнь вне Земли естественные и точные науки НПО им.Лавочкина Центр им.Хруничева История человека. История институтов дело Baring Vostok Протон-М 3D Apple Big data Dragon Facebook Google GPS IBM MERS PRO SCIENCE видео ProScience Театр SpaceX Tesla Motors Wi-Fi

Редакция

Электронная почта: polit@polit.ru
Телефон: +7 929 588 33 89
Яндекс.Метрика
Свидетельство о регистрации средства массовой информации
Эл. № 77-8425 от 1 декабря 2003 года. Выдано министерством
Российской Федерации по делам печати, телерадиовещания и
средств массовой информации. Выходит с 21 февраля 1998 года.
При любом использовании материалов веб-сайта ссылка на Полит.ру обязательна.
При перепечатке в Интернете обязательна гиперссылка polit.ru.
Все права защищены и охраняются законом.
© Полит.ру, 1998–2019.