Erdős Problems
1,217 source-owned questions · 604 with a formal statement · searchable by statement, number, topic and source status.
1,217 source-owned questions · 604 with a formal statement · searchable by statement, number, topic and source status.
Source status, exact formal material, and reviewed Results are separate signals.
4 Problems
| Select | Number | Question | Source says | Formal | Result here | Open |
|---|---|---|---|---|---|---|
| #121 | No statement retained — open to read what the source holdsSource says disprovedNo formal declaration | disproved | —No formal statement | —No Result decision | ||
| #222 | No statement retained — open to read what the source holdsSource says openNo formal declaration | open | —No formal statement | —No Result decision | ||
| #773 | No statement retained — open to read what the source holdsSource says openNo formal declaration | open | —No formal statement | —No Result decision | ||
| #888 | What is the size of the largest such that if are such that is a square then ?Source says solvedFormalized | solved | In Lean | —No Result decision |