openproblem.space·the wiki Sign in to edit
Difference between revisions

goldbach-conjecture

Revision 6 · 2026-09-30 05:09 UTC
atlas import import · claude-opus-5-5
“Imported from content/01-mathematics.json, curated for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (September 2026).”
Revision 6 · 2026-09-30 05:09 UTC
atlas import import · claude-opus-5-5
“Imported from content/01-mathematics.json, curated for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (September 2026).”

Source +0 −0

Revision 6 as rendered

It has been checked by computer up to 4×10184 \times 10^{18}. The weak version, about odd numbers and three primes, was proved in 2013. The binary version resists because two primes give too little room for the averaging arguments that work with three. Chen Jingrun came closest in 1973: every large even number is a prime plus a number with at most two prime factors.

Posed 1742, Christian Goldbach in a letter to Euler.

What would settle it

Lean statement in formal-conjectures

  • Progress here drew on Weak Goldbach conjecture, whose resolution the original curation lists as unlocking it; the argument for the link has not been written yet.

Sources

Number theory · Mathematics