List of conjectures by Paul Erdős

The prolific mathematician Paul Erdős and his various collaborators made many famous mathematical conjectures, over a wide field of subjects, and in many cases Erdős offered monetary rewards for solving them.

Unsolved

 * The Erdős–Gyárfás conjecture on cycles with lengths equal to a power of two in graphs with minimum degree 3.
 * The Erdős–Hajnal conjecture that in a family of graphs defined by an excluded induced subgraph, every graph has either a large clique or a large independent set.
 * The Erdős–Mollin–Walsh conjecture on consecutive triples of powerful numbers.
 * The Erdős–Selfridge conjecture that a covering system with distinct moduli contains at least one even modulus.
 * The Erdős–Straus conjecture on the Diophantine equation 4/n = 1/x + 1/y + 1/z.
 * The Erdős conjecture on arithmetic progressions in sequences with divergent sums of reciprocals.
 * The Erdős–Szekeres conjecture on the number of points needed to ensure that a point set contains a large convex polygon.
 * The Erdős–Turán conjecture on additive bases of natural numbers.
 * A conjecture on quickly growing integer sequences with rational reciprocal series.
 * A conjecture with Norman Oler on circle packing in an equilateral triangle with a number of circles one less than a triangular number.
 * The minimum overlap problem to estimate the limit of M(n).
 * A conjecture that the ternary expansion of $$2^n$$ contains at least one digit 2 for every $$n > 8$$.
 * The conjecture that the Erdős–Moser equation, $1^{k} + 2^{k} + &ctdot; + (m – 1)^{k} = m^{k}$, has no solutions except $1^{1} + 2^{1} = 3^{1}$.

Solved

 * The Erdős–Faber–Lovász conjecture on coloring unions of cliques, proved (for all large n) by Dong Yeap Kang, Tom Kelly, Daniela Kühn, Abhishek Methuku, and Deryk Osthus.
 * The Erdős sumset conjecture on sets, proven by Joel Moreira, Florian Karl Richter, Donald Robertson in 2018. The proof has appeared in "Annals of Mathematics" in March 2019.
 * The Burr–Erdős conjecture on Ramsey numbers of graphs, proved by Choongbum Lee in 2015.
 * A conjecture on equitable colorings proven in 1970 by András Hajnal and Endre Szemerédi and now known as the Hajnal–Szemerédi theorem.
 * A conjecture that would have strengthened the Furstenberg–Sárközy theorem to state that the number of elements in a square-difference-free set of positive integers could only exceed the square root of its largest value by a polylogarithmic factor, disproved by András Sárközy in 1978.
 * The Erdős–Lovász conjecture on weak/strong delta-systems, proved by Michel Deza in 1974.
 * The Erdős–Heilbronn conjecture in combinatorial number theory on the number of sums of two sets of residues modulo a prime, proved by Dias da Silva and Hamidoune in 1994.
 * The Erdős–Graham conjecture in combinatorial number theory on monochromatic Egyptian fraction representations of unity, proved by Ernie Croot in 2000.
 * The Erdős–Stewart conjecture on the Diophantine equation n! + 1 = pka pk+1b, solved by Florian Luca in 2001.
 * The Cameron–Erdős conjecture on sum-free sets of integers, proved by Ben Green and Alexander Sapozhenko in 2003–2004.
 * The Erdős–Menger conjecture on disjoint paths in infinite graphs, proved by Ron Aharoni and Eli Berger in 2009.
 * The Erdős distinct distances problem. The correct exponent was proved in 2010 by Larry Guth and Nets Katz, but the correct power of log n is still undetermined.
 * The Erdős–Rankin conjecture on prime gaps, proved by Ford, Green, Konyagin, and Tao in 2014.
 * The Erdős discrepancy problem on partial sums of ±1-sequences. Terence Tao announced a solution in September 2015; it was published in 2016.
 * The Erdős squarefree conjecture that central binomial coefficients C(2n, n) are never squarefree for n > 4 was proved in 1996.
 * The Erdős primitive set conjecture that the sum $$\sum_{n\in A}\frac{1}{n\log n}$$ for any primitive set A (a set where no member of the set divides another member) attains its maximum at the set of primes numbers, proved by Jared Duker Lichtman in 2022.
 * The Erdős-Sauer problem about maximum number of edges an n-vertex graph can have without containing a k-regular subgraph, solved by Oliver Janzer and Benny Sudakov