Почему проверка компьютером не становится доказательством
Для любого заданного чётного числа можно перебрать простые числа меньше него и проверить, найдётся ли пара с нужной суммой. Например, для 28 подходят 5 и 23, а также 11 и 17. Компьютер способен проделать такую проверку для огромного количества чисел, но даже очень длинный список не охватывает все случаи: чётных чисел бесконечно много.
Гипотеза Гольдбаха требует не просто множества удачных примеров, а единого аргумента, который исключал бы исключения где угодно — в том числе за пределами любых вычислений. В этом и состоит разница между экспериментальной проверкой и доказательством.
Что значит «достаточно трёх простых»
У близкого утверждения другая форма: любое нечётное число, начиная с 7, можно представить как сумму трёх простых чисел. Его доказали в 2013 году. Это не решает исходную задачу: из представления нечётного числа тремя простыми нельзя автоматически получить представление каждого чётного числа двумя.
Разница важна не только в количестве слагаемых. Уменьшить число слагаемых — значит наложить более строгие условия на то, как простые числа должны сочетаться. Доказательство для трёх слагаемых опирается на мощные методы теории чисел, но эти методы пока не дают требуемого результата для двух.
Почему задача ускользает
Простые числа распределены неравномерно: рядом могут встретиться несколько простых, а затем — длинный промежуток без них. Чтобы доказать гипотезу, нужно показать, что для каждого чётного числа всё равно найдётся подходящая пара, несмотря на эту нерегулярность. Общие закономерности в распределении простых помогают изучать задачу, но пока не обеспечивают такой гарантии для всех случаев.
Поэтому вычисления могут укреплять уверенность и отодвигать возможный контрпример, но не заменяют доказательство. Пока не найден общий аргумент, даже число, далеко превосходящее проверенные компьютерами, остаётся открытым случаем.
