Difference between revisions
goldbach-conjecture
Source +0 −0
… 27 unchanged lines
Revision 6 as rendered
It has been checked by computer up to . 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
Related problems
- 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.