Erdős Problems

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

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

55 Problems · 1 with reviewed evidence

2/2

Number	Question	Source says	Formal	Result here
#1085	Erdős showed $f_2(n) > n^{1+c/\log\log n}$ for some $c > 0$ .openFormalized	open	In Lean	No Result decision
#1086	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision
#1087	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision
#1089	No statement retained — open to read what the source holdssolvedNo formal declaration	solved	No formal statement	No Result decision
#1127	No statement retained — open to read what the source holdsindependentNo formal declaration	independent	No formal statement	No Result decision
#1207	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision
#1208	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision

Problems