Erdős Problems

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

Add a contribution Collection details

Collection coverage

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

Open per source608
Resolved per source556
Other source status53

Exact formal statement available604 / 1,217

With Repository-reviewed evidence2 / 1,217

114 Problems

3/3

Number	Question	Source says	Formal	Result here
#1015	No statement retained — open to read what the source holdssolvedNo formal declaration	solved	No formal statement	No Result decision
#1029	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision
#1030	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision
#1090	Let $k\geq 3$ . Does there exist a finite set $A\subset \mathbb{R}^2$ such that, in any $2$ -colouring of $A$ , there exists a line which contains at least $k$ points from $A$ , and all the points of $A$ on the line have the same colour?proved (Lean)Formalized	proved (Lean)	In Lean	No Result decision
#1105	The anti-Ramsey number $\mathrm{AR}(n,G)$ is the maximum possible number of colours in which the edges of $K_n$ can be coloured without creating a rainbow copy of $G$ (i.e. one in which all edges have different colours).provedFormalized	proved	In Lean	No Result decision
#1128	Erdős Problem 1128 (disproved by Prikry–Mills, 1978):disprovedFormalized	disproved	In Lean	No Result decision
#1168	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision
#1169	No statement retained — open to read what the source holdsnot disprovableNo formal declaration	not disprovable	No formal statement	No Result decision
#1170	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision
#1171	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision
#1172	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision
#1174	No statement retained — open to read what the source holdsnot disprovableNo formal declaration	not disprovable	No formal statement	No Result decision
#1182	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision
#1183	No statement retained — open to read what the source holdsopenNo formal declaration	open	No formal statement	No Result decision
#1198	No statement retained — open to read what the source holdsdisprovedNo formal declaration	disproved	No formal statement	No Result decision
#1199	Is it true that in any 2-colouring of $\mathbb{N}$ there exists an infinite set $A$ such that all elements of $A+A$ are the same colour?openFormalized	open	In Lean	No Result decision
#1211	No statement retained — open to read what the source holdssolvedNo formal declaration	solved	No formal statement	No Result decision
#1216	No statement retained — open to read what the source holdsdisprovedNo formal declaration	disproved	No formal statement	No Result decision

Problems

Search problems.science