Поскольку на данный момент гипотеза Римана не доказана, имеет смысл постараться снять это условие. В 1995 г. французский математик Оливье Рамаре снизил верхнюю оценку для представления нечетных чисел до 7 без использования гипотезы Римана. Более того, он доказал более сильное утверждение: каждое четное число является суммой не более чем шести простых чисел. (Чтобы разобраться с нечетными числами, вычтем из любого нечетного 3: результат четный, поэтому он является суммой шести или менее простых. Первоначально взятое нечетное есть эта сумма плюс простое число 3, т. е. для его получения требуется не более семи простых.) Главным прорывом стало уточнение существующих оценок для некоторой части чисел определенного диапазона до двух: эти числа являются суммой двух простых. Ключевой результат Рамаре состоит в том, что для любого числа n больше e>67 (это примерно 1,25 × 10>29) по крайней мере пятая часть чисел, лежащих между n и 2n, является суммой двух простых. Далее при помощи методов решета и теоремы Ганса-Генриха Остманна о суммах последовательностей, доработанной Дезуйе, можно доказать, что каждое четное число, большее 10>30, есть сумма максимум шести простых чисел.
Остается разобраться лишь с промежутком между 4 × 10>14, до которого Йорг Рихштейн проверил теорему численно при помощи компьютера, и 10>30. Как часто бывает, эти числа слишком велики для непосредственной компьютерной проверки, поэтому Рамаре доказал целую серию специализированных теорем о количестве простых чисел в небольших интервалах. Эти теоремы опираются на истинность гипотезы Римана в определенных пределах, что можно проверить при помощи компьютера. Так что доказательство состоит преимущественно из концептуальных теоретических рассуждений с привлечением компьютера для решения этой узкой задачи. Рамаре закончил свою статью указанием на то, что при помощи аналогичного подхода в принципе можно было бы снизить число простых с 7 до 5. Однако на этом пути возникают очень серьезные практические препятствия, и он написал, что такое доказательство «невозможно провести при помощи современных компьютеров».
В 2012 г. Теренс Тао преодолел эти препятствия, используя в корне другой подход. Он разместил в Интернете статью, которая в настоящий момент (когда я пишу все это) рассматривается для публикации. Основу работы составляет следующая теорема: каждое нечетное число можно представить в виде суммы не более чем 5 простых чисел. Это снижает постоянную Шнирельмана до 6. Тао получил известность благодаря своей способности решать сложные проблемы в самых разных областях математики. Его доказательство использует для решения проблемы несколько мощных методик и требует привлечения компьютеров. Если число 5 в теореме Тао удалось бы снизить до 3, то тернарная гипотеза Гольдбаха была бы доказана, а верхняя граница для постоянной Шнирельмана снижена до 4. Тао подозревает, что сделать это возможно, но нужны новые идеи.
