Erdős Problems

1,217 source-owned questions · 604 with a formal statement · searchable by statement, number, topic and source status.

Full distribution

Collection coverage

Source status, exact formal material, and reviewed Results are separate signals.

Exact formal statement available604 / 1,217

With Repository-reviewed evidence2 / 1,217

4 Problems

Number	Question	Source says	Formal	Result here
#322	No statement retained — open to read what the source holdsSource says openNo formal declaration	open	No formal statement	No Result decision
#323	Is it true that $f_{k,k}(x) \gg_\epsilon x^{1-\epsilon}$ for all $\epsilon>0$ ?Source says openFormalized	open	In Lean	No Result decision
#324	Does there exist a polynomial $f(x)\in\mathbb{Z}[x]$ such that all the sums $f(a)+f(b)$ with $a < b$ nonnegative integers are distinct?Source says openFormalized	open	In Lean	No Result decision
#325	Writing $f_{k, 3}(x)$ for the number of integers $\leq x$ which are the sum of three $k$ th powers, is it true that $f_{k, 3}(x) \gg x ^ (3 / k)$ ?Source says openFormalized	open	In Lean	No Result decision