H.A. Helfgott,David J. Platt
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).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to verify the correctness of the Ternary Goldbach Conjecture within a specific range. Specifically, the Ternary Goldbach Conjecture asserts that every odd number greater than 5 can be expressed as the sum of three prime numbers. The goal of the paper is to confirm through numerical calculations that this conjecture holds for all odd numbers within \(8.875\times 10^{30}\).
### Background and Problem Description
- **Ternary Goldbach Conjecture**: Every odd number \(n\) greater than 5 can be expressed as the sum of three prime numbers.
Mathematical expression:
\[
n = p_1 + p_2 + p_3
\]
where \(p_1\), \(p_2\), \(p_3\) are prime numbers, and \(n>5\) is an odd number.
- **Binary Goldbach Conjecture (Strong Goldbach Conjecture)**: Every even number greater than 2 can be expressed as the sum of two prime numbers. If the Binary Goldbach Conjecture holds, then the Ternary Goldbach Conjecture can be easily proven.
### Historical Progress
- **Saouter (1998)**: The most extensive explicit verification before was completed by Saouter in 1998, who proved that the Ternary Goldbach Conjecture holds within \(10^{20}\).
- **Ramaré and Saouter**: They used the partial verification results of the Riemann Hypothesis to prove that the Ternary Goldbach Conjecture holds within \(8.37\times 10^{26}\).
- **Helfgott and Platt**: In this paper, the authors further extended the verification range to \(8.875\times 10^{30}\).
### Main Contributions
- **Expanding the Verification Range**: By improving the algorithm and hardware performance, the authors extended the verification range of the Ternary Goldbach Conjecture from the previous \(10^{20}\) to \(8.875\times 10^{30}\).
- **Using Prime Numbers in a Special Form (Proth Prime Numbers)**: To improve computational efficiency, the authors used Proth prime numbers, which have a special mathematical form, making them easier to perform primality tests.
- **Multi - core Parallel Computing**: The authors utilized the architecture of modern multi - core CPUs to optimize the parallel computing ability of the algorithm, thereby significantly improving computational efficiency.
### Conclusion
Finally, the authors successfully verified that the Ternary Goldbach Conjecture holds for all odd numbers within \(8.875\times 10^{30}\), which is more than \(8\times 10^{10}\) times higher than the previous best result of \(10^{20}\).
\[
\text{Theorem}: \text{Every odd number between } 7 \text{ and } T \text{ can be written as the sum of three prime numbers, where}
\]
\[
T = 8,875,694,145,621,773,516,800,000,000,000
\]
This achievement has greatly promoted the research on the Ternary Goldbach Conjecture and provided important numerical support for further theoretical proofs.