SNAPSHOT GITHUB
teorth/erdosproblems
T
Sao
★ 878
Fork
⑂ 129
Ngôn ngữ
Python
Chủ đề
Developer Tools
License
Apache-2.0
Cập nhật
13d ago
Cộng tác viên
—
Trang chủ
—
ĐÁNH GIÁ NHANH
teorth/erdosproblems là dự án Python với 878 sao trong nhóm Developer Tools. A community database for the problems on the erdosproblems.com site
Tóm tắt dựng từ metadata GitHub của chính dự án — chưa có bài review TopGit. Trang sẽ tự động cập nhật khi bài review đầy đủ được xuất bản.
VÌ SAO CHƯA CÓ REVIEW
TopGit viết bài đầy đủ cho repo có nhiều sao nhất và được yêu cầu nhiều nhất. Trang này là snapshot trong thời gian chờ — xem README gốc ở tab READ ME.
Snapshot
Stars★ 878
Forks⑂ 129
LanguagePython
TopicDeveloper Tools
LicenseApache-2.0
Homepage—
Cộng tác viên hàng đầu
Xem cộng tác viên hàng đầu
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 |
Repo liên quan
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.
★ 321.0k
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
CÂU HỎI THƯỜNG GẶP
Trả lời nhanh
Đọc thêm về teorth/erdosproblems ở đâu?
Trang TopGit này là một snapshot — tab "Readme" hiển thị nguyên văn README của repo (đã bỏ link, giữ ảnh). Repo GitHub ở github.com/teorth/erdosproblems là nguồn chính thức.
teorth/erdosproblems có bao nhiêu sao?
teorth/erdosproblems có 878 sao GitHub — tải lại trang để xem số mới nhất, hoặc xem trực tiếp github.com/teorth/erdosproblems. TopGit phản chiếu số sao của GitHub nhưng không cam kết đến từng phút.
teorth/erdosproblems có phải mã nguồn mở không?
Có — teorth/erdosproblems phát hành theo license Apache-2.0, nghĩa là mã nguồn mở để đọc, fork và (tùy license) tái sử dụng. Mã: github.com/teorth/erdosproblems.
teorth/erdosproblems còn đang phát triển không?
Commit gần nhất trên teorth/erdosproblems là 12 ngày trước (theo timestamp GitHub). Repo có 129 fork — một chỉ báo về mức độ quan tâm của cộng đồng.
teorth/erdosproblems là gì?
teorth/erdosproblems (teorth/erdosproblems) là dự án Python trên GitHub. Theo mô tả gốc: A community database for the problems on the erdosproblems.com site
teorth/erdosproblems so với các dự án Developer Tools khác thế nào?
teorth/erdosproblems được TopGit xếp vào nhóm Developer Tools, với 878 sao GitHub và viết bằng Python. Xem trang chủ đề Developer Tools trên TopGit để so sánh với các dự án tương tự theo số sao và mức độ hoạt động.
Đọc đầy đủ README ở tab phía trên.
Vẫn đang phân vân về erdosproblems?
Một cú bấm sẽ gửi câu hỏi kèm trang này cho AI — xem AI nói gì về erdosproblems.