4 000 000 000 000 000 000 проверок впустую: почему современные процессоры бессильны против гипотезы Гольдбаха
Почему простая детская задача мучает математиков третий век
Формулировка гипотезы Гольдбаха умещается в одной строке. Любое чётное число больше двух можно записать как сумму двух простых. 4 = 2+2. 10 = 5+5. 100 = 3+97. Всё. Первоклассник поймёт. Но доказать это никто не смог за 300 лет. И это не шутка.
В чем проклятие простых чисел
Простые числа — «атомы» арифметики. Из них через умножение строятся все остальные числа. На этом свойстве держится криптография RSA — та самая, что защищает ваши банковские переводы. Но гипотеза Гольдбаха требует от нас складывать эти «атомы». Это как пытаться построить ровную стену из камней, созданных природой для арок. Инструменты, заточенные на умножение, ломаются, когда речь заходит о сложении.
Простые числа распределены псевдохаотично. Нет простой формулы, чтобы сказать: «Вот следующее простое». А доказать, что для любого чётного N всегда найдётся пара p1 и p2 — задача, которая пока вне досягаемости. Недавно я заметил, что многие программисты искренне удивляются: «Ну перебрали до 4 квинтиллионов — хватит!». Но математика — не инженерия. Один контрпример на числе с 50 нулями похоронит гипотезу навсегда.
Главная боль: мы умеем управлять ядерными реакторами и обучать нейросети, но не можем объяснить, почему 10 = 5+5 — это частный случай общего закона, а не случайность.
История с керосиновой лампой
Ближе всех подобрался китайский математик Чэнь Цзинжунь. В разгар Культурной революции, в крошечной каморке при свете керосиновой лампы, он доказал теорему «1 + 2». Что это значит? Любое достаточно большое чётное число — это сумма простого числа и числа, у которого не больше двух простых множителей (почти простое). Чэнь использовал усовершенствованный «метод решета» — способ фильтрации чисел, похожий на решето Эратосфена, но в сотню раз сложнее. Это был прорыв. Но сделать последний шаг — убрать «лишний» множитель и получить «1 + 1» — не удалось до сих пор.
Брутфорс против бесконечности
Сегодня суперкомпьютеры проверили гипотезу до 4 квинтиллионов (4 с 18 нулями). Каждый раз сходится. Для инженера это железобетонное доказательство. Если мост стоит 4 квинтиллиона циклов — он вечен. Но математик скажет: «Бесконечность коварна». История знает гипотезу Пойа — она подтверждалась на всех проверенных числах, но на 906 180 359 нашёлся контрпример. Гольдбах может прятать свой контрпример там, куда кремний не доберётся до тепловой смерти Вселенной.
| Метод | Суть | Результат |
|---|---|---|
| Метод решета | Фильтрация чисел, поиск закономерностей | Доказано «1+2» (почти победа) |
| Компьютерный брутфорс | Прямой перебор всех чётных чисел | Подтверждено до 4·10¹⁸ |
| Аналитический подход | Попытка доказать через теорию функций | Пока не дал полного доказательства |
Как проверить гипотезу Гольдбаха для числа 100 за 5 минут
- Выпишите все простые числа до 100: 2, 3, 5, 7, 11… 97.
- Возьмите любое чётное число, например 24.
- Ищите пару: 24 - 5 = 19 (простое?) — да, 5 и 19 — пара.
- Если не нашли — перебирайте дальше. Для 100: 3 и 97, 11 и 89, 17 и 83...
- Убедитесь: всегда есть хотя бы одна пара. Это и есть эмпирическое подтверждение.
Парадокс Гольдбаха учит нас смирению. Мы запускаем ракеты, но не понимаем фундаментальное свойство чисел, которыми пользуемся каждый день. Возможно, это утверждение истинно, но недоказуемо в рамках нашей системы аксиом — привет теореме Гёделя. И это пугает больше всего: видеть истину, но не иметь возможности к ней прикоснуться.
«Гипотеза Гольдбаха — напоминание о том, что мы все еще дети в мире чисел. Её красота в простоте, а сложность — в фундаментальном непонимании. Возможно, именно она подтолкнет к созданию новой математики».
