Для работы проектов iXBT.com нужны файлы cookie и сервисы аналитики. Продолжая посещать сайты проектов вы соглашаетесь с нашей Политикой в отношении файлов cookie 4 000 000 000 000 000 000 проверок впустую: почему современные процессоры бессильны против гипотезы Гольдбаха Пост опубликован в блогах iXBT.com, его автор не имеет отношения к редакции iXBT.com Вчера в 13:38 | Статья | Наука и космос В математике есть задачи, которые выглядят как издевательство над здравым смыслом. Их условия понятны первокласснику, но решение не поддается ни гениям, ни суперкомпьютерам. Гипотеза Гольдбаха — абсолютный чемпион в этом весе. Она дразнит ученых своей очевидностью уже три столетия. Суть проблемы укладывается в одно предложение: Каждое четное число больше двух можно представить как сумму двух простых чисел. 4 = 2 + 2 10 = 5 + 5 (или 3 + 7) 100 = 3 + 97 (или 11 + 89) Казалось бы, бери и подбирай. Но именно здесь начинается бездна. Великие умы прошлого столетиями искали подвох в «детской» задаче, но так и не нашли его. Автор: aistudio.google.com Источник: aistudio.google.com Почему это вообще проблема? Главная сложность кроется в природе простых чисел (тех, что делятся только на 1 и на себя). Это «атомы» математики, из которых через умножение строятся все остальные числа. Мы прекрасно понимаем их мультипликативную природу (на этом построена вся современная криптография, например, алгоритм RSA). Но гипотеза Гольдбаха требует от нас складывать их. Это все равно что пытаться построить идеально ровную стену, используя камни, созданные природой для строительства арок. Инструменты, заточенные под умножение, ломаются при попытке применить их к сложению. Простые числа распределены в числовом ряду псевдохаотично. Предсказать, где появится следующее простое число, невероятно трудно, а доказать, что для любого четного числа N всегда найдется пара простых p1 и p2, таких что p1 + p2 = N — задача за гранью текущих возможностей математики. Трагедия в свете керосиновой лампы и «метод решета» За сухими формулами скрываются реальные человеческие драмы. Ближе всех к решению подошел китайский математик Чэнь Цзинжунь. В разгар Культурной революции, в крошечной каморке при свете керосиновой лампы, он доказал теорему, которую теперь называют «1 + 2». Чэнь Цзинжунь работал над доказательством в крошечной каморке при свете лампы, пока вокруг бушевала Культурная революция. Автор: aistudio.google.com Источник: aistudio.google.com Что это значит? Чэнь доказал, что любое достаточно большое четное число можно представить как сумму простого числа и числа, у которого не больше двух простых множителей (то есть почти простого). Он использовал усовершенствованный «метод решета» — способ фильтрации чисел, похожий на древнее решето Эратосфена, но гораздо более сложный и тонкий. Это был колоссальный прорыв, но сделать последний шаг — убрать этот «лишний» множитель и получить чистую схему «1 + 1» — так и не удалось. Брутфорс против бесконечности Сегодня мы можем проверить гипотезу «в лоб» (методом перебора, или брутфорсом). Современные суперкомпьютеры перемалывают цифры вплоть до 4 квинтиллионов (4 с 18 нулями), и каждый раз результат сходится. Для инженера этого было бы достаточно: если мост стоит 4 квинтиллиона лет, значит, он надежен. Но для математика это не доказательство. Бесконечность коварна. История знает примеры, когда гипотезы ломались на числах с сотнями нулей (например, гипотеза Пойа). Контрпример к Гольдбаху может прятаться там, куда не доберется ни один кремниевый процессор, даже если заставить его работать до тепловой смерти Вселенной. Даже мощности современных суперкомпьютеров пасуют перед бесконечностью числового ряда. Визуализация сложности вычислений. Автор: aistudio.google.com Источник: aistudio.google.com Парадокс Гольдбаха учит нас смирению. Мы запускаем ракеты и обучаем нейросети, но до сих пор не понимаем фундаментальное свойство чисел, которыми пользуемся каждый день. Возможно, это утверждение истинно, но недоказуемо в рамках нашей системы аксиом (привет теореме Гёделя). И это пугает больше всего: видеть истину, но не иметь возможности к ней прикоснуться. Изображение в превью: Source: https://www.ixbt.com/live/science/4-000-000-000-000-000-000-proverok-vpustuyu-samaya-prostaya-i-nereshaemaya-zagadka-sovremennosti.html