Бинарная гипотеза Гольдбаха представляется еще сложнее. В 1998 г. Дезуйе, Саутер и те Риле проверили ее для всех четных чисел вплоть до 10>14. К 2007 г. Томаш Оливейра-и-Сильва улучшил этот результат до 10>18 и продолжает расчеты. Мы знаем, что каждое четное целое число можно представить в виде суммы не более чем шести простых чисел — это доказал Рамаре в 1995 г. В 1973 г. Чэнь Цзинжунь доказал, что каждое достаточно большое четное целое может быть представлено в виде суммы простого и полупростого (это либо простое число, либо произведение двух простых) чисел. Близко, но не то. Тао заявил, что бинарную гипотезу Гольдбаха невозможно доказать при помощи его методов. Сложение трех простых чисел дает гораздо большее перекрытие результатов в том смысле, в каком мы говорили о перекрытии при обсуждении рис. 3, чем сложение двух простых, фигурирующих в бинарной гипотезе Гольдбаха, а методы и Тао, и Рамаре неоднократно используют это свойство.
Итак, через несколько лет мы, возможно, получим полное доказательство тернарной гипотезы Гольдбаха, из которой, в частности, следует, что каждое четное число можно представить в виде суммы не более чем четырех простых[3]. Но бинарная гипотеза Гольдбаха, вероятно, будет по-прежнему ставить математиков в тупик.
За 2300 лет, прошедших с момента, когда Евклид доказал несколько базовых теорем о простых числах, мы узнали о них немало. Однако остается еще очень много того, чего мы по-прежнему не знаем.
К примеру, мы знаем, что существует бесконечно много простых чисел вида 4k + 1 и 4k + 3. В более общем виде это утверждение выглядит так: любая арифметическая прогрессия ak + b с постоянными параметрами a и b содержит бесконечно много простых чисел, если a и b не имеют общих делителей. К примеру, пусть a = 18. Тогда b = 1, 5, 7, 11, 13 или 17. Следовательно, существует бесконечно много простых чисел видов 18k + 1, 18k + 5, 18k + 7, 18k + 11, 18k + 13 или 18k + 17. Но это неверно для 18k + 6, например, потому что 18 кратно 6. Ни одна арифметическая прогрессия не может состоять только из простых чисел, но недавний серьезный прорыв — теорема Грина — Тао — показывает, что последовательность простых чисел содержит арифметические прогрессии произвольной длины. В 2004 г. Бен Грин и Теренс Тао разработали очень глубокое и сложное доказательство этого утверждения, что внушает надежду: на самые сложные вопросы, какими бы неприступными они ни выглядели, в конце концов может быть получен ответ.
