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

8 Problems

Number	Question	Source says	Formal	Result here
#117	No statement retained — open to read what the source holdsSource says openNo formal declaration	open	No formal statement	No Result decision
#274	If $G$ is a group, can there exist an exact covering of $G$ by more than one coset of different sizes? (i.e. each element is contained in exactly one of the cosets.)Source says openFormalized	open	In Lean	No Result decision
#543	No statement retained — open to read what the source holdsSource says disprovedNo formal declaration	disproved	No formal statement	No Result decision
#1098	Let $G$ be a group and $\Gamma=\Gamma(G)$ be the non-commuting graph, with vertices the elements of $G$ and an edge between $g$ and $h$ if and only if $g$ and $h$ do not commute, $gh\neq hg$ .Source says proved (Lean)Formalized	proved (Lean)	In Lean	No Result decision
#1160	No statement retained — open to read what the source holdsSource says openNo formal declaration	open	No formal statement	No Result decision
#1161	No statement retained — open to read what the source holdsSource says solvedNo formal declaration	solved	No formal statement	No Result decision
#1162	No statement retained — open to read what the source holdsSource says openNo formal declaration	open	No formal statement	No Result decision
#1163	No statement retained — open to read what the source holdsSource says openNo formal declaration	open	No formal statement	No Result decision