Goldbach's weak conjecture

In 2013, Harald Helfgott released a proof of Goldbach's weak conjecture.

[2] The proof was accepted for publication in the Annals of Mathematics Studies series[3] in 2015, and has been undergoing further review and revision since; fully-refereed chapters in close to final form are being made public in the process.

On odd numbers larger than 7 it is slightly stronger as it also excludes sums like 17 = 2+2+13, which are allowed in the other formulation.

The conjecture originated in correspondence between Christian Goldbach and Leonhard Euler.

One formulation of the strong Goldbach conjecture, equivalent to the more common one in terms of sums of two primes, is The weak conjecture is simply this statement restricted to the case where the integer is odd (and possibly with the added requirement that the three primes in the sum be odd).

In 1923, Hardy and Littlewood showed that, assuming the generalized Riemann hypothesis, the weak Goldbach conjecture is true for all sufficiently large odd numbers.

In 1937, Ivan Matveevich Vinogradov eliminated the dependency on the generalised Riemann hypothesis and proved directly (see Vinogradov's theorem) that all sufficiently large odd numbers can be expressed as the sum of three primes.

Vinogradov's original proof, as it used the ineffective Siegel–Walfisz theorem, did not give a bound for "sufficiently large"; his student K. Borozdkin (1956) derived that

In 1997, Deshouillers, Effinger, te Riele and Zinoviev published a result showing[7] that the generalized Riemann hypothesis implies Goldbach's weak conjecture for all numbers.

This result combines a general statement valid for numbers greater than 1020 with an extensive computer search of the small cases.

Saouter also conducted a computer search covering the same cases at approximately the same time.

Leszek Kaniecki showed every odd integer is a sum of at most five primes, under the Riemann Hypothesis.

[9] In 2012, Terence Tao proved this without the Riemann Hypothesis; this improves both results.

[10] In 2002, Liu Ming-Chit (University of Hong Kong) and Wang Tian-Ze lowered Borozdkin's threshold to approximately

The exponent is still much too large to admit checking all smaller numbers by computer.

In 2012 and 2013, Peruvian mathematician Harald Helfgott released a pair of papers improving major and minor arc estimates sufficiently to unconditionally prove the weak Goldbach conjecture.