Partial Results — Goldbach Research

The main point first

The binary Goldbach conjecture — the assertion that every even integer greater than two is a sum of two primes — remains an open problem. This site does not prove it, and no result below comes anywhere close to a full proof. Nothing on this page should be read as “the conjecture is almost proved”.

At the same time, the project has produced concrete, honestly labelled outcomes: corollaries of published work by other authors, one conditional result, machine-checked certificates of finite computations, and one small unconditional theorem of a combinatorial nature. Every statement carries a status marker:

TheoremConditional resultCorollary of sourcesConjectureOpen problem

How to read this page. The marker indicates the epistemic status of the statement: what is proved unconditionally, what is derived from the work of others, and what holds only under an unproved assumption. The formulations are given verbatim, with all caveats — the caveats are part of the result, not a footnote.

Proposition (1+1.8)

Corollary of sources

The classical apparatus of sieve methods and weighted sums compares an even $N$ not directly with a sum of two primes, but with the weaker representation $N = p + r\,q$ , where $p, q$ are prime and the second factor $r$ is controllably small: $r = 1$ or $r$ prime with $r \le q^{\,a-1}$ . Write $D_{1,a}(N)$ for the weighted count of such representations. Three source papers then imply:

Proposition (1+1.8). For every sufficiently large even $N$ :

D_{1,\,9/5}(N) \;>\; \frac{3}{20}\; C(N)\, \frac{N}{\log^{2} N}

where $D_{1,a}(N)$ counts weighted representations $N = p + r\,q$ with $r = 1$ or prime $r \le q^{\,a-1}$ , and $C(N)$ is the standard factor of the source papers.

Sources

Runbo Li, arXiv:2405.05727 (version v4);
Li–Liu, arXiv:2606.05224 (version v1, preprint, unreviewed);
J. Wu, arXiv:0709.3764.

The machine-checkable part of the computation is isolated in the Lean module RunboLi180.lean, which certifies the key arithmetic:

\frac{4932}{625} \;-\; 32\,\log\frac{5}{4} \;>\; \frac{7}{10}

Caveats.
This is not the binary Goldbach conjecture: the representation $N = p + r\,q$ admits a composite part with a small prime factor.
It is a corollary of the work of others; no novelty or priority is claimed.
The numerical integrals of the sources have not been independently interval-certified.

The exponent ladder

Corollary of sources

The same set of sources yields a whole “ladder” of exponents $a$ in the bound $D_{1,a}(N) > \mathrm{const}\cdot C(N)\,N/\log^{2} N$ : the weaker the requirement on the exponent, the stronger (larger) the guaranteed constant. Every row is a corollary of the sources (source-derived), with no new theorems.

Exponent	Guaranteed lower bound	Origin
$(1 + 1.9)$	result of the source	Li–Liu, preprint arXiv:2606.05224 (unreviewed)
$(1 + 1.8995)$	$0.0001\cdot C(N)\,\dfrac{N}{\log^{2} N}$	corollary of the sources
$(1 + 1.894)$	$\frac{1}{400}\cdot C(N)\,\dfrac{N}{\log^{2} N}$	corollary of the sources; finite arithmetic checked in Lean
$(1 + 1.8)$	$\frac{3}{20}\cdot C(N)\,\dfrac{N}{\log^{2} N}$	corollary of the sources — the proposition above

Read top to bottom: the exponent weakens while the constant in front of $C(N)\,N/\log^{2} N$ grows. Each row is source-derived: a deduction from the cited works, not an independent result of this project.

Conditional theorem BK+

Conditional result

Exceptional (Siegel) zeros of $L$ -functions are the principal theoretical obstruction in the distribution of primes over progressions. Here the logic is reversed: if an exceptional zero were to exist, Goldbach representations could be extracted from it.

Theorem BK+ (conditional). If there exists a real exceptional Dirichlet character $\chi_D \pmod{D}$ for which $L(s, \chi_D)$ has a real zero

\beta_1 = 1 - \delta_1, \qquad \delta_1 \;\le\; \frac{c}{\log^{2} D}

with $c \approx 4\cdot 10^{-8}$ (the Goldfeld–Gross–Zagier constant), then there is an absolute $C > 0$ such that for every even

N \;>\; N_3(D) \;:=\; \exp\!\big(C/\delta_1\big) \qquad\text{one has}\qquad r(N) > 0,

where $r(N)$ is the number of Goldbach representations of the even integer $N$ .

Caveats.
The result is taken from an unpublished draft (the PDF is posted on the Publications page); it is unreviewed and has not been confirmed by independent sources.
It is a conditional result: the existence of such exceptional zeros is not known and is considered unlikely.

Interval certificate for (1+11/8)

certified computation

The conditional candidate for improvement — the exponent $(1 + 11/8)$ — rests on a finite table of main terms $H_1, \dots, H_{17}$ . The table itself is a finite numerical object, and it has been verified rigorously, by interval arithmetic.

What is certified

The finite table of main terms $H_1$ – $H_{17}$ .
The fourfold bracket exceeds $0.17534238544$ .
Exact rounded reserve: $146/1000$ .

How it is certified

The Arb interval-arithmetic library.
Precision: 160 bits.
Outward rounding: every interval enclosure is guaranteed to contain the true value.

Scope of the certificate. Only the table of main terms is certified. The conditional Proposition $(1 + 11/8)$ is not proved: it requires the hypothesis $\mathrm{WEH}(0.999)$ , which is unavailable today. The interval check removes only the risk of an arithmetic error in the finite part; it does not replace the missing assumption.

Theorem JP1

Theorem

A small but unconditional result of a combinatorial nature about the “Goldbach indicator” $F_N$ — the function encoding the Goldbach pairs of an even $N$ .

Theorem JP1. For an even $N \ge 10$ having at least one off-diagonal Goldbach pair (a pair of distinct primes $p \ne q$ with $p + q = N$ ), the Goldbach indicator $F_N$ is not a coboundary on primes.

In addition, all instances for even $N$ from 10 to 1000 have been machine-verified (by the decide tactic).

The formalization and the machine checking are contained in the Lean project — see the Formalization page. By itself this statement does not advance the binary conjecture, but it records a structural property of the indicator that may be useful for further analysis.

Why so many caveats

Because honest labelling is the main principle of the project. A corollary of sources does not become a new theorem by silence; a conditional result does not become unconditional by ambition; an interval certificate does not replace an unproved hypothesis. Every badge and every “Caveats” block records exactly the strength the statement actually has.

Does anything here advance the binary conjecture itself? No. The binary Goldbach conjecture remains open. The results above concern relaxed representations $N = p + r\,q$ , conditional consequences of zeros that are not known to exist, and auxiliary combinatorial properties. There is no complete proof here, and none is claimed.