GITHUB SNAPSHOT
teorth/erdosproblems
T
Stars
★ 878
Forks
⑂ 129
Language
Python
Topic
Developer Tools
License
Apache-2.0
Updated
14d ago
Contributors
—
Homepage
—
QUICK VERDICT
Snapshot of teorth/erdosproblems: 878★, Python, Developer Tools. A community database for the problems on the erdosproblems.com site
Snapshot summary built from the project's own GitHub metadata — there's no written TopGit review yet. The page will update automatically when a full review is published.
WHY NO REVIEW YET
TopGit writes full reviews for the most-starred, most-requested repositories. This page is a snapshot until then — see the READ ME tab for the original README in full.
Snapshot
Stars★ 878
Forks⑂ 129
LanguagePython
TopicDeveloper Tools
LicenseApache-2.0
Homepage—
Top contributors
Show top contributors
Erdős problem database
Browse the interactive table - Sort, filter, and search all the problems in the database
A community database for the problems on the erdosproblems.com site. We are particularly seeking community contributions regarding the integer sequences associated with these problems, and linking them to the OEIS.
The table below is auto-generated from the YAML file data/problems.yaml, which is the "ground truth" for this data as far as this repository is concerned.
- To propose changes, open a PR editing data/problems.yaml.
- See CONTRIBUTING.md for guidelines and field definitions.
For further discussion of this project, see this blog post (from Sep 1, 2025).
Several of the problems have received assistance from various AI tools. A list of such assistance can be found here. This wiki is no longer updated as of June 30, 2026, and is retained as a historical record; please do not open issues proposing additions to it.
Progress
The progress chart is frozen as of October 6, 2026 and is no longer shown here; it remains available as an image: light / dark.
This is in accordance with the policy changes announced at erdosproblems.com on that date, under which that site no longer displays the statuses of problems, nor the count or percentage of problems solved. A chart tracking solved and formalized counts over time serves much the same function, so it is no longer given a headline position in this repository either.
The underlying data stays active: data/statistics_history.csv continues to be updated as the database changes, so a current chart can be regenerated at any time with python scripts/plot_statistics_history.py --force.
Table
Summary counts — how many problems are proved, open, formalized in Lean, linked to the OEIS, and so on — are on a separate page: Summary statistics. They were moved off this page on October 6, 2026, for the reason given under Progress above.
| # | Prize | Status | Statement formalized | AI Attempts | OEIS | Tags | Comments |
|---|---|---|---|---|---|---|---|
| 1 | $500 | disproved (Lean) | yes | add | A276661 | number theory, additive combinatorics | |
| 2 | $1000 | disproved (Lean) | yes | add | A160559 | number theory, covering systems | |
| 3 | $5000 | open | yes | view | A003002, A003003, A003004, A003005 | number theory, additive combinatorics, arithmetic progressions | |
| 4 | $10000 | proved | yes | add | A002386 | number theory, primes | |
| 5 | no | open | yes | view | A001223 | number theory, primes | |
| 6 | $100 | proved (Lean) | yes | add | A335277 | number theory, primes | |
| 7 | no | verifiable | yes | view | N/A | number theory, covering systems | |
| 8 | no | disproved (Lean) | no | add | N/A | number theory, covering systems | |
| 9 | no | open | yes | view | A006286 | number theory, additive basis, primes | |
| 10 | no | open | yes | view | A387053 | number theory, additive basis, primes | |
| 11 | no | open | yes | view | A001220, A377587 | number theory, additive basis | |
| 12 | no | open | yes | view | N/A | number theory | |
| 13 | $100 | proved (Lean) | yes | add | A002264 | number theory | |
| 14 | no | open | yes | view | A143824, possible | number theory, sidon sets, additive combinatorics | |
| 15 | no | open | yes | view | N/A | number theory, primes | |
| 16 | no | disproved (Lean) | yes | add | A006285 | number theory, additive basis, primes | |
| 17 | no | open | yes | view | A038133 | number theory, primes | cluster primes |
| 18 | no | open | yes | view | A005153 | number theory, divisors, factorials | practical numbers |
| 19 | $500 | decidable | yes | add | N/A | graph theory, chromatic number | |
| 20 | $1000 | open | yes | view | A332077 | combinatorics | sunflower conjecture |
| 21 | $500 | proved (Lean) | yes | add | A391599 | combinatorics, intersecting family | |
| 22 | no | proved (Lean) | yes | add | possible | graph theory | |
| 23 | no | falsifiable | yes | view | A389646 | graph theory | |
| 24 | no | proved (Lean) | yes | add | possible | graph theory | |
| 25 | no | open | yes | view | N/A | number theory | |
| 26 | no | disproved (Lean) | yes | add | N/A | number theory, divisors | |
| 27 | $100 | disproved | no | add | N/A | number theory, covering systems | |
| 28 | $500 | open | yes | view | N/A | number theory, additive basis | |
| 29 | $100 | proved (Lean) | yes | add | N/A | number theory, additive basis | |
| 30 | $1000 | open | yes | view | A143824, A227590, A003022 | number theory, sidon sets, additive combinatorics | |
| 31 | no | proved (Lean) | yes | add | N/A | number theory, additive basis | |
| 32 | no | open | yes | view | N/A | number theory, additive basis | |
| 33 | no | open | yes | view | N/A | number theory, additive basis | |
| 34 | no | disproved (Lean) | yes | add | A389241, A234813, A390187 | number theory | |
| 35 | no | proved (Lean) | yes | add | N/A | number theory, additive basis | |
| 36 | no | open | yes | view | A393584, possible | number theory, additive combinatorics | minimum overlap problem |
| 37 | no | disproved (Lean) | no | add | N/A | number theory, additive combinatorics | |
| 38 | no | proved (Lean) | yes | add | N/A | number theory | |
| 39 | $500 | open | yes | view | N/A | number theory, sidon sets, additive combinatorics | |
| 40 | $500 | open | yes | view | N/A | number theory, additive basis | |
| 41 | $500 | open | yes | view | N/A | number theory, sidon sets, additive combinatorics | |
| 42 | no | solved (Lean) | yes | add | N/A | number theory, sidon sets, additive combinatorics | |
| 43 | $100 | disproved (Lean) | yes | add | A143824, A227590, A003022, possible | number theory, sidon sets, additive combinatorics | |
| 44 | no | open | yes | view | N/A | number theory, sidon sets, additive combinatorics | |
| 45 | no | proved (Lean) | yes | add | possible | number theory, unit fractions, ramsey theory | |
| 46 | no | proved (Lean) | yes | add | N/A | number theory, unit fractions, ramsey theory | |
| 47 | $100 | proved (Lean) | yes | add | N/A | number theory, unit fractions | |
| 48 | no | proved (Lean) | yes | add | N/A | number theory | |
| 49 | no | proved (Lean) | yes | add | A365339, A365474 | number theory, primes | |
| 50 | $250 | open | yes | view | N/A | number theory | |
| 51 | no | open | yes | view | A002202, A014197 | number theory | |
| 52 | $250 | open | yes | view | A263996 | number theory, additive combinatorics | sum-product problem |
| 53 | no | proved (Lean) | yes | add | possible | number theory, additive combinatorics | |
| 54 | $100 | solved | no | add | N/A | number theory, ramsey theory | |
| 55 | $250 | solved | no | add | N/A | number theory, ramsey theory | |
| 56 | $10 | disproved (Lean) | yes | add | N/A | number theory, intersecting family | |
| 57 | no | proved (Lean) | yes | add | N/A | graph theory, chromatic number, cycles | |
| 58 | no | proved | yes | add | N/A | graph theory, chromatic number, cycles | |
| 59 | no | disproved (Lean) | yes | add | N/A | graph theory, turan number | |
| 60 | no | open | yes | view | A006855 | graph theory, cycles | |
| 61 | no | open | yes | view | N/A | graph theory | |
| 62 | no | open | no | view | N/A | graph theory | |
| 63 | no | proved (Lean) | yes | add | N/A | graph theory, chromatic number, cycles | |
| 64 | $1000 | falsifiable | yes | view | N/A | graph theory, cycles | |
| 65 | no | open | yes | view | N/A | graph theory, cycles | |
| 66 | $500 | open | yes | view | N/A | number theory, additive basis | |
| 67 | $500 | proved | yes | add | A181740, A237695 | discrepancy | Erdős discrepancy problem |
| 68 | no | open | yes | view | A331373 | number theory, irrationality | |
| 69 | no | proved | yes | add | A262153 | number theory, irrationality | |
| 70 | no | open | yes | view | N/A | graph theory, ramsey theory, set theory | |
| 71 | no | proved (Lean) | yes | add | N/A | graph theory, cycles | |
| 72 | $100 | proved | yes | add | N/A | graph theory, cycles | |
| 73 | no | proved | yes | add | N/A | graph theory | |
| 74 | $500 | disproved (Lean) | yes | add | N/A | graph theory, chromatic number, cycles | |
| 75 | no | open | yes | view | N/A | graph theory, chromatic number | |
| 76 | no | proved | no | add | A060407 | graph theory, ramsey theory | |
| 77 | $250 | open | yes | view | A059442 | graph theory, ramsey theory | |
| 78 | $100 | open | yes | view | A059442 | graph theory, ramsey theory | |
| 79 | no | proved | yes | add | N/A | graph theory, ramsey theory | |
| 80 | no | open | yes | view | N/A | graph theory, ramsey theory | |
| 81 | no | open | yes | view | possible | graph theory | |
| 82 | no | open | yes | view | A120414, A390256, A390257, A390919, A392636, A394400, A394462, A394539, A394563, A394564, A394573, A394574, A394930, A394933 | graph theory | |
| 83 | $500 | proved (Lean) | yes | add | A071799, A387635 | combinatorics | |
| 84 | no | open | no | view | A399654 | graph theory, cycles | |
| 85 | no | open | yes | view | A006672, possible | graph theory, ramsey theory | |
| 86 | $100 | open | yes | view | A245762 | graph theory | |
| 87 | no | open | yes | view | A059442, possible | graph theory, ramsey theory | |
| 88 | $100 | proved | yes | add | N/A | graph theory, ramsey theory | |
| 89 | $500 | open | yes | view | A186704, A131628 | geometry, distances | Erdős distance problem |
| 90 | $500 | disproved (Lean) | yes | add | A186705 | geometry, distances | unit distance problem |
| 91 | no | open | yes | view | A186704, possible | geometry, distances | |
| 92 | $500 | disproved | yes | add | possible | geometry, distances | |
| 93 | no | proved (Lean) | yes | add | N/A | geometry, convex, distances | |
| 94 | £25 | proved (Lean) | yes | add | A387858 | geometry, convex, distances | |
| 95 | $500 | proved (Lean) | yes | add | possible | geometry, convex, distances | |
| 96 | no | open | yes | view | possible | geometry, distances, convex | |
| 97 | $100 | falsifiable | yes | view | N/A | geometry, distances, convex | |
| 98 | no | open | yes | view | possible | geometry, distances | |
| 99 | $100 | open | yes | view | N/A | geometry, distances | |
| 100 | no | open | yes | view | N/A | geometry, distances | |
| 101 | $100 | open | yes | view | A006065, possible | geometry | |
| 102 | no | open | yes | view | N/A | geometry | |
| 103 | no | open | yes | view | possible | geometry, distances | |
| 104 | $100 | open | yes | view | A003829 | geometry | |
| 105 | $50 | disproved (Lean) | yes | add | N/A | geometry | |
| 106 | no | disproved (Lean) | no | add | N/A | geometry | |
| 107 | $500 | falsifiable | yes | view | A000051 | geometry, convex | 'Happy Ending' problem |
| 108 | no | open | yes | view | possible | graph theory, chromatic number, cycles | |
| 109 | no | proved (Lean) | yes | add | N/A | additive combinatorics | Erdős sumset conjecture |
| 110 | no | disproved | yes | add | N/A | graph theory, chromatic number, cycles | |
| 111 | no | open | yes | view | N/A | graph theory, chromatic number, set theory | |
| 112 | no | open | no | view | possible | graph theory, ramsey theory | |
| 113 | $500 | disproved (Lean) | yes | add | N/A | graph theory, turan number | |
| 114 | $250 | falsifiable | yes | view | N/A | polynomials, analysis | |
| 115 | no | proved (Lean) | yes | add | N/A | polynomials, analysis | |
| 116 | no | proved (Lean) | yes | add | N/A | polynomials, analysis | |
| 117 | no | open | no | view | possible | group theory | |
| 118 | no | disproved | yes | add | N/A | set theory, ramsey theory | |
| 119 | $100 | solved (Lean) | yes | add | N/A | analysis, polynomials | |
| 120 | $100 | open | yes | view | N/A | combinatorics | Erdős similarity problem |
| 121 | no | disproved (Lean) | yes | add | A028391, A013928, A372306, A373319, A373178, A360659, A373114, A143301 | number theory, squares | |
| 122 | no | open | no | view | N/A | number theory | |
| 123 | $250 | proved (Lean) | yes | add | N/A | number theory | |
| 124 | no | open | yes | view | N/A | number theory, base representations, complete sequences | |
| 125 | no | disproved (Lean) | yes | add | A367090 | number theory, base representations | |
| 126 | $250 | proved (Lean) | yes | add | possible | number theory | |
| 127 | no | proved (Lean) | yes | add | possible | graph theory | |
| 128 | $250 | falsifiable | yes | view | N/A | graph theory | |
| 129 | no | open | no | view | possible | graph theory, ramsey theory | ambiguous statement |
| 130 | no | open | yes | view | N/A | graph theory, chromatic number | |
| 131 | no | open | yes | view | A068063 | number theory | |
| 132 | $100 | open | no | view | N/A | distances | |
| 133 | no | disproved | yes | add | possible | graph theory | |
| 134 | no | proved (Lean) | yes | add | N/A | graph theory | |
| 135 | $250 | disproved (Lean) | no | add | possible | distances, geometry | |
| 136 | no | solved | yes | add | possible | graph theory | |
| 137 | no | open | yes | view | N/A | number theory, powerful | |
| 138 | $500 | open | yes | view | A005346 | additive combinatorics | |
| 139 | $1000 | proved (Lean) | yes | add | A003002, A003003, A003004, A003005 | additive combinatorics, arithmetic progressions | Szemerédi's theorem |
| 140 | $500 | proved (Lean) | no | add | A003002 | additive combinatorics, arithmetic progressions | |
| 141 | no | open | yes | view | A006560 | additive combinatorics, primes, arithmetic progressions | |
| 142 | $10000 | open | yes | view | A003002, A003003, A003004, A003005 | additive combinatorics, arithmetic progressions | |
| 143 | $500 | open | yes | view | N/A | primitive sets | |
| 144 | $250 | proved (Lean) | no | add | A005279 | number theory, divisors | |
| 145 | no | open | yes | view | A005117 | number theory | |
| 146 | $500 | disproved (Lean) | yes | add | N/A | graph theory, turan number | |
| 147 | $500 | disproved (Lean) | yes | add | N/A | graph theory, turan number | |
| 148 | no | open | yes | view | A076393, A006585 | number theory, unit fractions | |
| 149 | no | open | no | view | N/A | graph theory | |
| 150 | no | proved (Lean) | yes | add | possible | graph theory | |
| 151 | no | open | yes | view | possible | graph theory | |
| 152 | no | proved (Lean) | yes | add | N/A | sidon sets | |
| 153 | no | open | yes | view | N/A | sidon sets | |
| 154 | no | proved (Lean) | yes | add | N/A | sidon sets | |
| 155 | no | open | yes | view | A143824, A227590, A003022 | additive combinatorics, sidon sets | |
| 156 | no | open | yes | view | A382397 | sidon sets | |
| 157 | no | proved | yes | add | N/A | sidon sets | |
| 158 | no | open | yes | view | N/A | sidon sets | |
| 159 | no | open | yes | view | possible | graph theory, ramsey theory | |
| 160 | no | open | yes | view | possible | additive combinatorics, arithmetic progressions | |
| 161 | $500 | open | yes | view | N/A | combinatorics, ramsey theory, discrepancy, hypergraphs | |
| 162 | no | open | yes | view | N/A | combinatorics, ramsey theory, discrepancy | |
| 163 | no | proved | yes | add | N/A | graph theory, ramsey theory | Burr-Erdős conjecture |
| 164 | no | proved (Lean) | yes | add | A137245 | number theory, primitive sets | |
| 165 | $250 | open | yes | view | A000791 | graph theory, ramsey theory | |
| 166 | $250 | proved | yes | add | A059442 | graph theory, ramsey theory | |
| 167 | no | falsifiable | no | view | N/A | graph theory | |
| 168 | no | open | yes | view | A004059, A057561, A094708, A386439 | additive combinatorics | |
| 169 | no | open | no | view | A005346 | additive combinatorics, arithmetic progressions | |
| 170 | no | open | yes | view | A046693 | additive combinatorics | sparse ruler problem |
| 171 | no | proved (Lean) | yes | add | A156989 | additive combinatorics, combinatorics | density Hales-Jewett |
| 172 | no | open | yes | view | N/A | additive combinatorics, ramsey theory | |
| 173 | no | open | yes | view | N/A | geometry, ramsey theory | |
| 174 | no | open | yes | view | N/A | geometry, ramsey theory | |
| 175 | no | proved (Lean) | yes | add | A292441, A292442 | number theory, binomial coefficients | |
| 176 | no | open | no | view | A398541, possible | additive combinatorics, arithmetic progressions, discrepancy | |
| 177 | no | open | no | view | N/A | discrepancy, arithmetic progressions | |
| 178 | no | proved (Lean) | yes | add | N/A | discrepancy | |
| 179 | no | proved | no | add | possible | additive combinatorics, arithmetic progressions | |
| 180 | no | disproved (Lean) | yes | add | N/A | graph theory, turan number | |
| 181 | no | open | yes | view | possible | graph theory, ramsey theory | |
| 182 | no | proved | no | add | possible | graph theory | |
| 183 | $250 | solved (Lean) | yes | add | A003323 | graph theory, ramsey theory | |
| 184 | no | open | yes | view | possible | graph theory, cycles | |
| 185 | no | proved (Lean) | yes | add | A003142 | additive combinatorics | |
| 186 | no | solved | yes | add | A389784 | additive combinatorics | |
| 187 | no | open | no | view | N/A | additive combinatorics, ramsey theory, arithmetic progressions | |
| 188 | no | open | yes | view | N/A | geometry, ramsey theory | |
| 189 | no | disproved (Lean) | yes | add | N/A | geometry, ramsey theory | |
| 190 | no | solved (Lean) | no | add | possible | additive combinatorics, arithmetic progressions | |
| 191 | no | proved (Lean) | yes | add | N/A | combinatorics, ramsey theory | |
| 192 | no | solved (Lean) | yes | add | N/A | arithmetic progressions, combinatorics | |
| 193 | no | disproved (Lean) | yes | add | A231255 | geometry | |
| 194 | no | disproved (Lean) | yes | add | N/A | arithmetic progressions | |
| 195 | no | open | yes | view | N/A | arithmetic progressions | |
| 196 | no | open | yes | view | N/A | arithmetic progressions | |
| 197 | no | open | yes | view | N/A | arithmetic progressions | |
| 198 | no | disproved (Lean) | yes | add | N/A | additive combinatorics, sidon sets, arithmetic progressions | |
| 199 | no | disproved (Lean) | yes | add | N/A | arithmetic progressions | |
| 200 | no | open | yes | view | A005115 | primes, arithmetic progressions | |
| 201 | no | open | no | view | A003002, A003003, A003004, A003005, possible | additive combinatorics, arithmetic progressions | |
| 202 | no | solved (Lean) | yes | add | A389975 | covering systems | |
| 203 | no | open | yes | view | N/A | primes, covering systems | |
| 204 | no | disproved (Lean) | yes | add | N/A | covering systems, divisors | |
| 205 | no | disproved (Lean) | yes | add | possible | number theory | |
| 206 | no | disproved (Lean) | yes | add | N/A | number theory, unit fractions | |
| 207 | no | proved | yes | add | N/A | combinatorics, hypergraphs | |
| 208 | no | open | yes | view | A005117, A076259 | number theory | |
| 209 | no | disproved (Lean) | yes | add | N/A | geometry | |
| 210 | no | proved | yes | add | A003034 | geometry | |
| 211 | $100 | proved | yes | add | N/A | geometry | |
| 212 | no | open | yes | view | N/A | geometry, distances | |
| 213 | no | open | yes | view | N/A | geometry, distances | |
| 214 | no | proved (Lean) | yes | add | N/A | geometry, distances, ramsey theory | |
| 215 | no | proved (Lean) | yes | add | N/A | geometry | |
| 216 | no | disproved | no | add | A381776 | geometry, convex | |
| 217 | no | open | yes | view | possible | geometry, distances | |
| 218 | no | open | yes | view | A333230, A333231, A064113 | number theory, primes | |
| 219 | no | proved (Lean) | yes | add | A005115, A113827, A123556 | number theory, additive combinatorics, primes, arithmetic progressions | Green-Tao theorem |
| 220 | $500 | proved (Lean) | yes | add | A322144 | number theory | |
| 221 | no | proved (Lean) | yes | add | N/A | number theory, additive basis | |
| 222 | no | open | no | view | A001481, A256435 | number theory, squares | |
| 223 | no | solved | no | add | A008811, possible | geometry, distances | |
| 224 | no | proved (Lean) | yes | add | N/A | geometry | |
| 225 | no | proved | yes | add | N/A | analysis | |
| 226 | no | proved (Lean) | yes | add | N/A | analysis | |
| 227 | no | disproved | no | add | N/A | analysis | |
| 228 | no | proved (Lean) | yes | add | N/A | analysis, polynomials | |
| 229 | no | proved (Lean) | yes | add | N/A | analysis, iterated functions | |
| 230 | no | disproved (Lean) | yes | add | N/A | analysis, polynomials | |
| 231 | no | disproved (Lean) | yes | add | N/A | combinatorics | |
| 232 | no | proved | yes | add | N/A | geometry, distances | |
| 233 | no | open | yes | view | A074741 | number theory, primes | |
| 234 | no | open | yes | view | N/A | number theory, primes | |
| 235 | no | proved | yes | add | N/A | number theory | |
| 236 | no | open | yes | view | A039669, A109925 | number theory, primes | |
| 237 | no | proved (Lean) | yes | add | N/A | number theory, primes | |
| 238 | no | open | yes | view | N/A | number theory, primes | |
| 239 | no | proved (Lean) | yes | add | N/A | number theory | |
| 240 | no | proved | yes | add | N/A | number theory, primes | |
| 241 | $100 | open | yes | view | A387704 | additive combinatorics, sidon sets | |
| 242 | no | falsifiable | yes | view | A073101, A075245, A075246, A075247, A075248, A287116 | number theory, unit fractions | Erdős-Straus conjecture |
| 243 | no | open | yes | view | A000058 | number theory, irrationality | |
| 244 | no | open | yes | view | N/A | number theory, primes | |
| 245 | no | proved | yes | add | N/A | additive combinatorics | |
| 246 | no | proved (Lean) | yes | add | N/A | number theory | |
| 247 | no | open | yes | view | N/A | number theory, irrationality | |
| 248 | no | proved (Lean) | yes | add | N/A | number theory | |
| 249 | no | open | yes | view | A256936 | number theory, irrationality | |
| 250 | no | proved (Lean) | yes | add | A066766 | number theory, irrationality | |
| 251 | no | open | yes | view | A098990 | number theory, irrationality | |
| 252 | no | open | yes | view | A227988, A227989, A307036, A359060, possible | number theory, irrationality | |
| 253 | no | disproved (Lean) | yes | add | N/A | number theory | |
| 254 | no | open | yes | view | N/A | number theory | |
| 255 | no | proved (Lean) | no | add | N/A | discrepancy | |
| 256 | no | open | no | view | N/A | analysis | |
| 257 | no | open | yes | view | N/A | irrationality | |
| 258 | no | proved (Lean) | yes | add | N/A | irrationality | |
| 259 | no | proved (Lean) | yes | add | A371134 | irrationality | |
| 260 | no | open | yes | view | N/A | irrationality | |
| 261 | no | open | yes | view | N/A | number theory | |
| 262 | no | solved (Lean) | no | add | N/A | irrationality | |
| 263 | no | open | yes | view | N/A | irrationality | |
| 264 | no | open | yes | view | N/A | irrationality | |
| 265 | no | open | no | view | N/A | irrationality | ambiguous statement |
| 266 | no | disproved (Lean) | yes | add | N/A | irrationality | |
| 267 | no | open | yes | view | N/A | irrationality | |
| 268 | no | proved (Lean) | yes | add | N/A | number theory | |
| 269 | no | open | yes | view | N/A | irrationality | |
| 270 | no | disproved (Lean) | yes | add | A073016 | irrationality | |
| 271 | no | open | no | view | A005487 | additive combinatorics, arithmetic progressions | Stanley sequences |
| 272 | no | open | yes | view | possible | additive combinatorics, arithmetic progressions | |
| 273 | no | open | yes | view | N/A | number theory, covering systems | |
| 274 | no | open | yes | view | N/A | group theory, covering systems | Herzog-Schönheim conjecture |
| 275 | no | proved (Lean) | yes | add | N/A | number theory, covering systems | |
| 276 | no | open | yes | view | N/A | number theory, covering systems | |
| 277 | no | proved (Lean) | yes | add | N/A | number theory, covering systems | |
| 278 | no | open | no | view | N/A | number theory, covering systems | |
| 279 | no | open | yes | view | N/A | number theory, covering systems, primes | |
| 280 | no | disproved (Lean) | yes | add | N/A | number theory, covering systems | |
| 281 | no | proved (Lean) | yes | add | N/A | number theory, covering systems | |
| 282 | no | open | yes | view | N/A | number theory, unit fractions | |
| 283 | no | proved (Lean) | yes | add | A380791 | number theory, unit fractions | |
| 284 | no | proved | yes | add | possible | number theory, unit fractions | |
| 285 | no | proved (Lean) | yes | add | A030659 | number theory, unit fractions | |
| 286 | no | proved | yes | add | N/A | number theory, unit fractions | |
| 287 | no | falsifiable | yes | view | N/A | number theory, unit fractions | |
| 288 | no | open | yes | view | N/A | number theory, unit fractions | |
| 289 | no | open | yes | view | N/A | number theory, unit fractions | |
| 290 | no | proved (Lean) | yes | add | A375081 | number theory, unit fractions | |
| 291 | no | open | yes | view | A110566 | number theory, unit fractions | |
| 292 | no | proved | yes | add | A092671 | number theory, unit fractions | |
| 293 | no | open | no | view | A400352 | number theory, unit fractions | ambiguous statement |
| 294 | no | proved | yes | add | possible | number theory, unit fractions | |
| 295 | no | open | yes | view | A192881 | number theory, unit fractions | |
| 296 | no | proved (Lean) | yes | add | possible | number theory, unit fractions | |
| 297 | no | solved | no | add | A092670 | number theory, unit fractions | |
| 298 | no | proved (Lean) | yes | add | N/A | number theory, unit fractions | |
| 299 | no | disproved (Lean) | yes | add | N/A | number theory, unit fractions | |
| 300 | no | solved (Lean) | yes | add | A390393 | number theory, unit fractions | |
| 301 | no | open | no | view | A390394 | number theory, unit fractions | |
| 302 | no | open | yes | view | A390395 | number theory, unit fractions | |
| 303 | no | proved (Lean) | yes | add | N/A | number theory, unit fractions | |
| 304 | no | open | yes | view | A097847, A097849 | number theory, unit fractions | |
| 305 | no | proved | yes | add | possible | number theory, unit fractions | |
| 306 | no | open | yes | view | N/A | number theory, unit fractions | |
| 307 | no | verifiable | yes | view | N/A | number theory, unit fractions | |
| 308 | no | proved | yes | add | A101877, possible | number theory, unit fractions | |
| 309 | no | disproved (Lean) | yes | add | A217693 | number theory, unit fractions | |
| 310 | no | proved (Lean) | yes | add | N/A | number theory, unit fractions | |
| 311 | no | open | yes | view | N/A | number theory, unit fractions | |
| 312 | no | open | yes | view | N/A | number theory, unit fractions | |
| 313 | no | open | yes | view | A054377 | number theory, unit fractions | |
| 314 | no | proved (Lean) | yes | add | N/A | number theory, unit fractions | |
| 315 | no | proved (Lean) | yes | add | A000058, A076393 | number theory, unit fractions | |
| 316 | no | disproved (Lean) | yes | add | N/A | number theory, unit fractions | |
| 317 | no | open | yes | view | N/A | number theory, unit fractions | |
| 318 | no | solved (Lean) | yes | add | N/A | number theory, unit fractions | |
| 319 | no | open | yes | view | possible | number theory, unit fractions | |
| 320 | no | solved | no | add | A072207 | number theory, unit fractions | |
| 321 | no | solved | yes | add | A384927, A391592 | number theory, unit fractions | |
| 322 | no | open | yes | view | A025456, A025418 | number theory, powers | |
| 323 | no | open | yes | view | A004825, A004831, A004832, A004833, A004842, A004843, A004844, A004845, A004857, A004869, possible | number theory, powers | |
| 324 | no | open | yes | view | N/A | number theory, powers, sidon sets | |
| 325 | no | open | yes | view | A004825, A004832, A004843, A004854, A004865, possible | number theory, powers | |
| 326 | no | open | yes | view | N/A | number theory, additive basis | |
| 327 | no | open | no | view | A384927 | number theory, unit fractions | |
| 328 | no | disproved (Lean) | yes | add | N/A | number theory, additive combinatorics | |
| 329 | no | open | yes | view | possible | number theory, sidon sets | |
| 330 | no | proved (Lean) | yes | add | N/A | number theory, additive basis | |
| 331 | no | disproved (Lean) | yes | add | N/A | number theory, additive combinatorics | |
| 332 | no | open | yes | view | N/A | number theory | |
| 333 | no | disproved (Lean) | yes | add | N/A | number theory, additive basis | |
| 334 | no | open | no | view | A062241, A045535 | number theory | |
| 335 | no | open | no | view | N/A | number theory, additive combinatorics | |
| 336 | no | open | no | view | possible | number theory, additive basis | |
| 337 | no | disproved (Lean) | yes | add | N/A | number theory, additive combinatorics, additive basis | |
| 338 | no | open | yes | view | N/A | number theory, additive basis | |
| 339 | no | proved | no | add | N/A | number theory, additive basis | |
| 340 | no | open | yes | view | A080200, A005282 | number theory, additive combinatorics, sidon sets | |
| 341 | no | open | yes | view | N/A | number theory | |
| 342 | no | open | yes | view | A002858, A400867 | number theory | |
| 343 | no | proved (Lean) | no | add | N/A | number theory, complete sequences | |
| 344 | no | proved | yes | add | N/A | number theory, complete sequences | |
| 345 | no | open | yes | view | A001661 | number theory, complete sequences | |
| 346 | no | solved | yes | add | N/A | number theory, complete sequences | |
| 347 | no | proved (Lean) | yes | add | N/A | number theory, complete sequences | |
| 348 | no | open | yes | view | N/A | number theory, complete sequences | |
| 349 | no | open | yes | view | N/A | number theory, complete sequences | |
| 350 | no | proved (Lean) | yes | add | N/A | number theory, additive combinatorics | |
| 351 | no | proved (Lean) | yes | add | N/A | number theory, complete sequences | |
| 352 | no | open | yes | view | N/A | geometry | |
| 353 | no | proved (Lean) | yes | add | N/A | geometry | |
| 354 | no | open | yes | view | N/A | number theory, complete sequences | |
| 355 | no | proved (Lean) | yes | add | N/A | number theory, unit fractions | |
| 356 | no | proved (Lean) | no | add | possible | number theory | |
| 357 | no | open | yes | view | A364132, A364153, possible | number theory | |
| 358 | no | proved (Lean) | yes | add | possible | number theory, additive basis, primes | |
| 359 | no | open | yes | view | A002048 | number theory | segmented numbers |
| 360 | no | solved | yes | add | possible | number theory | |
| 361 | no | open | yes | view | possible | number theory | |
| 362 | no | proved (Lean) | yes | add | possible | number theory | |
| 363 | no | disproved (Lean) | yes | add | N/A | number theory | |
| 364 | no | verifiable | yes | view | A060355, A076445 | number theory, powerful | |
| 365 | no | open | yes | view | A060355, A060859, A175155 | number theory, powerful | |
| 366 | no | verifiable | yes | view | A060355 | number theory, powerful | ambiguous statement |
| 367 | no | open | yes | view | A057521 | number theory, powerful | |
| 368 | no | open | yes | view | A074399 | number theory | |
| 369 | no | proved (Lean) | yes | add | N/A | number theory | |
| 370 | no | proved (Lean) | yes | add | N/A | number theory | |
| 371 | no | open | yes | view | A070089 | number theory | |
| 372 | no | proved | yes | add | A071870 | number theory | |
| 373 | no | open | yes | view | A003135 | number theory, factorials | |
| 374 | no | open | no | view | A388851, A387184, A389117, A389148 | number theory | |
| 375 | no | falsifiable | yes | view | N/A | number theory, primes | |
| 376 | no | open | yes | view | A030979 | number theory, binomial coefficients, base representations | |
| 377 | no | open | yes | view | N/A | number theory, binomial coefficients | |
| 378 | no | proved | no | add | N/A | number theory, binomial coefficients | |
| 379 | no | proved (Lean) | yes | add | A048279, A400962 | number theory, binomial coefficients | |
| 380 | no | proved | no | add | A070003, A388654, A387054, A389100 | number theory | |
| 381 | no | disproved | no | add | A002182 | number theory, divisors | |
| 382 | no | open | yes | view | A388850 | number theory | |
| 383 | no | open | yes | view | N/A | number theory | |
| 384 | no | proved (Lean) | yes | add | N/A | number theory, binomial coefficients | |
| 385 | no | open | yes | view | A322292, A322293 | number theory | |
| 386 | no | open | yes | view | A280992 | number theory, binomial coefficients | |
| 387 | no | solved | yes | add | A401107, A401108 | number theory, binomial coefficients | |
| 388 | no | open | yes | view | N/A | number theory | |
| 389 | no | open | yes | view | A375071 | number theory | |
| 390 | no | open (Lean) | yes | view | A193429 | number theory, factorials | |
| 391 | no | proved (Lean) | yes | add | A034258, A034259 | number theory, factorials | |
| 392 | no | proved (Lean) | yes | add | possible | number theory, factorials | |
| 393 | no | open | yes | view | A388302 | number theory, factorials | |
| 394 | no | open | yes | view | A344005 | number theory | |
| 395 | no | proved (Lean) | yes | add | N/A | analysis | reverse Littlewood-Offord problem |
| 396 | no | open | yes | view | A375077 | number theory, binomial coefficients | |
| 397 | no | disproved (Lean) | yes | add | N/A | number theory, binomial coefficients | |
| 398 | no | falsifiable | yes | view | A146968, A141399 | number theory, factorials | Brocard-Ramanujan conjecture |
| 399 | no | disproved (Lean) | yes | add | N/A | number theory, factorials | |
| 400 | no | open | yes | view | A400979, A400981, possible | number theory, factorials | |
| 401 | no | proved (Lean) | yes | add | N/A | number theory, factorials | |
| 402 | no | proved | yes | add | N/A | number theory | |
| 403 | no | proved (Lean) | yes | add | N/A | number theory, factorials | |
| 404 | no | open | no | view | N/A | number theory, factorials | |
| 405 | no | proved (Lean) | yes | add | N/A | number theory, factorials | |
| 406 | no | open | yes | view | N/A | number theory, base representations | |
| 407 | no | proved | yes | add | possible, A387688 | number theory | |
| 408 | no | open | yes | view | A049108 | number theory, iterated functions | |
| 409 | no | open | yes | view | A039651, A229487 | number theory, iterated functions | |
| 410 | no | open | yes | view | A007497, possible | number theory, iterated functions | |
| 411 | no | open | no | view | A383044, possible | number theory, iterated functions | partial r=2 result |
| 412 | no | open | yes | view | A007497, A051572 | number theory, iterated functions | |
| 413 | no | open | yes | view | A005236 | number theory, iterated functions | |
| 414 | no | open | yes | view | A064491, possible | number theory, iterated functions | |
| 415 | no | open | no | view | possible | number theory | |
| 416 | no | open | yes | view | A264810 | number theory | |
| 417 | no | open | yes | view | A264810, A061070 | number theory | |
| 418 | no | proved (Lean) | yes | add | A005278, A263958 | number theory | |
| 419 | no | solved (Lean) | yes | add | N/A | number theory, factorials | |
| 420 | no | open | yes | view | N/A | number theory | |
| 421 | no | solved | yes | add | A389544, A390848 | number theory | |
| 422 | no | open | yes | view | A005185 | number theory | |
| 423 | no | open | yes | view | A005243 | number theory | |
| 424 | no | open | yes | view | A005244 | number theory | |
| 425 | no | open | yes | view | possible | number theory, sidon sets | |
| 426 | $25 | disproved (Lean) | yes | add | possible | graph theory | |
| 427 | no | proved (Lean) | yes | add | N/A | number theory, primes | |
| 428 | no | open | yes | view | N/A | number theory, primes | |
| 429 | no | disproved (Lean) | yes | add | N/A | number theory | |
| 430 | no | open | yes | view | A322293, possible | number theory | |
| 431 | no | open | yes | view | N/A | number theory, primes | inverse Goldbach problem |
| 432 | no | open | no | view | N/A | number theory | |
| 433 | no | proved (Lean) | yes | add | possible | number theory | |
| 434 | no | proved (Lean) | yes | add | possible | number theory | |
| 435 | no | proved (Lean) | yes | add | A389479 | number theory | |
| 436 | no | open | yes | view | A000445, possible | number theory | |
| 437 | no | proved | yes | add | possible | number theory | |
| 438 | no | solved | yes | add | A363069 | number theory | |
| 439 | no | proved | no | add | N/A | number theory, ramsey theory | |
| 440 | no | solved | yes | add | N/A | number theory | |
| 441 | no | disproved (Lean) | yes | add | A068509 | number theory | |
| 442 | no | disproved (Lean) | yes | add | N/A | number theory | |
| 443 | no | proved (Lean) | yes | add | A401140 | number theory | |
| 444 | no | proved | yes | add | N/A | number theory, divisors | |
| 445 | no | open | yes | view | N/A | number theory | |
| 446 | no | solved | no | add | A074738, A399690, A399691, A399697, A399698 | number theory, divisors | |
| 447 | no | proved (Lean) | yes | add | possible | combinatorics | |
| 448 | no | disproved (Lean) | yes | add | A397433 | number theory, divisors | |
| 449 | no | disproved | no | add | A399440 | number theory, divisors | |
| 450 | no | open | yes | view | N/A | number theory, divisors | |
| 451 | no | open | no | view | A386620 | number theory | |
| 452 | no | open | yes | view | possible | number theory | |
| 453 | no | disproved (Lean) | yes | add | N/A | number theory | |
| 454 | no | open | yes | view | A389676, A389677 | number theory, primes | |
| 455 | no | open | yes | view | N/A | number theory | |
| 456 | no | open | yes | view | A034694, A061026, possible | number theory | |
| 457 | no | proved (Lean) | yes | add | A391668 | number theory | |
| 458 | no | falsifiable | yes | view | A056604 | number theory, primes | |
| 459 | no | solved (Lean) | yes | add | A289280 | number theory, primes | |
| 460 | no | open | no | view | N/A | number theory | ambiguous statement |
| 461 | no | open | yes | view | possible | number theory, primes | |
| 462 | no | open | yes | view | A032742, possible | number theory, primes | |
| 463 | no | open | yes | view | A401176, possible | number theory, primes | |
| 464 | no | proved (Lean) | yes | add | N/A | number theory | |
| 465 | no | proved | no | add | N/A | number theory | |
| 466 | no | proved | yes | add | N/A | number theory | |
| 467 | no | open | yes | view | N/A | number theory | ambiguous statement |
| 468 | no | open | no | view | A167485, A387502, A387503 | number theory, divisors | |
| 469 | no | proved (Lean) | yes | add | A006036, A119425, possible | number theory, divisors | |
| 470 | $10 | open | yes | view | A006037, A002975 | number theory, divisors | |
| 471 | no | proved | no | add | possible | number theory | |
| 472 | no | open | yes | view | A389713, possible | number theory | |
| 473 | no | proved | yes | add | A055265 | number theory | |
| 474 | $100 | not provable | no | add | N/A | set theory, ramsey theory | |
| 475 | no | decidable | no | add | N/A | number theory, additive combinatorics | |
| 476 | no | proved (Lean) | yes | add | N/A | number theory, additive combinatorics | |
| 477 | no | solved | yes | add | N/A | number theory, sidon sets | |
| 478 | no | open | yes | view | A210184 | number theory, factorials | |
| 479 | no | open | yes | view | A036236, A015919, A050259, A015921, A006521, A006517, A015940 | number theory | |
| 480 | no | proved (Lean) | yes | add | N/A | number theory | |
| 481 | no | proved (Lean) | yes | add | N/A | number theory | |
| 482 | no | solved | yes | add | A004539 | number theory | |
| 483 | no | open | yes | view | A030126 | number theory, additive combinatorics, ramsey theory | |
| 484 | no | proved (Lean) | yes | add | N/A | number theory, additive combinatorics, ramsey theory | |
| 485 | no | proved | yes | add | possible | analysis, polynomials | |
| 486 | no | open | yes | view | N/A | number theory, primitive sets | |
| 487 | no | proved (Lean) | yes | add | N/A | number theory | |
| 488 | no | falsifiable | yes | view | N/A | number theory | |
| 489 | no | open | yes | view | N/A | number theory | |
| 490 | no | proved (Lean) | yes | add | A397205 | number theory | |
| 491 | no | proved | yes | add | N/A | number theory | |
| 492 | no | disproved | no | add | N/A | number theory | |
| 493 | no | proved (Lean) | yes | add | N/A | number theory | |
| 494 | no | proved | yes | add | N/A | analysis, additive combinatorics | |
| 495 | no | open | yes | view | N/A | diophantine approximation, number theory | Littlewood conjecture |
| 496 | no | proved | no | add | N/A | number theory, diophantine approximation | |
| 497 | no | solved (Lean) | yes | add | A000372 | combinatorics | Dedekind's problem |
| 498 | no | proved (Lean) | yes | add | N/A | combinatorics, analysis | strong Littlewood-Offord problem |
| 499 | no | proved (Lean) | yes | add | N/A | combinatorics | |
| 500 | $500 | open | yes | view | A140462 | graph theory, hypergraphs, turan number | |
| 501 | no | not disprovable | yes | add | N/A | combinatorics, set theory | |
| 502 | no | solved (Lean) | yes | add | A027627 | geometry, distances | |
| 503 | no | open | yes | view | A175769 | geometry, distances | |
| 504 | no | solved | yes | add | N/A | geometry | Blumenthal's problem |
| 505 | no | disproved (Lean) | yes | add | possible | geometry | Borsuk's problem |
| 506 | no | decidable | yes | add | possible | geometry | |
| 507 | no | open | yes | view | N/A | geometry | Heilbronn's triangle problem |
| 508 | no | open | yes | view | N/A | geometry, ramsey theory | Hadwiger-Nelson problem |
| 509 | no | open | yes | view | N/A | analysis, polynomials | |
| 510 | no | open | yes | view | N/A | analysis | Chowla's cosine problem |
| 511 | no | disproved | no | add | N/A | analysis | |
| 512 | no | proved (Lean) | yes | add | N/A | analysis | Littlewood's conjecture |
| 513 | no | open | yes | view | N/A | analysis | |
| 514 | no | open | no | view | N/A | analysis | |
| 515 | no | proved | no | add | N/A | analysis | |
| 516 | no | proved (Lean) | yes | add | N/A | analysis | |
| 517 | no | open | yes | view | N/A | analysis | |
| 518 | no | proved | no | add | N/A | graph theory, ramsey theory | |
| 519 | no | proved (Lean) | yes | add | N/A | analysis | |
| 520 | no | open | yes | view | N/A | number theory, probability | |
| 521 | no | open | yes | view | N/A | analysis, polynomials, probability | |
| 522 | no | open (Lean) | yes | view | N/A | analysis, polynomials, probability | |
| 523 | no | proved | no | add | N/A | analysis, probability, polynomials | |
| 524 | no | open | no | view | N/A | analysis, probability, polynomials | |
| 525 | no | proved | yes | add | possible | analysis, probability, polynomials | |
| 526 | no | solved | no | add | N/A | probability, geometry | |
| 527 | no | proved | no | add | N/A | analysis, probability | |
| 528 | no | open | no | view | A387897, A156816 | geometry | |
| 529 | no | open | no | view | N/A | geometry, probability | |
| 530 | no | open | no | view | A143824, possible | number theory, sidon sets | |
| 531 | no | open | no | view | possible | number theory, ramsey theory | |
| 532 | no | proved (Lean) | yes | add | N/A | number theory, ramsey theory | |
| 533 | no | disproved (Lean) | yes | add | N/A | graph theory | |
| 534 | no | solved | yes | add | A387543, A387698 | number theory, intersecting family | |
| 535 | no | open | yes | view | possible | number theory | |
| 536 | no | open | yes | view | possible | number theory | |
| 537 | no | disproved (Lean) | yes | add | possible | number theory | |
| 538 | no | open | yes | view | N/A | number theory | |
| 539 | no | open | yes | view | possible | number theory, additive combinatorics | |
| 540 | no | proved (Lean) | yes | add | A034463 | number theory | |
| 541 | no | proved (Lean) | yes | add | N/A | number theory | |
| 542 | no | solved | yes | add | N/A | number theory | |
| 543 | no | disproved | no | add | possible | number theory, group theory | |
| 544 | no | open | yes | view | A000791 | graph theory, ramsey theory | |
| 545 | no | open | yes | view | A059442, possible | graph theory, ramsey theory | |
| 546 | no | proved | yes | add | possible | graph theory, ramsey theory | |
| 547 | no | proved | yes | add | N/A | graph theory, ramsey theory | |
| 548 | no | proved (Lean) | yes | add | N/A | graph theory | |
| 549 | no | disproved | yes | add | N/A | graph theory, ramsey theory | |
| 550 | no | open (Lean) | yes | view | N/A | graph theory, ramsey theory | |
| 551 | no | decidable | yes | add | N/A | graph theory, ramsey theory | |
| 552 | $100 | open | yes | view | A006672 | graph theory, ramsey theory | |
| 553 | no | proved | no | add | A000791, possible | graph theory, ramsey theory | |
| 554 | no | open | yes | view | possible | graph theory, ramsey theory | |
| 555 | no | open | yes | view | A389313, possible | graph theory, ramsey theory | |
| 556 | no | decidable | yes | add | A389335 | graph theory, ramsey theory | |
| 557 | no | proved (Lean) | yes | add | N/A | graph theory, ramsey theory | |
| 558 | no | open | no | view | possible | graph theory, ramsey theory | |
| 559 | no | disproved | yes | add | possible | graph theory, ramsey theory | |
| 560 | no | open | yes | view | possible | graph theory, ramsey theory | |
| 561 | no | open | yes | view | N/A | graph theory, ramsey theory | |
| 562 | no | open | yes | view | possible | graph theory, ramsey theory, hypergraphs | |
| 563 | no | open | yes | view | N/A | graph theory, ramsey theory, hypergraphs | |
| 564 | $500 | open | yes | view | possible | graph theory, ramsey theory, hypergraphs | |
| 565 | no | proved | no | add | possible | graph theory, ramsey theory | |
| 566 | no | open | yes | view | N/A | graph theory, ramsey theory | |
| 567 | no | open | yes | view | N/A | graph theory, ramsey theory | |
| 568 | no | open | yes | view | N/A | graph theory, ramsey theory | |
| 569 | no | open | yes | view | N/A | graph theory, ramsey theory | |
| 570 | no | proved | yes | add | N/A | graph theory, ramsey theory | |
| 571 | no | proved (Lean) | yes | add | N/A | graph theory, turan number | |
| 572 | no | open | yes | view | possible | graph theory, turan number, cycles | |
| 573 | no | open | yes | view | A006856 | graph theory, turan number | |
| 574 | no | disproved | no | add | possible | graph theory, turan number | |
| 575 | no | disproved | no | add | N/A | graph theory, turan number | |
| 576 | no | open | no | view | possible | graph theory, turan number | |
| 577 | no | proved | yes | add | N/A | graph theory | |
| 578 | no | proved | yes | add | N/A | graph theory | |
| 579 | no | open | yes | view | N/A | graph theory, turan number | |
| 580 | no | decidable | no | add | N/A | graph theory | |
| 581 | no | solved | yes | add | possible | graph theory | |
| 582 | $100 | proved (Lean) | yes | add | N/A | graph theory, ramsey theory | |
| 583 | no | falsifiable | yes | view | N/A | graph theory | |
| 584 | no | open | no | view | N/A | graph theory, cycles | |
| 585 | no | open | no | view | possible | graph theory, cycles | |
| 586 | no | disproved | yes | add | N/A | number theory, covering systems | |
| 587 | no | solved | yes | add | A372040 | number theory | |
| 588 | $100 | open | yes | view | A006065, A008997 | geometry | |
| 589 | no | open | no | view | possible | geometry | |
| 590 | $250 | proved (Lean) | yes | add | N/A | set theory, ramsey theory | |
| 591 | $250 | proved | yes | add | N/A | set theory, ramsey theory | |
| 592 | $1000 | open | yes | view | N/A | set theory, ramsey theory | |
| 593 | $500 | open | yes | view | N/A | set theory, graph theory, hypergraphs, chromatic number | |
| 594 | no | proved (Lean) | yes | add | N/A | graph theory, set theory | |
| 595 | $250 | open | yes | view | N/A | graph theory, set theory | |
| 596 | no | open | yes | view | N/A | graph theory, ramsey theory, set theory | |
| 597 | no | open | yes | view | N/A | graph theory, ramsey theory, set theory | |
| 598 | no | open | yes | view | N/A | set theory, ramsey theory | |
| 599 | no | proved | yes | add | N/A | graph theory, set theory | Erdős-Menger conjecture |
| 600 | no | open | yes | view | possible | graph theory | |
| 601 | $500 | open | yes | view | N/A | graph theory, set theory | |
| 602 | no | open | yes | view | N/A | combinatorics, set theory | Property B |
| 603 | no | solved | yes | add | N/A | combinatorics, set theory | |
| 604 | $500 | open | yes | view | possible | geometry, distances | pinned distance problem |
| 605 | no | proved | no | add | possible | geometry, distances | |
| 606 | no | solved | no | add | N/A | geometry | |
| 607 | $250 | proved | no | add | possible | geometry | |
| 608 | no | disproved (Lean) | no | add | N/A | graph theory | |
| 609 | no | open | yes | view | possible | graph theory, ramsey theory | |
| 610 | no | proved (Lean) | no | add | possible | graph theory | |
| 611 | no | open | yes | view | N/A | graph theory | |
| 612 | no | open | no | view | N/A | graph theory | |
| 613 | no | disproved (Lean) | yes | add | N/A | graph theory, ramsey | |
| 614 | no | open | yes | view | possible | graph theory | |
| 615 | no | disproved (Lean) | yes | add | possible | graph theory, ramsey theory | |
| 616 | no | open | yes | view | N/A | graph theory | |
| 617 | no | falsifiable | yes | view | N/A | graph theory | |
| 618 | no | proved (Lean) | yes | add | N/A | graph theory | |
| 619 | no | solved (Lean) | yes | add | N/A | graph theory | |
| 620 | no | open | no | view | possible | graph theory | Erdős-Rogers problem |
| 621 | no | proved (Lean) | yes | add | N/A | graph theory | |
| 622 | no | proved | no | add | possible | graph theory | |
| 623 | no | open | yes | view | N/A | set theory | |
| 624 | no | open | yes | view | possible | combinatorics | |
| 625 | $1000 | solved | no | add | N/A | graph theory, chromatic number | |
| 626 | no | open | yes | view | possible | graph theory, chromatic number, cycles | |
| 627 | no | open | yes | view | possible | graph theory, chromatic number | |
| 628 | no | falsifiable | yes | view | N/A | graph theory, chromatic number | Erdős-Lovász Tihany Conjecture |
| 629 | no | open | yes | view | possible | graph theory, chromatic number | |
| 630 | no | proved (Lean) | no | add | N/A | graph theory, chromatic number | |
| 631 | no | proved | no | add | N/A | graph theory, chromatic number | |
| 632 | no | disproved | no | add | N/A | graph theory, chromatic number | |
| 633 | $25 | solved | yes | add | N/A | geometry | |
| 634 | $25 | open | no | view | A005792, possible | geometry | |
| 635 | no | open | no | view | N/A | number theory | |
| 636 | no | proved | yes | add | N/A | graph theory, ramsey theory | |
| 637 | no | proved | no | add | N/A | graph theory, ramsey theory | |
| 638 | no | open | no | view | N/A | graph theory, ramsey theory | |
| 639 | no | proved (Lean) | yes | add | N/A | graph theory, ramsey theory | |
| 640 | no | open | yes | view | N/A | graph theory, chromatic number | |
| 641 | no | disproved | yes | add | N/A | graph theory | |
| 642 | no | open | yes | view | possible | graph theory, cycles | |
| 643 | no | open | yes | view | possible | graph theory, hypergraphs | |
| 644 | no | open | yes | view | possible | combinatorics | |
| 645 | no | proved (Lean) | yes | add | N/A | number theory, additive combinatorics, ramsey theory, arithmetic progressions | |
| 646 | no | proved (Lean) | yes | add | N/A | number theory, factorials | |
| 647 | £25 | verifiable | yes | view | A062249, A087280 | number theory | |
| 648 | no | solved (Lean) | yes | add | A391750 | number theory | |
| 649 | no | disproved (Lean) | yes | add | possible | number theory | |
| 650 | no | solved (Lean) | yes | add | A027434 | number theory | |
| 651 | no | disproved (Lean) | no | add | possible | geometry, convex | |
| 652 | no | proved | yes | add | N/A | geometry, distances | |
| 653 | no | open | yes | view | possible | geometry, distances | |
| 654 | no | open | yes | view | possible | geometry, distances | |
| 655 | no | open | yes | view | possible | geometry, distances | ambiguous statement |
| 656 | no | proved | yes | add | N/A | number theory, additive combinatorics | |
| 657 | no | open | yes | view | possible | geometry, distances | |
| 658 | no | proved (Lean) | yes | add | possible | additive combinatorics | |
| 659 | no | proved (Lean) | yes | add | possible | geometry, distances | |
| 660 | no | open | yes | view | possible | geometry, distances, convex | ambiguous statement |
| 661 | $50 | open | yes | view | A186704, possible | geometry, distances | |
| 662 | no | open | no | view | N/A | geometry, distances | ambiguous statement |
| 663 | no | open | yes | view | A391668 | number theory | |
| 664 | no | disproved | yes | add | N/A | combinatorics | |
| 665 | no | open | yes | view | N/A | combinatorics | |
| 666 | no | disproved (Lean) | yes | add | possible | graph theory | |
| 667 | no | open | yes | view | N/A | graph theory, ramsey theory | |
| 668 | no | open | yes | view | A385657 | geometry, distances | |
| 669 | no | open | yes | view | A003035, A006065, A008997, possible | geometry | orchard problems |
| 670 | no | open | yes | view | N/A | geometry, distances | |
| 671 | $250 | open | no | view | N/A | analysis | |
| 672 | no | verifiable | yes | view | N/A | number theory | |
| 673 | no | proved | yes | add | N/A | number theory, divisors | |
| 674 | no | proved (Lean) | yes | add | N/A | number theory | |
| 675 | no | open | yes | view | N/A | number theory | |
| 676 | no | open | yes | view | A390181, in progress | number theory | |
| 677 | no | open | yes | view | possible | number theory | |
| 678 | no | proved (Lean) | yes | add | possible | number theory | |
| 679 | no | open | yes | view | N/A | number theory | |
| 680 | no | open | yes | view | N/A | number theory, primes | |
| 681 | no | open | yes | view | A389680 | number theory, primes | |
| 682 | no | proved | yes | add | A386978 | number theory, primes | |
| 683 | no | open | yes | view | A006530, A074399, A121359, possible | number theory, primes, binomial coefficients | |
| 684 | no | open | yes | view | A392019, possible | number theory, primes, binomial coefficients | |
| 685 | no | open | yes | view | N/A | number theory, primes, binomial coefficients | |
| 686 | no | open | yes | view | N/A | number theory | |
| 687 | $1000 | open | yes | view | A048670, A058989 | number theory | |
| 688 | no | open | yes | view | N/A | number theory | |
| 689 | no | open | yes | view | N/A | number theory | |
| 690 | no | solved | yes | add | possible | number theory | |
| 691 | no | open | yes | view | N/A | number theory | |
| 692 | no | disproved (Lean) | yes | add | N/A | number theory, divisors | |
| 693 | no | open | no | view | A391118, possible | number theory, divisors | |
| 694 | no | solved (Lean) | yes | add | A002181, A006511, A049283, A057635, possible | number theory | |
| 695 | no | open | yes | view | A061092 | number theory | |
| 696 | no | solved (Lean) | yes | add | A399769, A400930 | number theory, divisors | |
| 697 | no | proved | yes | add | N/A | number theory, divisors | |
| 698 | no | proved (Lean) | yes | add | A400908 | number theory, binomial coefficients | |
| 699 | no | falsifiable | yes | view | N/A | number theory, binomial coefficients | |
| 700 | no | open | yes | view | A091963, possible | number theory, binomial coefficients | |
| 701 | no | open | yes | view | N/A | combinatorics, intersecting family | |
| 702 | no | proved | yes | add | N/A | combinatorics | |
| 703 | $250 | proved (Lean) | yes | add | A390645 | combinatorics | |
| 704 | no | open | yes | view | N/A | graph theory, geometry, chromatic number | |
| 705 | no | disproved | yes | add | N/A | graph theory, chromatic number | |
| 706 | no | open | yes | view | possible | graph theory, chromatic number | |
| 707 | $1000 | disproved (Lean) | yes | add | N/A | additive combinatorics, sidon sets | |
| 708 | $100 | open | no | view | possible | number theory | |
| 709 | no | open | yes | view | possible | number theory | |
| 710 | ₹2000 | open | yes | view | A390246 | number theory | |
| 711 | ₹1000 | open | yes | view | A390246, possible | number theory | |
| 712 | $500 | open | yes | view | possible | graph theory, turan number, hypergraphs | |
| 713 | $500 | open | yes | view | N/A | graph theory, turan number | |
| 714 | no | open | yes | view | possible | graph theory, turan number | |
| 715 | no | proved | no | add | N/A | graph theory | |
| 716 | no | proved (Lean) | yes | add | possible | graph theory, hypergraphs | Ruzsa-Szemerédi problem |
| 717 | no | proved | yes | add | N/A | graph theory | |
| 718 | no | proved | no | add | N/A | graph theory | |
| 719 | no | open | yes | view | possible | graph theory, hypergraphs | |
| 720 | $100 | proved | yes | add | possible | graph theory, ramsey theory | |
| 721 | no | solved | yes | add | A171081 | number theory, additive combinatorics, ramsey theory | |
| 722 | no | proved | yes | add | N/A | combinatorics | |
| 723 | no | falsifiable | yes | view | N/A | combinatorics | |
| 724 | no | open | yes | view | A001438 | combinatorics | |
| 725 | no | open | yes | view | A001009 | combinatorics | |
| 726 | no | open | yes | view | N/A | number theory | |
| 727 | no | open | yes | view | A002503, A343507, A389396 | number theory, factorials | |
| 728 | no | proved (Lean) | yes | add | N/A | number theory, factorials | |
| 729 | no | proved (Lean) | yes | add | N/A | number theory, factorials | |
| 730 | no | solved | yes | add | A129515 | number theory, binomial coefficients, base representations | |
| 731 | no | open | yes | view | A006197 | number theory, binomial coefficients | |
| 732 | no | proved | yes | add | N/A | combinatorics | |
| 733 | no | proved | yes | add | possible | combinatorics, geometry | |
| 734 | no | open | yes | view | possible | combinatorics | |
| 735 | no | solved | no | add | N/A | geometry | |
| 736 | no | not provable | no | add | N/A | graph theory, chromatic number | |
| 737 | no | proved | yes | add | N/A | graph theory, chromatic number | |
| 738 | no | open | no | view | N/A | graph theory, chromatic number | |
| 739 | no | not provable | no | add | N/A | graph theory, chromatic number | |
| 740 | no | open | yes | view | N/A | graph theory, chromatic number | |
| 741 | no | solved (Lean) | yes | add | N/A | additive combinatorics | |
| 742 | no | decidable | yes | add | N/A | graph theory | |
| 743 | no | falsifiable | yes | view | N/A | graph theory | tree packing conjecture |
| 744 | no | disproved | no | add | possible | graph theory, chromatic number | |
| 745 | no | proved | yes | add | N/A | graph theory | |
| 746 | no | proved | no | add | N/A | graph theory | |
| 747 | no | solved | yes | add | N/A | combinatorics, hypergraphs | |
| 748 | no | proved | yes | add | A007865 | number theory | Cameron-Erdős conjecture |
| 749 | no | open | yes | view | N/A | additive combinatorics | |
| 750 | no | proved (Lean) | yes | add | N/A | graph theory, chromatic number | |
| 751 | no | disproved (Lean) | yes | add | N/A | graph theory, chromatic number | |
| 752 | no | proved | no | add | N/A | graph theory, cycles | |
| 753 | no | disproved (Lean) | yes | add | N/A | graph theory, chromatic number | |
| 754 | no | proved (Lean) | no | add | possible | geometry, distances | |
| 755 | no | proved (Lean) | yes | add | possible | geometry | |
| 756 | no | proved (Lean) | yes | add | possible | geometry, distances | |
| 757 | no | open | yes | view | possible | geometry, distances, sidon sets | |
| 758 | no | solved | no | add | possible | graph theory, chromatic number | |
| 759 | no | solved | no | add | possible | graph theory, chromatic number | |
| 760 | no | proved (Lean) | yes | add | N/A | graph theory, chromatic number | |
| 761 | no | open | yes | view | N/A | graph theory, chromatic number | |
| 762 | no | disproved (Lean) | yes | add | N/A | graph theory, chromatic number | |
| 763 | no | disproved | yes | add | N/A | number theory, additive combinatorics | |
| 764 | no | disproved | yes | add | N/A | number theory, additive combinatorics | |
| 765 | no | solved (Lean) | yes | add | A006855 | graph theory, turan number | |
| 766 | no | open | yes | view | possible | graph theory, turan number | |
| 767 | no | proved | yes | add | possible | graph theory, turan number | |
| 768 | no | open | no | view | A001034, A352287 | number theory | |
| 769 | no | open | yes | view | A014544, possible | number theory, geometry | |
| 770 | no | open | yes | view | A263647, possible | number theory | |
| 771 | no | proved | yes | add | possible | number theory | |
| 772 | no | proved | yes | add | possible | number theory, sidon sets, additive combinatorics | |
| 773 | no | open | yes | view | A390813 | number theory, sidon sets, squares | |
| 774 | no | open | yes | view | N/A | number theory | |
| 775 | no | disproved (Lean) | yes | add | possible | graph theory, hypergraphs | |
| 776 | no | open | no | view | possible | combinatorics | |
| 777 | no | solved | yes | add | N/A | graph theory, combinatorics | |
| 778 | no | open | no | view | N/A | graph theory | |
| 779 | no | falsifiable | yes | view | A005235 | number theory, primes | |
| 780 | no | proved | yes | add | N/A | combinatorics, hypergraphs, chromatic number | |
| 781 | no | disproved | yes | add | possible | additive combinatorics | |
| 782 | no | open | yes | view | N/A | number theory | |
| 783 | no | solved | no | add | N/A | number theory | |
| 784 | no | solved | no | add | N/A | number theory | |
| 785 | no | proved (Lean) | yes | add | N/A | additive combinatorics | exact additive complements |
| 786 | no | open | yes | view | A143301, possible | number theory | |
| 787 | no | open | yes | view | possible | additive combinatorics | |
| 788 | no | open | no | view | possible | additive combinatorics | |
| 789 | no | open | yes | view | possible | additive combinatorics | |
| 790 | no | open | no | view | possible | additive combinatorics | |
| 791 | no | open | no | view | A066063 | additive combinatorics | |
| 792 | no | open | no | view | possible | additive combinatorics | |
| 793 | no | proved (Lean) | yes | add | A399779 | number theory | |
| 794 | no | disproved (Lean) | yes | add | N/A | graph theory, hypergraphs, turan number | |
| 795 | no | proved | no | add | possible | number theory | |
| 796 | no | open | yes | view | possible | number theory | |
| 797 | no | proved | no | add | possible | graph theory, chromatic number | |
| 798 | no | proved (Lean) | yes | add | A116446 | geometry | |
| 799 | no | proved | no | add | N/A | graph theory, chromatic number | |
| 800 | no | proved | yes | add | N/A | graph theory, ramsey theory | |
| 801 | no | proved | yes | add | N/A | graph theory, ramsey theory | |
| 802 | no | open | yes | view | N/A | graph theory | |
| 803 | no | disproved (Lean) | yes | add | N/A | graph theory | |
| 804 | no | disproved | yes | add | possible | graph theory | |
| 805 | no | open | yes | view | possible | graph theory | |
| 806 | no | proved | yes | add | possible | additive combinatorics | |
| 807 | no | disproved | no | add | N/A | graph theory | |
| 808 | no | disproved | yes | add | N/A | additive combinatorics, graph theory | |
| 809 | no | open | no | view | possible | graph theory, ramsey theory | |
| 810 | no | open | yes | view | possible | graph theory, ramsey theory | |
| 811 | no | open | no | view | possible | graph theory, ramsey theory | |
| 812 | no | open | yes | view | A059442 | graph theory, ramsey theory | |
| 813 | no | open | yes | view | possible | graph theory | |
| 814 | no | proved | yes | add | possible | graph theory | |
| 815 | no | disproved | no | add | N/A | graph theory | |
| 816 | no | proved | yes | add | N/A | graph theory | |
| 817 | no | open | yes | view | possible | additive combinatorics | |
| 818 | no | proved (Lean) | yes | add | N/A | additive combinatorics | |
| 819 | no | open | yes | view | possible | additive combinatorics | |
| 820 | no | open | yes | view | A263647 | number theory | |
| 821 | no | open | yes | view | A014197 | number theory | |
| 822 | no | proved | yes | add | A121048, A155085 | number theory | |
| 823 | no | proved | yes | add | N/A | number theory | |
| 824 | no | open | yes | view | possible | number theory | |
| 825 | $25 | proved (Lean) | yes | add | A006037, A330244 | number theory, divisors, unit fractions | |
| 826 | no | open | yes | view | N/A | number theory | |
| 827 | no | open | yes | view | possible | geometry | |
| 828 | no | open | yes | view | N/A | number theory | |
| 829 | no | open | yes | view | A025455, A025468, possible | number theory | |
| 830 | no | open | yes | view | A259180 | number theory | |
| 831 | no | open | no | view | possible | geometry | |
| 832 | no | disproved | yes | add | possible | graph theory, hypergraphs, chromatic number | |
| 833 | no | proved | yes | add | possible | graph theory, hypergraphs, chromatic number | |
| 834 | no | solved | yes | add | N/A | graph theory, hypergraphs | |
| 835 | no | verifiable | yes | view | N/A | graph theory, hypergraphs | |
| 836 | no | open | yes | view | N/A | graph theory, hypergraphs, chromatic number | |
| 837 | no | open | yes | view | N/A | graph theory, hypergraphs | |
| 838 | no | open | yes | view | possible | geometry, convex | |
| 839 | no | open | yes | view | N/A | number theory | |
| 840 | no | open | yes | view | N/A | additive combinatorics, sidon sets | |
| 841 | no | solved | yes | add | A092487 | number theory | |
| 842 | no | proved | yes | add | N/A | graph theory, chromatic number | |
| 843 | no | proved | no | add | N/A | number theory | |
| 844 | no | proved (Lean) | yes | add | N/A | number theory, intersecting family | |
| 845 | no | disproved (Lean) | yes | add | N/A | number theory | |
| 846 | no | disproved (Lean) | yes | add | N/A | geometry | |
| 847 | no | disproved (Lean) | yes | add | N/A | additive combinatorics | |
| 848 | no | decidable | yes | add | N/A | number theory | |
| 849 | no | open | yes | view | A003016, A003015, A059233, A098565, A090162, A180058, A182237 | number theory, binomial coefficients | Singmaster's conjecture |
| 850 | no | open | yes | view | A343101 | number theory, primes | Erdős-Woods conjecture |
| 851 | no | proved | yes | add | N/A | number theory | |
| 852 | no | open | yes | view | A001223, A053597, A078515 | number theory, primes | |
| 853 | no | open | yes | view | A001223, A390769 | number theory, primes | |
| 854 | no | open | yes | view | A389839, A048670 | number theory | |
| 855 | no | open | yes | view | A023193 | number theory, primes | second Hardy-Littlewood conjecture |
| 856 | no | open | yes | view | possible | number theory | |
| 857 | no | open | yes | view | possible | combinatorics | weak sunflower problem |
| 858 | no | solved | yes | add | N/A | number theory, primitive sets | |
| 859 | no | open | yes | view | N/A | number theory, divisors | |
| 860 | no | open | yes | view | A048670, A058989 | number theory, primes | |
| 861 | no | solved | no | add | A143824, A227590, A003022, A143823 | number theory, sidon sets | |
| 862 | no | solved (Lean) | yes | add | A382395 | number theory, sidon sets | |
| 863 | no | proved | no | add | N/A | number theory, sidon sets, additive combinatorics | |
| 864 | no | open | yes | view | A389182 | number theory, sidon sets, additive combinatorics | |
| 865 | no | proved (Lean) | yes | add | possible | number theory, additive combinatorics | |
| 866 | no | open | no | view | possible | number theory, additive combinatorics | |
| 867 | no | disproved (Lean) | yes | add | possible | additive combinatorics | |
| 868 | no | solved (Lean) | yes | add | N/A | number theory, additive basis | |
| 869 | no | disproved | yes | add | N/A | number theory, additive basis | |
| 870 | no | open | no | view | N/A | number theory, additive basis | |
| 871 | no | disproved (Lean) | yes | add | N/A | number theory, additive basis | |
| 872 | no | open | yes | view | possible | number theory, primitive sets | |
| 873 | no | open | yes | view | N/A | number theory | |
| 874 | no | proved | no | add | possible | number theory, additive combinatorics | |
| 875 | no | open | yes | view | N/A | additive combinatorics | |
| 876 | no | open | yes | view | N/A | additive combinatorics | |
| 877 | no | proved | yes | add | A121269, possible | additive combinatorics | |
| 878 | no | open | yes | view | A339378, possible | number theory | |
| 879 | no | open | no | view | A186736 | number theory | |
| 880 | no | proved | no | add | N/A | number theory, additive basis | |
| 881 | no | open | yes | view | N/A | number theory, additive basis | |
| 882 | no | solved | yes | add | possible | number theory, primitive sets | |
| 883 | no | open | yes | view | N/A | number theory, graph theory | |
| 884 | no | disproved (Lean) | yes | add | N/A | number theory, divisors | |
| 885 | no | open | yes | view | N/A | number theory, divisors | |
| 886 | no | open | yes | view | N/A | number theory, divisors | |
| 887 | no | open | yes | view | N/A | number theory, divisors | |
| 888 | no | solved (Lean) | yes | add | A387584 | number theory, squares | |
| 889 | no | open | yes | view | A401013, A401014, possible | number theory | |
| 890 | no | open | yes | view | N/A | number theory, primes | |
| 891 | no | open | yes | view | N/A | number theory | |
| 892 | no | open | no | view | N/A | number theory, primitive sets | |
| 893 | no | open | yes | view | A046801, possible | number theory, divisors | |
| 894 | no | proved | yes | add | N/A | number theory, ramsey theory | |
| 895 | no | proved | yes | add | N/A | additive combinatorics, graph theory | |
| 896 | no | solved | no | add | A399711 | number theory | |
| 897 | no | disproved (Lean) | yes | add | N/A | number theory | |
| 898 | no | proved (Lean) | yes | add | N/A | geometry | Erdős-Mordell inequality |
| 899 | no | proved (Lean) | yes | add | N/A | additive combinatorics | |
| 900 | no | proved | yes | add | N/A | graph theory | |
| 901 | no | open | yes | view | A392185 | combinatorics, hypergraphs | |
| 902 | no | open | yes | view | A362137 | graph theory | |
| 903 | no | proved | yes | add | N/A | combinatorics | |
| 904 | no | proved (Lean) | yes | add | N/A | graph theory | |
| 905 | no | proved (Lean) | yes | add | N/A | graph theory | |
| 906 | no | open | yes | view | N/A | analysis, iterated functions | |
| 907 | no | proved (Lean) | yes | add | N/A | analysis | |
| 908 | no | proved | no | add | N/A | analysis | |
| 909 | no | proved | no | add | N/A | analysis, topology | |
| 910 | no | disproved | no | add | N/A | topology | |
| 911 | no | open | yes | view | N/A | graph theory, ramsey theory | |
| 912 | no | open | yes | view | A071626 | number theory, factorials | |
| 913 | no | open | yes | view | A359747 | number theory | |
| 914 | no | proved (Lean) | yes | add | N/A | graph theory | |
| 915 | no | solved | yes | add | N/A | graph theory | |
| 916 | no | proved | no | add | N/A | graph theory, cycles | |
| 917 | no | open | yes | view | N/A | graph theory, chromatic number | |
| 918 | no | open | yes | view | N/A | graph theory, chromatic number | |
| 919 | no | open | no | view | N/A | graph theory, chromatic number | |
| 920 | no | solved | yes | add | possible | graph theory, chromatic number | |
| 921 | no | proved | yes | add | possible | graph theory, chromatic number, cycles | |
| 922 | no | proved | yes | add | N/A | graph theory, chromatic number | |
| 923 | no | proved (Lean) | yes | add | N/A | graph theory, chromatic number | |
| 924 | no | proved | no | add | N/A | graph theory, ramsey theory | |
| 925 | no | disproved | no | add | possible | graph theory, ramsey theory | |
| 926 | no | proved | yes | add | possible | graph theory | |
| 927 | no | disproved (Lean) | yes | add | possible | graph theory | |
| 928 | no | open | no | view | A006530 | number theory | |
| 929 | no | open | yes | view | A058989, A048670, A049300, possible | number theory | |
| 930 | no | open | yes | view | N/A | number theory | |
| 931 | no | open | yes | view | N/A | number theory | |
| 932 | no | open | yes | view | A387864 | number theory | |
| 933 | no | open | yes | view | A401022 | number theory | |
| 934 | no | open | yes | view | possible | graph theory | |
| 935 | no | open | yes | view | A057521, A389244, possible | number theory, powerful | |
| 936 | no | open | yes | view | A146968, possible | number theory, powerful | |
| 937 | no | proved (Lean) | yes | add | possible | number theory, powerful | |
| 938 | no | open | yes | view | A001694, A076446, possible | number theory, powerful | |
| 939 | no | open | yes | view | A297867, A036966, possible | number theory, powerful | |
| 940 | no | open | yes | view | possible | number theory, powerful | |
| 941 | no | proved | no | add | A056828 | number theory, powerful | |
| 942 | no | open | yes | view | A119241, A119242 | number theory, powerful | |
| 943 | no | open | yes | view | A085252, A085253, A085255 | number theory, powerful | |
| 944 | no | open | yes | view | N/A | graph theory, chromatic number | |
| 945 | no | open | yes | view | possible, A048892 | number theory, divisors | |
| 946 | no | proved | yes | add | A005237, A284783 | number theory, divisors | |
| 947 | no | proved (Lean) | yes | add | N/A | number theory, covering systems | |
| 948 | no | solved | yes | add | N/A | number theory, ramsey theory | |
| 949 | no | open | yes | view | N/A | ramsey theory | |
| 950 | no | open | yes | view | N/A | number theory, primes | |
| 951 | no | open | yes | view | N/A | number theory | |
| 952 | no | open | yes | view | N/A | number theory | Gaussian moat problem |
| 953 | no | open | no | view | N/A | geometry, distances | |
| 954 | no | open | yes | view | A390642 | number theory | |
| 955 | no | open | yes | view | possible | number theory | |
| 956 | no | open | no | view | possible | geometry, distances, convex | |
| 957 | no | proved | yes | add | N/A | geometry, distances | |
| 958 | no | disproved (Lean) | yes | add | N/A | distances, geometry | |
| 959 | no | open | yes | view | N/A | geometry, distances | |
| 960 | no | disproved | no | add | possible | geometry | |
| 961 | no | open | yes | view | A213253 | number theory | |
| 962 | no | open | yes | view | A327909 | number theory | |
| 963 | no | open | no | view | possible | number theory | |
| 964 | no | proved (Lean) | yes | add | N/A | number theory, divisors | |
| 965 | no | disproved (Lean) | yes | add | N/A | ramsey theory | |
| 966 | no | proved (Lean) | yes | add | N/A | number theory, additive combinatorics, ramsey theory | |
| 967 | no | disproved (Lean) | yes | add | N/A | number theory, analysis | |
| 968 | no | open | yes | view | A387591 | number theory | |
| 969 | no | open | yes | view | A013928 | number theory | |
| 970 | no | open | yes | view | A048669 | number theory | Jacobsthal's function |
| 971 | no | open | yes | view | A226521 | number theory | |
| 972 | no | open | yes | view | N/A | number theory | |
| 973 | no | open (Lean) | yes | view | N/A | analysis | |
| 974 | no | proved (Lean) | yes | add | N/A | analysis | |
| 975 | no | open | yes | view | A147807, possible | number theory, divisors, polynomials | |
| 976 | no | open | yes | view | N/A | number theory | |
| 977 | no | proved | yes | add | A005420, A002583 | number theory | |
| 978 | no | open | yes | view | possible | number theory | |
| 979 | no | open | yes | view | A385316, possible | number theory | |
| 980 | no | proved | yes | add | A053760, A098990, possible | number theory | |
| 981 | no | proved | yes | add | N/A | number theory | |
| 982 | no | falsifiable | yes | view | A004526 | geometry, convex, distances | |
| 983 | no | open | yes | view | possible | number theory | |
| 984 | no | proved | no | add | N/A | arithmetic progressions, additive combinatorics | |
| 985 | no | open | yes | view | A002233, A219429, A103309, possible | number theory | |
| 986 | no | proved | yes | add | A000791, A059442 | graph theory, ramsey theory | |
| 987 | no | proved (Lean) | yes | add | N/A | analysis, discrepancy | |
| 988 | no | solved | no | add | possible | discrepancy | |
| 989 | no | solved | no | add | possible | discrepancy | |
| 990 | no | disproved (Lean) | yes | add | N/A | analysis | |
| 991 | no | proved | no | add | N/A | discrepancy | |
| 992 | no | disproved | no | add | N/A | discrepancy | |
| 993 | no | falsifiable | no | view | A000055, possible | graph theory | |
| 994 | no | disproved (Lean) | yes | add | N/A | analysis, discrepancy | |
| 995 | no | open | yes | view | N/A | analysis, discrepancy | |
| 996 | no | open | yes | view | N/A | analysis | |
| 997 | no | proved (Lean) | yes | add | N/A | analysis, discrepancy, primes | |
| 998 | no | proved | no | add | N/A | analysis, diophantine approximation | |
| 999 | no | proved | yes | add | N/A | number theory, diophantine approximation | Duffin-Schaeffer conjecture |
| 1000 | no | proved (Lean) | yes | add | N/A | number theory, diophantine approximation | |
| 1001 | no | solved | yes | add | N/A | number theory, diophantine approximation | |
| 1002 | no | open | yes | view | N/A | analysis, diophantine approximation | |
| 1003 | no | open | yes | view | A001274 | number theory | |
| 1004 | no | open | yes | view | A079008, possible | number theory | |
| 1005 | no | solved | yes | add | A386893 | number theory | |
| 1006 | no | disproved | no | add | N/A | graph theory, cycles | |
| 1007 | no | solved (Lean) | yes | add | N/A | graph theory | |
| 1008 | no | proved (Lean) | yes | add | N/A | graph theory, cycles | |
| 1009 | no | proved | yes | add | N/A | graph theory | |
| 1010 | no | proved | yes | add | N/A | graph theory | |
| 1011 | no | open | no | view | possible | graph theory | |
| 1012 | no | solved | no | add | ? | graph theory | |
| 1013 | no | open | yes | view | A292528 | graph theory, chromatic number | |
| 1014 | no | proved (Lean) | yes | add | possible | graph theory, ramsey theory | |
| 1015 | no | solved | no | add | possible | graph theory, ramsey theory | |
| 1016 | no | open | no | view | A105206 | graph theory, cycles | pancyclic graphs |
| 1017 | no | open | yes | view | possible | graph theory | |
| 1018 | no | solved (Lean) | no | add | N/A | graph theory, planar graphs | |
| 1019 | no | proved (Lean) | no | add | N/A | graph theory, planar graphs | |
| 1020 | no | falsifiable | yes | view | N/A | graph theory, hypergraphs | Erdős matching conjecture |
| 1021 | no | proved | yes | add | N/A | graph theory | |
| 1022 | no | proved (Lean) | yes | add | possible | combinatorics, hypergraphs | |
| 1023 | no | solved (Lean) | yes | add | A347025, possible | combinatorics | |
| 1024 | no | solved | yes | add | possible | graph theory, hypergraphs | |
| 1025 | no | solved (Lean) | yes | add | possible | combinatorics | |
| 1026 | no | solved (Lean) | yes | add | A391431, A391490 | combinatorics | |
| 1027 | no | proved | yes | add | N/A | combinatorics | |
| 1028 | no | solved (Lean) | yes | add | possible | graph theory, discrepancy | |
| 1029 | $100 | open | yes | view | A059442 | graph theory, ramsey theory | |
| 1030 | no | open | yes | view | A000791, A059442 | graph theory, ramsey theory | |
| 1031 | no | proved | no | add | possible | graph theory | |
| 1032 | no | open | yes | view | possible | graph theory, chromatic number | |
| 1033 | no | open | yes | view | possible | graph theory | |
| 1034 | no | disproved (Lean) | yes | add | possible | graph theory | |
| 1035 | no | open | yes | view | possible | graph theory | |
| 1036 | no | proved (Lean) | yes | add | possible | graph theory | |
| 1037 | no | disproved (Lean) | yes | add | N/A | graph theory | |
| 1038 | no | open | yes | view | N/A | analysis | |
| 1039 | no | open | no | view | N/A | analysis, polynomials | |
| 1040 | no | open | no | view | N/A | analysis | |
| 1041 | no | falsifiable | yes | view | N/A | analysis, polynomials | |
| 1042 | no | proved | no | add | N/A | analysis | |
| 1043 | no | disproved (Lean) | yes | add | N/A | analysis | |
| 1044 | no | solved (Lean) | yes | add | N/A | analysis | |
| 1045 | no | open | no | view | N/A | analysis | |
| 1046 | no | disproved | yes | add | N/A | analysis | |
| 1047 | no | disproved (Lean) | yes | add | N/A | analysis | |
| 1048 | no | disproved (Lean) | yes | add | N/A | analysis | |
| 1049 | no | open | yes | view | N/A | irrationality | |
| 1050 | no | proved (Lean) | yes | add | A331372 | irrationality | |
| 1051 | no | proved (Lean) | yes | add | N/A | irrationality | |
| 1052 | $10 | open | yes | view | A002827 | number theory | unitary perfect numbers |
| 1053 | no | open | yes | view | A007539 | number theory | multiply perfect numbers |
| 1054 | no | open | yes | view | A167485 | number theory, divisors | |
| 1055 | no | open | yes | view | A005113 | number theory, primes | |
| 1056 | no | open | yes | view | A060427 | number theory | |
| 1057 | no | open | yes | view | A006931 | number theory | Carmichael numbers |
| 1058 | no | proved | yes | add | N/A | number theory | |
| 1059 | no | open | yes | view | A064152 | number theory, primes | |
| 1060 | no | open | yes | view | A327153 | number theory | |
| 1061 | no | open | yes | view | A110177, possible | number theory | |
| 1062 | no | open | yes | view | A038372 | number theory | |
| 1063 | no | open | yes | view | A389360 | number theory | |
| 1064 | no | proved | yes | add | A051488, A051487 | number theory | |
| 1065 | no | open | yes | view | A074781, A339465 | number theory | |
| 1066 | no | open | yes | view | possible | graph theory, planar graphs | |
| 1067 | no | disproved (Lean) | yes | add | N/A | graph theory, set theory | |
| 1068 | no | open | yes | view | N/A | graph theory, set theory, chromatic number | |
| 1069 | no | solved | yes | add | possible | geometry | |
| 1070 | no | open | yes | view | possible | geometry | |
| 1071 | no | proved (Lean) | yes | add | N/A | geometry | |
| 1072 | no | open | yes | view | A073944, A072937, A154554 | number theory | |
| 1073 | no | open | yes | view | A256519 | number theory | |
| 1074 | no | open | yes | view | A063980, A064164 | number theory | |
| 1075 | no | open | yes | view | N/A | hypergraphs | |
| 1076 | no | proved | no | add | possible | hypergraphs | |
| 1077 | no | disproved (Lean) | yes | add | N/A | graph theory | |
| 1078 | no | proved | no | add | N/A | graph theory | |
| 1079 | no | solved | yes | add | N/A | graph theory, turan number | |
| 1080 | no | disproved (Lean) | yes | add | possible | graph theory | |
| 1081 | no | disproved | yes | add | A076871, A076872, possible | number theory, powerful | |
| 1082 | no | falsifiable | yes | view | possible | geometry, distances | |
| 1083 | no | open | yes | view | A186704, possible | geometry, distances | |
| 1084 | no | open | yes | view | A045945, A047932, possible | geometry, distances | contact number problem |
| 1085 | no | open | yes | view | A186705, possible | geometry, distances | |
| 1086 | no | open | yes | view | possible | geometry, distances | |
| 1087 | no | open | yes | view | possible | geometry, distances | |
| 1088 | no | open | yes | view | possible | geometry | |
| 1089 | no | solved | yes | add | possible | geometry, distances | |
| 1090 | no | proved (Lean) | yes | add | N/A | geometry, ramsey theory | |
| 1091 | no | solved | no | add | N/A | chromatic number, graph theory | |
| 1092 | no | disproved (Lean) | yes | add | N/A | chromatic number, graph theory | |
| 1093 | no | open | yes | view | N/A | number theory, binomial coefficients | |
| 1094 | no | open | yes | view | N/A | number theory, binomial coefficients | |
| 1095 | no | open | yes | view | A003458 | number theory, binomial coefficients | |
| 1096 | no | proved (Lean) | yes | add | N/A | number theory | |
| 1097 | no | open | yes | view | N/A | number theory, additive combinatorics | |
| 1098 | no | proved (Lean) | yes | add | N/A | group theory | |
| 1099 | no | proved | yes | add | N/A | number theory, divisors | |
| 1100 | no | open | no | view | A325864, possible | number theory, divisors | |
| 1101 | no | open | yes | view | N/A | number theory | |
| 1102 | no | solved (Lean) | yes | add | N/A | number theory | |
| 1103 | no | open | no | view | A392164 | number theory | |
| 1104 | no | open | yes | view | A292528 | graph theory, chromatic number | |
| 1105 | no | proved | yes | add | A399683, A399687 | graph theory, ramsey theory | |
| 1106 | no | open | yes | view | A194259, A194260 | number theory | |
| 1107 | no | open | yes | view | A056828, A392342, A392343, possible | number theory, powerful | |
| 1108 | no | open | yes | view | A051761, A115645, A025494 | number theory, factorials | |
| 1109 | no | open | yes | view | A392164, A392165 | number theory | |
| 1110 | no | open | yes | view | possible | number theory | |
| 1111 | no | open | yes | view | possible | graph theory | |
| 1112 | no | open (Lean) | no | view | N/A | additive combinatorics | |
| 1113 | no | open | yes | view | A076336 | number theory, covering systems | Sierpinski numbers |
| 1114 | no | proved | yes | add | N/A | analysis, polynomials | |
| 1115 | no | solved | no | add | N/A | analysis | |
| 1116 | no | solved | yes | add | N/A | analysis | |
| 1117 | no | open | no | view | N/A | analysis | |
| 1118 | no | solved | no | add | N/A | analysis | |
| 1119 | no | independent | yes | view | N/A | analysis, set theory | |
| 1120 | no | open | no | view | N/A | analysis | |
| 1121 | no | proved (Lean) | yes | add | N/A | geometry | |
| 1122 | no | open | yes | view | N/A | number theory | |
| 1123 | $100 | independent | no | view | N/A | algebra | |
| 1124 | no | proved | no | add | N/A | geometry | |
| 1125 | no | proved (Lean) | yes | add | N/A | analysis | |
| 1126 | no | proved (Lean) | yes | add | N/A | analysis | |
| 1127 | no | independent | no | view | N/A | geometry, distances, set theory | |
| 1128 | $50 | disproved (Lean) | yes | add | N/A | set theory, ramsey theory, hypergraphs | |
| 1129 | no | proved (Lean) | no | add | N/A | analysis, polynomials | |
| 1130 | no | proved | no | add | N/A | analysis, polynomials | |
| 1131 | no | open | no | view | N/A | analysis, polynomials | |
| 1132 | no | open | no | view | N/A | analysis, polynomials | |
| 1133 | no | open | yes | view | N/A | analysis, polynomials | |
| 1134 | £10 | disproved (Lean) | yes | add | A185661 | number theory | |
| 1135 | $500 | open | yes | view | A006370, A008908 | number theory, iterated functions | Collatz conjecture |
| 1136 | no | proved (Lean) | yes | add | N/A | number theory | |
| 1137 | no | open | yes | view | A083550, A005250 | number theory, primes | |
| 1138 | no | disproved (Lean) | yes | add | possible | number theory, primes | |
| 1139 | no | open | yes | view | A037143, A101041 | number theory, primes | |
| 1140 | no | disproved | yes | add | A240842, possible | number theory | |
| 1141 | no | disproved (Lean) | yes | add | A214583 | number theory, primes | |
| 1142 | no | open | yes | view | A039669 | number theory, primes | |
| 1143 | no | open | no | view | N/A | number theory, primes | |
| 1144 | no | open | no | view | N/A | number theory, probability | |
| 1145 | no | open | yes | view | N/A | additive combinatorics, additive basis | |
| 1146 | no | open | yes | view | possible | number theory | |
| 1147 | no | disproved (Lean) | yes | add | N/A | irrational, additive basis | |
| 1148 | no | proved (Lean) | yes | add | A390380, A393168 | number theory | |
| 1149 | no | proved | yes | add | N/A | number theory | |
| 1150 | no | open | yes | view | N/A | analysis, polynomials | |
| 1151 | no | open | no | view | N/A | analysis, polynomials | |
| 1152 | no | open | no | view | N/A | analysis, polynomials | |
| 1153 | no | proved | no | add | N/A | analysis, polynomials | |
| 1154 | no | not disprovable | yes | add | N/A | analysis | |
| 1155 | no | open | no | view | N/A | graph theory | |
| 1156 | no | open | no | view | N/A | graph theory, chromatic number | |
| 1157 | no | open | yes | view | possible | hypergraphs, turan number | |
| 1158 | no | open | yes | view | possible | hypergraphs, turan number | |
| 1159 | no | open | yes | view | N/A | combinatorics | |
| 1160 | no | open | no | view | A000001 | group theory | |
| 1161 | no | solved | yes | add | A057731, possible | group theory | |
| 1162 | no | open | yes | view | A005432, possible | group theory | |
| 1163 | no | open | no | view | N/A | group theory | ambiguous statement |
| 1164 | no | proved | no | add | N/A | probability | |
| 1165 | no | solved | no | add | N/A | probability | |
| 1166 | no | proved | no | add | possible | probability | |
| 1167 | no | open | yes | view | N/A | set theory, ramsey theory | |
| 1168 | no | open | yes | view | N/A | set theory, ramsey theory | |
| 1169 | no | not disprovable | yes | add | N/A | set theory, ramsey theory | |
| 1170 | no | open | no | view | N/A | set theory, ramsey theory | |
| 1171 | no | not disprovable | yes | add | N/A | set theory, ramsey theory | |
| 1172 | no | open | no | view | N/A | set theory, ramsey theory | |
| 1173 | no | open | yes | view | N/A | set theory, combinatorics | |
| 1174 | no | not disprovable | yes | add | N/A | set theory, ramsey theory | |
| 1175 | no | open | yes | view | N/A | set theory, chromatic number | |
| 1176 | no | not disprovable | yes | add | N/A | set theory, ramsey theory | |
| 1177 | no | open | yes | view | N/A | set theory, chromatic number, hypergraphs | |
| 1178 | no | open | yes | view | N/A | graph theory, hypergraphs | |
| 1179 | no | proved | yes | add | N/A | additive combinatorics, probability | |
| 1180 | no | proved | yes | add | N/A | number theory | |
| 1181 | no | open | no | view | A053669, A053670, A053671, A053672, A053673, A053674, possible | number theory | |
| 1182 | no | open | no | view | possible | graph theory, ramsey theory | |
| 1183 | no | open | yes | view | possible | combinatorics, ramsey theory | |
| 1184 | no | open | no | view | possible | number theory, primes | |
| 1185 | no | solved | yes | add | N/A | additive combinatorics, arithmetic progressions | |
| 1186 | no | open | yes | view | A121385, possible | additive combinatorics, arithmetic progressions | |
| 1187 | no | solved | yes | add | N/A | number theory, primes, additive combinatorics, arithmetic progressions | |
| 1188 | no | open | yes | view | possible | number theory, covering systems | |
| 1189 | no | open | yes | view | possible | number theory, covering systems | |
| 1190 | no | solved (Lean) | yes | add | possible | number theory, covering systems | |
| 1191 | $1000 | open | yes | view | possible | additive combinatorics, sidon sets | |
| 1192 | no | open | yes | view | possible | additive combinatorics, additive basis | |
| 1193 | no | solved (Lean) | yes | add | N/A | additive combinatorics | |
| 1194 | no | open | yes | view | possible | additive combinatorics, additive basis, sidon sets | |
| 1195 | no | solved | yes | add | possible | number theory, analysis | |
| 1196 | no | proved (Lean) | yes | add | possible | number theory, primitive sets | |
| 1197 | no | disproved (Lean) | yes | add | N/A | analysis | |
| 1198 | no | disproved | yes | add | N/A | additive combinatorics, ramsey theory | |
| 1199 | no | open | yes | view | possible | additive combinatorics, ramsey theory | |
| 1200 | no | open | no | view | possible | number theory, primes | |
| 1201 | no | open | yes | view | possible | number theory, primes | |
| 1202 | no | solved | yes | add | possible | number theory, primes | |
| 1203 | no | open | yes | view | possible | number theory | |
| 1204 | no | open | yes | view | A008407, A023193, A135311, possible | number theory | |
| 1205 | no | solved | yes | add | possible | number theory | |
| 1206 | no | open | yes | view | possible | number theory, sidon sets | |
| 1207 | no | open | yes | view | possible | geometry, distances | |
| 1208 | no | open | no | view | A193838, A271490, possible | geometry, distances | |
| 1209 | no | open | yes | view | possible | number theory | |
| 1210 | no | open | yes | view | possible | number theory | |
| 1211 | no | solved | yes | add | possible | number theory, ramsey theory | |
| 1212 | no | open | yes | view | possible | number theory, primes | |
| 1213 | no | proved | yes | add | possible | additive combinatorics | |
| 1214 | no | proved | yes | add | N/A | number theory | |
| 1215 | no | disproved | no | add | N/A | analysis | |
| 1216 | no | disproved | no | add | A122027, A122026 | graph theory, ramsey theory | |
| 1217 | no | proved | yes | add | N/A | number theory, divisors, primitive sets | |
| 1218 | no | open | no | view | N/A | ramsey theory, set theory | |
| 1219 | no | proved | yes | add | N/A | ramsey theory, set theory | |
| 1220 | no | open | no | view | N/A | ramsey theory, set theory | |
| 1221 | no | open | no | view | N/A | analysis, distribution | ambiguous statement |
Related repositories
openclaw/openclaw
The AI that really does things. Any OS. Any Platform. The lobster way. 🦞
★ 393.5k
mattpocock/skills
Skills For Real Engineers packages Matt Pocock's own agent workflow into roughly 25 slash-command skills covering requirements-gathering, TDD, debugging, and codebase-architecture review. Install the managed Claude Code plugin to track his updates automatically, or pull editable files via skills.sh and fork them. It doesn't automate development for you — it disciplines the AI coding agent you already run.
★ 322.1k
affaan-m/ECC
ECC is an MIT-licensed system from affaan-m/ECC that installs into AI coding agent harnesses such as Claude Code, Codex, and several others, adding skills, specialized agents, persistent memory, and AgentShield security scanning around whatever large language model the harness already runs. The README positions it as developer productivity tooling for LLM agent development and agent performance tuning rather than a code generation tool itself, composing around whichever model the harness already calls.
★ 296.6k
affaan-m/everything-claude-code
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
★ 293.5k
FREQUENTLY ASKED
Quick answers
How active is development on teorth/erdosproblems?
The most recent commit recorded on teorth/erdosproblems was 13 days ago, based on the GitHub push timestamp. The repository has 129 forks — one of the better signals of community interest.
How does teorth/erdosproblems compare to other Developer Tools projects?
teorth/erdosproblems is tracked by TopGit in the Developer Tools category, with 878 GitHub stars and written in Python. Browse the Developer Tools topic page on TopGit to compare it against similar projects by stars and activity.
How many stars does teorth/erdosproblems have?
teorth/erdosproblems has 878 GitHub stars — refresh the page for the live number, or check github.com/teorth/erdosproblems. TopGit mirrors GitHub's count but does not claim minute-by-minute accuracy.
Is teorth/erdosproblems open source?
Yes — teorth/erdosproblems ships under the Apache-2.0 license, which makes its source code freely readable (and, depending on license terms, forkable and reusable). Source: github.com/teorth/erdosproblems.
What is teorth/erdosproblems?
teorth/erdosproblems (teorth/erdosproblems) is a Python project on GitHub. From the project's own README: A community database for the problems on the erdosproblems.com site
Where do I read more about teorth/erdosproblems?
This TopGit page is a snapshot — the READ ME tab shows the project's own README content (links stripped, images preserved). The GitHub repository at github.com/teorth/erdosproblems is the definitive source.
Read full README in the tab above.
Still deciding about erdosproblems?
One click hands the question to an AI along with this page — see what it says about erdosproblems.