Fact-checked by Grok 2 weeks ago

Goldbach's weak conjecture

Goldbach's weak conjecture, also known as the ternary Goldbach conjecture, states that every odd integer greater than 5 can be expressed as the sum of three prime numbers.^[1] This formulation allows for the prime 2, as seen in representations like 7 = 2 + 2 + 3, though larger odd integers are typically sums of three odd primes.^[2] The conjecture originated in a 1742 letter from the Prussian mathematician Christian Goldbach to Leonhard Euler, where Goldbach proposed that every integer greater than 5 is the sum of three primes, a claim Euler reformulated to focus on odd integers and noted as a consequence of the stronger even-number version.^[3] Although the strong Goldbach conjecture—every even integer greater than 2 as the sum of two primes—remains unproven, the weak version has seen significant progress. In 1937, Ivan Vinogradov established it for all sufficiently large odd integers using the Hardy-Littlewood circle method and estimates on exponential sums, with the bound later refined to explicit but extremely large constants, such as e^{e^{16}} by the 1950s.^[1] Computational verifications handled smaller cases under assumptions like the generalized Riemann hypothesis, but unconditional proof for all cases eluded mathematicians until 2013. In that year, Harald Helfgott provided a complete proof, published in 2014, combining advanced analytic techniques—including improvements to the circle method, large sieve inequalities, and detailed treatment of minor arcs—with extensive numerical verification up to $8.8 \times 10^{30}.^[1] Helfgott's work built directly on Vinogradov's framework while addressing the exceptional small values through rigorous computation, confirming the conjecture without relying on unproven hypotheses. This resolution marked a major milestone in additive number theory, highlighting the interplay between asymptotic analysis and computational methods in resolving long-standing problems.^[4]

Background and Statement

Formal Statement

Goldbach's weak conjecture, also known as the ternary Goldbach conjecture, states that every odd integer n > 5 can be expressed as the sum of three prime numbers p_1 + p_2 + p_3 = n, where the primes p_1, p_2, p_3 may be repeated and include the even prime 2.^[5]^[6] Representative examples for small odd integers illustrate this representation:

$7 = 2 + 2 + 3
$9 = 3 + 3 + 3
$11 = 3 + 3 + 5
$17 = 2 + 2 + 13
$27 = 5 + 5 + 17
$91 = 7 + 41 + 43 ^[7]

Direct computation using the list of primes confirms that every odd integer from 7 to 99 can be written as the sum of three primes, establishing the pattern for small values without relying on advanced methods. The threshold greater than 5 is essential, as the smaller positive odd integers fail the condition: 1 is less than the smallest prime 2, 3 is itself a prime (requiring only one term), and 5 = 2 + 3 uses exactly two primes, whereas the minimal sum of three primes is $2 + 2 + 2 = 6.^[8]

Relation to Goldbach's Strong Conjecture

Goldbach's strong conjecture, also known as the binary Goldbach conjecture, asserts that every even integer greater than 2 can be expressed as the sum of two prime numbers.^[9] In contrast, the weak conjecture concerns odd integers greater than 5 and their representation as the sum of three primes, highlighting a fundamental difference in both the parity of the target numbers and the number of prime addends required.^[9] This distinction underscores the weak conjecture's focus on ternary sums for odd numbers, while the strong version addresses binary sums exclusively for even numbers.^[4] A key logical relationship exists between the two: a proof of the strong conjecture would immediately imply the weak conjecture. For any odd integer n > 5, subtract 3 (a prime) to obtain n - 3, which is even and greater than 2; by the strong conjecture, n - 3 = p_1 + p_2 for primes p_1 and p_2, so n = p_1 + p_2 + 3.^[9] The converse does not hold, as the weak conjecture's proof does not extend to the binary case for even numbers.^[10] The weak conjecture is considered asymptotically easier than its strong counterpart due to the greater flexibility in partitioning odd numbers into three primes, providing more opportunities for such representations compared to the stricter binary sums for even numbers.^[10]

Historical Development

Origins

The origins of Goldbach's weak conjecture trace back to an exchange of letters between the Prussian mathematician Christian Goldbach and the Swiss mathematician Leonhard Euler in 1742. In a letter dated June 7, 1742, Goldbach proposed that every integer greater than 2 can be expressed as the sum of three prime numbers, a statement that encompasses both even and odd integers beyond the trivial cases.^[11] He further remarked in the same correspondence that empirical checks suggested every even integer greater than 2 could be written as the sum of two primes, though he prioritized the broader three-prime formulation.^[11] Euler responded on June 30, 1742, acknowledging Goldbach's earlier discussions on the topic and reformulating the conjecture for odd integers. He noted that every odd integer greater than 5 could be represented as the sum of three primes, observing the equivalence between this form and the two-prime representation for even integers, since an odd number n > 5 yields n - 3 as an even integer greater than 2, which would then decompose into two primes if the even case holds. This response implicitly highlighted the three-prime case for odd numbers as a foundational aspect of the problem, setting it apart from the even-focused variant while linking the two through analytical insight. In the early 18th-century context, such conjectures arose amid limited understanding of prime distribution, with Euclid's proof of their infinitude from antiquity providing the only major theoretical anchor, but no knowledge of their asymptotic density or gaps. Goldbach, serving as a secretary at the St. Petersburg Academy of Sciences, pursued these ideas as an amateur number theorist through correspondence with leading figures like Euler, reflecting the era's emphasis on empirical patterns in integer sums rather than rigorous proofs. The focus initially leaned toward even integers due to their simpler additive structure, but the inclusion of odd cases via three primes addressed a more comprehensive view of prime sums. In 1923, G. H. Hardy and J. E. Littlewood advanced the study of the ternary problem for odd numbers using the circle method, obtaining an asymptotic formula for the number of representations as a sum of three primes and showing that sufficiently large odd integers can be so expressed, while distinguishing it from the binary Goldbach problem for even integers.^[12] Their analysis framed it as amenable to circle method techniques, marking a shift toward systematic study in analytic number theory.^[12]

Early Partial Results

In 1923, G. H. Hardy and J. E. Littlewood applied the circle method to the ternary Goldbach problem, obtaining an asymptotic formula for the number of ways an odd integer can be expressed as the sum of three primes and showing that every sufficiently large odd integer satisfies the conjecture. A major theoretical advance came in 1937 when Ivan Vinogradov proved that every sufficiently large odd integer is the sum of three primes, using the circle method and estimates on exponential sums to show that the exceptional set—odd integers not representable as such—has size less than n^{1 - \delta} for some \delta > 0 and large n.^[13] Borozdkin later provided an explicit bound in 1956, showing the result holds for all odd integers greater than e^{e^{16.038}} \approx 10^{10^{6.9}}.^[13] Computational efforts complemented these theoretical results. Early verifications in the 19th and early 20th centuries confirmed the conjecture for small odd integers by hand or rudimentary methods, with checks extending to numbers up to $10^5 by 1938. By 2012, distributed computing projects had verified the conjecture for all odd integers up to approximately $4 \times 10^{18}, bridging the gap between Vinogradov's bound and smaller cases amenable to direct proof.

Proof and Resolution

Overview of Helfgott's Proof

In 2013, Harald Helfgott announced a proof of Goldbach's weak conjecture, verifying that every odd integer greater than 5 can be expressed as the sum of three prime numbers.^[9] The proof, detailed in his preprint "The ternary Goldbach conjecture is true," builds upon earlier asymptotic results, such as Vinogradov's 1937 theorem establishing the conjecture for sufficiently large odd integers, by extending coverage to all cases beyond small values.^[9] Helfgott presented the work at the Mathematisches Forschungsinstitut Oberwolfach in 2013, where it received initial scrutiny from the number theory community.^[14] The structure of the proof divides the problem into manageable parts: computational verification for small and intermediate odd integers up to an extremely large bound, ensuring no counterexamples exist in this range, followed by an asymptotic analysis for very large n that confirms the representation holds universally.^[9] This approach leverages sieve methods to handle the asymptotic regime, providing full coverage that surpasses Vinogradov's earlier limitations and eliminates any potential exceptions.^[14] The computational component involved extensive checks, confirming the conjecture without discrepancies up to bounds far exceeding practical necessity.^[9] Helfgott's proof was accepted for publication in the Annals of Mathematics Studies series in 2015 after peer review, though final revisions have extended the process.^[15] As of 2025, it stands as the definitive resolution of the conjecture, with no successful challenges or counterexamples identified, solidifying its status in analytic number theory.^[16]

Key Analytical Techniques

Helfgott's proof relies on a sophisticated refinement of the Hardy-Littlewood circle method to analyze the ternary representation function for odd integers as sums of three primes. This approach decomposes the unit circle into major arcs—narrow intervals around rational points a/q with small denominators q \leq r_0—and minor arcs, where the major arcs capture the primary asymptotic contribution via integrals of exponential sums involving the von Mangoldt function \Lambda(n). Specifically, the method estimates the triple product \int_0^1 S(\alpha, n)^3 e(-n\alpha) d\alpha, with S(\alpha, n) = \sum_{m=1}^n \Lambda(m) e(m\alpha), yielding a main term that reflects the expected density of prime triples. This refinement improves upon earlier binary applications by incorporating smoothing functions \eta^+ and \eta^* to handle the ternary case effectively, ensuring the singular series aligns with the probabilistic model for prime sums.^[9] To bound contributions from minor arcs and control exceptional sets where the representation might fail, the proof employs variants of the sieve of Eratosthenes, particularly upper sieve techniques to limit the density of composites or non-primes in relevant intervals. An optimized large sieve, drawing on ideas from Ramaré and Selberg, provides sharp L^2-norm estimates such as \int_{m_r} |S(\alpha, x)|^2 d\alpha \ll x \log r over minor arcs of length related to r, where the implied constant is explicit and small. These bounds suppress the sieve's exceptional sets, ensuring that the number of odd integers not representable as three primes is negligible compared to the main term. The application of the Bombieri-Vinogradov theorem further strengthens these estimates by providing an average over arithmetic progressions: for primes distributed modulo q \leq x^{1/2}/\log^B x, the error in the prime number theorem in progressions is O(x^{1/2} \log^{-B} x) on average, which is pivotal for L-function bounds on major arcs and controlling discrepancies in prime distributions.^[9] The core asymptotic formula underpinning the proof is for the weighted count

r_3(n) = \sum_{\substack{p+q+r=n \\ p,q,r \geq 2}} \Lambda(p) \Lambda(q) \Lambda(r),

which satisfies

r_3(n) \sim \frac{n^2}{2 (\log n)^3} \prod_p \left(1 - \frac{1}{(p-1)^2}\right)

for odd n > 5, where the product runs over all primes p and the error term is O(n^2 (\log n)^{-100}), sufficiently small to imply r_3(n) > 0. This formula arises from the major arc evaluation, with the constant \prod_p (1 - 1/(p-1)^2) \approx 0.66016 (the twin prime constant adjusted for ternary sums) ensuring the main term dominates. Cases involving small primes like 2, 3, and 5 are handled explicitly: contributions from 2 are excluded by focusing on odd primes, while fixings like n-3 or n-5 reduce to even sums verifiable via the binary Goldbach conjecture (known for large even numbers) or direct computation up to n < 10^{30}. These treatments isolate the sieve and circle method to the bulk of the primes.^[9]^[17]

Implications and Extensions

Connections to Other Number Theory Problems

The resolution of Goldbach's weak conjecture, which asserts that every odd integer greater than 5 is the sum of three primes, provides insights into the distribution of primes that intersect with problems concerning prime gaps. Specifically, the three-prime representation implies the existence of primes in relatively short intervals relative to the size of the number, supporting bounds on prime gaps. For instance, from the ternary representation, one can derive that there exists a prime between x and x + x^{2/3 + \epsilon} for any \epsilon > 0 and sufficiently large x, which aligns with efforts to establish bounded gaps between primes, as pursued in works like Zhang's breakthrough on infinitely many prime pairs differing by at most 70 million.^[18] The conjecture also influences Schnirelmann's theorem on the additive basis property of primes. Schnirelmann established that the set of primes forms an additive basis of finite order, meaning every sufficiently large integer is a sum of at most C primes for some fixed C, leveraging the positive Schnirelmann density of the primes in the natural numbers and properties of sumsets. The weak conjecture strengthens this by showing that every sufficiently large even integer is the sum of at most four primes (via adding 3 to an odd number expressed as three primes), thereby improving the constant C to 4 for large even numbers and highlighting the density of primes within sumsets of small cardinality.^[19] Progress on the weak conjecture has aided developments in the strong (binary) Goldbach conjecture, particularly in asymptotic estimates for even numbers as sums of primes. Chen's 1966 theorem proves that every sufficiently large even integer is the sum of a prime and a number with at most two prime factors (an almost-prime), using advanced sieve techniques that benefit from insights into three-prime sums for handling exceptional sets and parity issues in even representations. The unconditional proof of the weak conjecture further refines these asymptotics by confirming the ternary case outright, which underpins sieve-based bounds on the error terms in the strong conjecture's representation function.^[20] The weak conjecture shares methodological overlaps with the twin prime conjecture, both relying on sieve theory to analyze small sums of primes. Chen's double sieve method, originally developed for the binary Goldbach problem, extends to estimating prime pairs differing by 2 and ternary sums, treating the problems through weighted sieves that control the distribution of primes in arithmetic progressions and manage the parity obstacle common to additive questions involving even or odd sums. These shared tools underscore how advances in one area, such as the resolution of the weak conjecture, inform sieve applications to twin primes by providing benchmarks for admissible sets and exceptional loci.^[21] Although the weak conjecture holds unconditionally, its stronger quantitative forms—such as explicit bounds on the number of representations—may depend on the Riemann hypothesis. Deshouillers, Effinger, te Riele, and Zinoviev demonstrated that the generalized Riemann hypothesis implies the full ternary Goldbach theorem for all odd integers greater than 5, combining zero-free regions of Dirichlet L-functions with Vinogradov's original circle method to eliminate the "sufficiently large" caveat and verify small cases computationally. This connection highlights how analytic control over prime distributions via the Riemann hypothesis could extend the weak conjecture's implications to precise asymptotic formulas.

Generalizations and Variants

The ternary Goldbach conjecture has been generalized to settings beyond the integers, including versions over integers modulo m and in algebraic number fields. For instance, in residue classes modulo m, the conjecture posits that for sufficiently large odd n congruent to certain residues, n can be expressed as a sum of three primes also in specified classes, with partial results obtained using the circle method adapted to arithmetic progressions.^[22] In algebraic number fields, such as the Gaussian integers, variants require every sufficiently large element in the ring of integers to be a sum of three prime elements, with proofs established for representations in arbitrary sectors using sieve methods and estimates on prime distributions in the field.^[23] A natural extension is the k-tuple Goldbach problem, where every odd integer n > N_k (for some bound N_k) is conjectured to be the sum of k primes; Vinogradov's circle method rigorously establishes this asymptotically for k \geq 3, with the case k=3 being the most challenging and fully resolved only for all odd n > 5.^[24] For larger k, such as k \geq 7, the bounds N_k are smaller and the representations more abundant due to improved minor arc estimates in the method.^[25] The weak Goldbach conjecture connects to Polignac's conjecture, which asserts infinitely many prime pairs differing by any fixed even integer $2h; the ternary representations imply bounds on prime gaps related to even differences, as the density of three-prime sums supports the existence of primes near certain even offsets from given primes.^[18] As of 2025, computational efforts have verified ternary Goldbach representations for all odd integers up to beyond $10^{30}, with recent work focusing on variants in short intervals of length x^{2/3 + \epsilon} around large x, confirming nearly all odd numbers in such intervals admit three-prime sums without major new theoretical proofs emerging.^[26] No significant advances beyond Helfgott's 2013 resolution have appeared, though these computations bolster confidence in related asymptotic formulas.^[22] An outstanding open question concerns explicit constants in the error terms for the number of ternary representations r_3(n), where current bounds yield r_3(n) \gg n (\log n)^{-2 + o(1)} with logarithmic savings, but power-saving improvements (e.g., n^{1 - \delta} for \delta > 0) remain elusive over the integers, potentially hinging on the non-existence of Landau-Siegel zeros.^[27]

References

[1]
[PDF] The ternary Goldbach problem - IMJ-PRG
As their names indicate, the strong conjecture implies the weak one (easily: subtract 3 from your odd number n, then express n − 3 as the sum of two primes).
[2]
Goldbach Conjecture -- from Wolfram MathWorld
The conjecture that all odd numbers >=9 are the sum of three odd primes is called the "weak" Goldbach conjecture.
[3]
Consequences of Goldbach's conjecture - MathOverflow
Aug 15, 2021 · In a letter of 1742 to Euler, Goldbach expressed the belief that 'Every integer N>5 is the sum of three primes'. Euler replied that this is ...
[4]
The Weak and Strong Goldbach Conjectures |
Jul 3, 2013 · Similarly, the modern version of the Weak conjecture can be stated as every odd integer greater than 5 is the sum of three odd primes. In his ...
[5]
[PDF] On a numerical upper bound for the extended Goldbach conjecture
The Ternary Goldbach conjecture (TGC) states that “every odd integer greater than 5 can be expressed as the sum of three primes”. This statement is directly.
[6]
The Goldbach Conjecture Is True - Scientific Research Publishing
1) The Weak Goldbach Conjecture asserts that all odd numbers greater than 7 are the sum of three odd primes. 2) The Strong Goldbach Conjecture asserts that ...
[7]
Goldbach Variations | Scientific American
For example, 7=2+2+3 and 91=7+41+43. The ternary Goldbach conjecture is sometimes called the weak Goldbach conjecture. The strong Goldbach conjecture states ...
[8]
[PDF] arXiv:1803.09237v1 [cs.LG] 25 Mar 2018
Mar 25, 2018 · 1. The 'weak' Goldbach's conjecture states that 'Every odd number greater than 5 can be expressed as a sum of three primes'. For example, 11 is ...
[9]
Goldbach's Weak Conjecture for Odd numbers - GeeksforGeeks
Nov 1, 2023 · Goldbach's Weak Conjecture for Odd numbers ... Given an odd number N, the task is to find if the number can be represented as the sum of 3 prime ...<|control11|><|separator|>
[10]
Mathematical mysteries: the Goldbach conjecture | plus.maths.org
May 1, 1997 · The weak Goldbach conjecture says that every odd whole number greater than 5 can be written as the sum of three primes. Again we can see ...
[11]
[1312.7748] The ternary Goldbach conjecture is true - arXiv
Dec 30, 2013 · The ternary Goldbach conjecture states that every odd integer greater than 5 is the sum of three primes. This paper proves it.
[12]
In Their Prime: Mathematicians Come Closer to Solving Goldbach's ...
May 1, 2012 · The weak Goldbach conjecture says that you can break up any odd number into the sum of, at most, three prime numbers.
[13]
[PDF] Untitled - The Euler Archive
Euler. 125. LETTRE XLIII. GOLDBACH à EULER. Sommaire. Continuation sur les mêmes sujets. Deux théorèmes d'analyse,. Moscau d. 7 Juni n. st 1742. Ohngeachtet ...
[14]
Some problems of 'Partitio numerorum'; III: On the expression of a ...
1923 Some problems of 'Partitio numerorum'; III: On the expression of a number as a sum of primes. G. H. Hardy, J. E. Littlewood. Author Affiliations +.Missing: Goldbach | Show results with:Goldbach
[15]
Was Vinogradov's 1937 proof of the three-prime theorem effective?
Mar 31, 2014 · The bound was further improved by him in 1956 to C=ee16.038 and a short content of his talk should be in this book (I was not able to find ...
[16]
The ternary Goldbach problem
In this snapshot, we will describe to what extent the mathematical community has resolved Goldbach's conjecture, with some emphasis on recent progress.Missing: proof details
[17]
Harald Andrés Helfgott
Harald Andrés Helfgott, Number theory and discrete mathematics, Book nostalgia, The first version of The ternary Goldbach problem was accepted for publication ...
[18]
(PDF) The Ternary Goldbach Problem - ResearchGate
Aug 9, 2025 · PDF | The object of this paper is to present new proofs of the classical ternary theorems of additive prime number theory.
[19]
[1305.3062] Numerical Verification of the Ternary Goldbach ... - arXiv
May 14, 2013 · Abstract:We describe a computation that confirms the ternary Goldbach Conjecture up to 8,875,694,145,621,773,516,800,000,000,000 (>8.875e30).
[20]
Approximations to the Goldbach and twin prime problem and gaps ...
A weaker form of this conjecture is a complete analogue of the Gold- bach conjecture. Weak de Polignac conjecture (Weak form of the generalized twin prime ...<|separator|>
[21]
Schnirelmann's Theorem -- from Wolfram MathWorld
Schnirelmann's Theorem: There exists a positive integer s such that every sufficiently large integer is the sum of at most s primes.Missing: sumsets | Show results with:sumsets
[22]
An Upper Bound in Goldbach's Problem - jstor
do much better here if one assumed the Generalized Riemann Hypothesis). ... request from the second-named author. ACKNOWLEDGMENT. Three of us (Deshouillers, ...<|separator|>
[23]
[PDF] Chen's double sieve, Goldbach's conjecture and the twin prime ...
Sep 24, 2007 · This approach will give a result better than using the classic linear sieve but weaker than Proposition 4.1, since, without iteration, Ψ1(s) or ...
[24]
[PDF] Goldbach's problem with primes in arithmetic progressions and in ...
May 2, 2025 · This article examines binary and ternary additive problems with primes in arithmetic progressions (APs for short) and in short intervals. We ...
[25]
On the Goldbach problem in an algebraic number field II
2023. We prove versions of Goldbach conjectures for Gaussian primes in arbitrary sectors. ... weaker than the Goldbach conjecture, sufficient conditions… Expand.Missing: generalizations variants
[26]
[PDF] VINOGRADOV'S THREE PRIME THEOREM Contents 1. The von ...
Aug 30, 2013 · Vinogradov's theorem states that every sufficiently large odd integer can be expressed as the sum of three prime numbers.
[27]
[PDF] Vinogradov's Three Primes Theorem
May 2, 2008 · Vinogradov's Three Primes Theorem states that all sufficiently large odd integers can be expressed as a sum of three primes.
[28]
(PDF) Numerical Verification of the Ternary Goldbach Conjecture up ...
Aug 10, 2025 · PDF | We describe a computation that confirms the ternary Goldbach Conjecture up to 8875694145621773516800000000000 (>8.875e30).
[29]
The error term of ternary-Goldbach problem - MathOverflow
Sep 23, 2024 · Are there some results give the X power saving of the error term in Ternary Goldbach problem, not just the log power saving?Is this weak asymptotic Goldbach's conjecture open? - MathOverflowTernary Goldbach-type problems - MathOverflowMore results from mathoverflow.netMissing: representations open