Erdős-Straus conjecture
Openerdos-straus
Statement
Prove that for every integer , the equation has a solution in positive integers .
Current frontier
Verified computationally for all n ≤ 10^18 (Mihnea-Dumitru 2025), with the residual potentially-unsolved set confined to specific residue classes mod 840 inherited from Mordell (1956).
When this counts as solved
A full solve is a rigorous proof of the conjecture for every integer , or an explicit verifiably NOT expressible as a 3-term Egyptian fraction with numerator 4. Settling a previously-open residue class also counts as a breakthrough — e.g., one of the Mordell-residual classes mod 840 (, etc.), or any other class that's verifiably not already covered by published parametric families. The claim that a class is currently open has to be verifiable itself. New identities that re-cover already-known classes don't count.
Classification
open-completion