-
Notifications
You must be signed in to change notification settings - Fork 86
Closed
Labels
Milestone
Description
Tracking all problems from https://www.erdosproblems.com/, which still need work to formalize them.
Here "🤔" marks open problems and "💡 marks solved problems. We remove the problems from this list when they are formalized and no TODOs are left int the file.
- 💡 2
- 🤔 3 3.lean contains TODO, WIP: Erdős Problem 3: sum of reciprocals bounded -> must contain long arithmetic progressions. #187
- 🤔 5 Erdős Problem 5: limit points of $(p_{n+1} - p_n)/\log n$ #188 , WIP: Add Erdos 5 #238
- 💡 6
- 💡 7 up for grabs: Erdős Problem 7: covering system, all moduli odd? #189
- 💡 8
- 🤔 11 11.lean should contain TODO
- 🤔 12 12.lean, contains TODO, see Formalise Erdos Problem 12 #40
- 💡 13
- 🤔 14 up for grabs: Erdős Problem 14: Size of unique sum representations from a set A⊆N #194
- 🤔 15 up for grabs: Erdős Problem 15: Convergence of a sum involving prime reciprocals #195
- 💡 16
- 🤔 18 up for grabs: Erdős Problem 18: practical numbers #197
- 💡 19
- 🤔 20 up for grabs: Erdős Problem 20: uniform sets containing sunflowers #198
- 💡 21
- 💡 22
- 🤔 23 up for grabs: Erdős Problem 23: Make triangle graph bipartite #199
- 💡 24
- 🤔 25 up for grabs: Erdős Problem 25: logarithmic density for a sequence avoiding size-dependent congruences #200
- 💡 26
- 💡 27
- 🤔 28 28.lean contains TODO
- 💡 29
- 🤔 30 30.lean contains TODO
- 💡 31
- 🤔 32 up for grabs: Erdős Problem 32: additive complements to the primes #206
- 🤔 33 assigned: Erdős Problem 33 #207
- 💡 34
- 💡 35
- 🤔 36: Erdős Problem 36: the minimum overlap problem #208 WIP: Erdős 36: The minimal overlap problem #215
- 💡 37
- 🤔 38 up for grabs: Erdős Problem 38 #217
- 🤔 39 up for grabs: Erdős Problem 39: Infinite Sidon set with prescribed asymptotics. #218
- 🤔 40 WIP: Erdős Problem 40 #204, Erdős Problem 40 #587
- 🤔 41 assigned: Erdős Problem 41: asymptotics of infinite sets with distinct triple sums #219
- 🤔 42 up for grabs: Erdős Problem 42 #220
- 🤔 43 assigned: Erdős Problem 43 #221
- 💡 45
- 💡 46
- 💡 47
- 💡 49
- 🤔 50 up for grabs: Erdős Problem 50: Differentiability of the phi(n)/n distribution #270
- 🤔 51 up for grabs: Erdős Problem 51: Extremal property of Euler's totient #271
- 🤔 52 up for grabs: Erdős Problem: An Erdős-Szemerédi sum-product conjecture #272
- 💡 53
- 💡 54
- 💡 55
- 💡 56 56.lean contains TODO!
- 💡 57
- 💡 58
- 💡 59
- 🤔 60 up for grabs: Erdős Problem 60: copies of $C_4$ in graph with extremal number. #273
- 🤔 61 up for grabs: Erdős Problem 61: Erdős–Hajnal conjecture #274
- 🤔 62 up for grabs: Erdős Problem 62: uncountably infinite chromatic number yet no common infinite subgraphs? #275
- 💡 63
- 🤔 64 up for grabs: Erdős Problem 64: Cycles of length power-of-two in graphs with min degree >= 3. #276
- 🤔 65 up for grabs: Erdős Problem 65 #277
- 🤔 66 up for grabs: Erdős Problem 66: Dirichlet self-convolution is asymptotic to log n #278
- 💡 67
- 🤔 70 up for grabs: Erdős Problem 70 #303
- 💡 71
- 💡 72
- 💡 73
- 🤔 74 up for grabs: Erdős Problem 74 #304
- 🤔 75 up for grabs: Erdős Problem 75 #305
- 💡 76
- 🤔 77 up for grabs: Erdős Problem 77: Asymptotics of diagonal Ramsey number. #306
- 🤔 78 up for grabs: Erdős problem 78: Constructive proof for asymptotics of diagonal Ramsey number #308
- 💡 79
- 🤔 80 up for grabs: Erdős Problem 80 #309
- 🤔 81 up for grabs: Erdős Problem 81: Partition of chordal graphs into cliques. #310
- 🤔 82 up for grabs: Erdős Problem 82 #311
- 💡 83
- 🤔 84 up for grabs: Erdős Problem 84: asymptotics of number of cycle sets in graphs #318
- 🤔 85 up for grabs: Erdős Problem 85 #319
- 🤔 86 up for grabs: Erdős Problem 86: subgraphs of the hypercube containing $C_4$ #320
- 🤔 87 up for grabs: Erdős Problem 87 #321
- 💡 88
- 🤔 89 up for grabs: Erdős Problem 89: Set in R² with many distinct distances #322
- 🤔 90 up for grabs: Erdős Problem 90: Set in R² with few distance one pairs #323
- 🤔 91 up for grabs: Erdős Problems 91 #324
- 🤔 92 up for grabs: Erdős Problem 92 #325
- 💡 93
- 💡 94
- 💡 95
- 🤔 96 up for grabs: Erdős Problem 96 #326
- 🤔 97 up for grabs: Erdős Problem 97 #327
- 🤔 98 up for grabs: Erdős Problem 98 #328
- 🤔 99 up for grabs: Erdős problem 329: asymptotics of Sidon sets #224
- 🤔 100 Erdős Problem 100 #330 WIP: added Erdős Problem 100 #331
- 🤔 101 up for grabs: Erdős Problem 101 #332
- 🤔 102 up for grabs: Erdős Problem 102 #333
- 🤔 103 up for grabs: Erdős Problem 103: diameter minimising incongruent sets #334
- 🤔 104 up for grabs: Erdős Problem 104 #335
- 🤔 105 up for grabs: Erdős Problem 105 #336
- 🤔 106 up for grabs: Erdős Problem 106: pack squares inside square #337
- 🤔 107 up for grabs: Erdős Problem 107: minimal number of points containing an $n$-gon #338
- 🤔 108 Erdős Problem 108 #339, WIP: Erdos Problems 108 and 740! #454
- 💡 109
- 🤔 110 up for grabs: Erdős Problem 110 #340
- 🤔 111 up for grabs: Erdős Problem 111 #341
- 🤔 112 up for grabs: Erdős Problem 112 #357
- 💡 113
- 🤔 114 up for grabs: Erdős Problem 114: maximize length of curve of modulus one curve. #358
- 💡 115
- 💡 116
- 🤔 117 up for grabs: Erdős Problem 117: cover group with a minimal number of Abelian subgroups #359
- 💡 118
- 🤔 119 up for grabs: Erdős Problem 119 #360
- 🤔 120 up for grabs: Erdős Problem 120: The Erdős similarity problem #361
- 💡 121
- 🤔 122 up for grabs: Erdős Problem 122 #362
- 🤔 123 up for grabs: Erdős Problem 123 #363
- 🤔 124 up for grabs: Erdős Problem 124 #365
- 🤔 125 up for grabs: Erdős Problem 125 #366
- 💡 127
- 🤔 128 Erdős Problem 128: Graphs such that every large subgraph has enough edges contain a triangle #367, WIP: Erdős Problem 128 #432
- 🤔 129 up for grabs: Erdős Problem 129 #368
- 🤔 130 up for grabs: Erdős Problem 130 #369
- 🤔 131 up for grabs: Erdős Problem 131: Maximal sets with non-dividing property #370
- 🤔 132 up for grabs: Erdős Problem 132 #371
- 💡 133
- 💡 134
- 💡 135
- 💡 136
- 🤔 137 up for grabs: Erdős Problem 137 #372
- 🤔 138 up for grabs: Erdős Problem 138 #377
- 💡 139 139.lean contains TODO!
- 💡 140
- 🤔 142 up for grabs: Erdős Problem 142 #379
- 🤔 143 143.lean contains TODO!
- 💡 144
- 🤔 145 up for grabs: Erdős Problem 145 #381
- 🤔 146 up for grabs: Erdős Problem 146 #382
- 💡 147
- 🤔 148 up for grabs: Erdős Problem 148: number of ways of writing 1 as Egyptian fraction #383
- 🤔 149 up for grabs: Erdős Problem 149 #384
- 💡 150
- 🤔 151 up for grabs: Erdős Problem 151 #388
- 🤔 152 up for grabs: Erdős Problem 152 #389
- 🤔 153 up for grabs: Erdős Problem 153 #390
- 💡 154
- 🤔 155 up for grabs: Erdős Problem 155 #391
- 🤔 156 up for grabs: Erdős Problem 156: Maximal Sidon set of size $O(N^{1/3})$ #392
- 💡 157
- 🤔 158 up for grabs: Erdős Problem 158 #393
- 🤔 159 up for grabs: Erdős Problem 159 #394
- 🤔 160 WIP: Erdős Problem 160 #413
- 🤔 161 up for grabs: Erdős Problem 161 #396
- 🤔 162 up for grabs: Erdős Problem 162 #397
- 💡 163
- 💡 164
- 🤔 165 up for grabs: Erdős Problem 165: asymptotics of R(3,k) #398
- 💡 166
- 🤔 167 up for grabs: Erdős Problem 167 #399
- 🤔 169 up for grabs: Erdős Problem 169 #400
- 🤔 170 up for grabs: Erdős Problem 170: The Sparse Ruler problem #401
- 💡 171
- 🤔 172 up for grabs: Erdős Problem 172 #402
- 🤔 173 up for grabs: Erdős Problem 173 #403
- 🤔 174 up for grabs: Erdős Problem 174 #404
- 💡 175
- 🤔 176 up for grabs: Erdős Problem 176 #405
- 🤔 177 up for grabs: Erdős Problem 177 #406
- 💡 178
- 💡 179
- 🤔 180 up for grabs: Erdős Problem 180 #407
- 🤔 181 up for grabs: Erdős Problem 181 #408
- 💡 182
- 🤔 183 up for grabs: Erdős Problem 183 #409
- 🤔 184 up for grabs: Erdős Problem 184: decompose graph in linear number of cycles and edges #410
- 💡 185
- 💡 186
- 🤔 187 up for grabs: Erdős Problem 187 #411
- 🤔 188 up for grabs: Erdős Problem 188 #412
- 🤔 190 up for grabs: Erdős Problem 190 #414
- 💡 191
- 💡 192
- 🤔 193 up for grabs: Erdős Problem 193 #415
- 💡 194
- 🤔 195 up for grabs: Erdős Problem 195 #416
- 🤔 196 up for grabs: Erdős Problem 196 #417
- 🤔 197 up for grabs: Erdős Problem 197 #418
- 💡 199
- 🤔 201 up for grabs: Erdős Problem 201 #420
- 🤔 202 up for grabs: Erdős Problem 202 #421
- 🤔 203 203.lean contains TODO!
- 💡 204
- 🤔 205 up for grabs: Erdős Problem 205 #423
- 💡 206
- 💡 207
- 🤔 208 WIP: Formalise Erdos Problem 208 #51
- 💡 209
- 💡 210
- 💡 211
- 🤔 212 Erdős Problem 212: dense subset of R² with only rational distances #424, WIP: Erdős Problem 212 #452
- 🤔 213 up for grabs: Erdős Problem 213 #425
- 💡 214
- 💡 215
- 💡 216
- 🤔 217 up for grabs: Erdős Problem 217 #426
- 🤔 218 up for grabs: Erdős Problem 218 #427
- 💡 220
- 💡 221
- 🤔 222 up for grabs: Erdős Problem 222 #428
- 🤔 223 up for grabs: Erdős Problem 223 #429
- 💡 224
- 💡 225
- 💡 226
- 💡 227
- 💡 228 228.lean contains TODO!
- 💡 230
- 💡 231
- 💡 232
- 🤔 233 WIP: Erdős Problem 233 #435
- 🤔 234 up for grabs: Erdős Problem 234 #436
- 💡 235
- 🤔 236 236.lean should contain TODO Erdős Problem 236: Number of solutions of n=p+2^k #437
- 💡 237
- 🤔 238 up for grabs: Erdős Problem 238 #438
- 💡 239
- 💡 240
- 🤔 241 up for grabs: Erdős Problem 241 #439
- 💡 246
- 🤔 251 up for grabs: Erdős Problem 251 #442
- 🤔 252 up for grabs: Erdős Problem 252 #443
- Erdős Problem 253 #649
- 🤔 254 up for grabs: Erdős Problem 254 #444
- 💡 255
- 🤔 256 up for grabs: Erdős Problem 256 #445
- 🤔 259 259.lean
- 🤔 260 up for grabs: Erdős Problem 260 #457
- 🤔 261 up for grabs: Erdős Problem 261 #458
- 💡 262
- 🤔 263 up for grabs: Erdős Problem 263 #459
- 🤔 264 up for grabs: Erdős Problem 264 #460
- 🤔 265 up for grabs: Erdős Problem 265 #461
- 💡 266
- 💡 268
- 🤔 269 WIP: Erdős Problem 269 #462
- 💡 270
- 🤔 271 up for grabs: Erdős Problem 271 #463
- 🤔 272 up for grabs: Erdős Problem 272 #464
- 🤔 273 up for grabs: Erdős Problem 273: covering system with moduli p - 1 #465
- 🤔 274 WIP: Formalise Erdos Problem 274 #46
- 💡 275
- 🤔 276 up for grabs: Erdős Problem 276 #466
- 💡 277
- 🤔 278 up for grabs: Erdős Problem 278 #467
- 🤔 279 up for grabs: Erdős Problem 279 #468
- 💡 280 up for grabs: Erdős Problem 280 #469
- 🤔 281 up for grabs: Erdős Problem 281 #470
- 🤔 282 up for grabs: Erdős Problem 282 #471
- 🤔 283 up for grabs: Erdős Problem 283 #472
- 💡 284
- 💡 286
- 🤔 287 up for grabs: Erdős Problem 287 #473
- 🤔 288 up for grabs: Erdős Problem 288 #474
- 💡 290
- 🤔 291 up for grabs: Erdős Problem 291 #475
- 💡 292
- 🤔 293 up for grabs: Erdős Problem 293 #476
- 💡 294
- 💡 296
- 💡 297
- 💡 299 WIP: Formalise Erdos Problem 299 #50
- 💡 300
- 🤔 301 up for grabs: Erdős Problem 301 #477
- 🤔 302 up for grabs: Erdős Problem 302 #478
- 💡 305
- 🤔 306 WIP: Erdős Problem 306 #479
- 💡 308
- 💡 309
- 💡 310
- 🤔 311 up for grabs: Erdős Problem 311 #480
- 🤔 312 up for grabs: Erdős Problem 312 #481
- 🤔 313 WIP: Erdős Problem 313 #482
- 💡 314
- 💡 315
- 💡 316 316.lean
- 🤔 317 up for grabs: Erdős Problem 317 #483
- 🤔 318 up for grabs: Erdős Problem 318 #484
- 🤔 320 up for grabs: Erdős Problem 320 #485
- 🤔 321 up for grabs: Erdős Problem 321 #486
- 🤔 322 up for grabs: Erdős Problem 322 #487
- 🤔 323 up for grabs: Erdős Problem 323 #488
- 🤔 324 WIP: Erdős Problem 324 #489
- 🤔 327 up for grabs: Erdős Problem 327 #490
- 💡 328
- 🤔 330 up for grabs: Erdős Problem 330 #491
- 💡 331
- 🤔 332 up for grabs: Erdős Problem 332 #492
- 🤔 333 up for grabs: Erdős Problem 333 #493
- 🤔 334 up for grabs: Erdős Problem 334 #494
- 🤔 335 up for grabs: Erdős Problem 335 #495
- 🤔 336 up for grabs: Erdős Problem 336 #496
- 💡 337
- 🤔 338 up for grabs: Erdős Problem 338 #497
- 🤔 339 up for grabs: Erdős Problem 339 #498
- 🤔 340 up for grabs: Erdős Problem 340 #499
- 🤔 341 up for grabs: Erdős Problem 341 #500
- 🤔 342
- 💡 343
- 💡 344
- 🤔 345 up for grabs: Erdős Problem 345 #501
- 🤔 346 up for grabs: Erdős Problem 346 #502
- 🤔 349 up for grabs: Erdős Problem 349 #504
- 🤔 351 up for grabs: Erdős Problem 351 #505
- 🤔 352 352.lean should contain little TODO
- 💡 353
- 🤔 354 up for grabs: Erdős Problem 354 #507
- 🤔 355 up for grabs: Erdős Problem 355 #508
- 💡 356
- 🤔 357 up for grabs: Erdős Problem 357 #509
- 🤔 358 up for grabs: Erdős Problem 358 #510
- 🤔 359 up for grabs: Erdős Problem 359 #511
- 💡 360
- 🤔 361 up for grabs: Erdős Problem 361 #512
- 💡 362
- 💡 363
- 🤔 364 assigned: Erdős Problem 364: Triples of consecutive integers powerful? #373
- 🤔 365 up for grabs: Erdős Problem 365 #374
- 🤔 366 WIP: Erdős Problems 364 and 366 #513
- 🤔 367
- 🤔 368
- 🤔 369
- 🤔 371 WIP: Formalise Erdos Problem 371 #49
- 💡 372
- 🤔 374
- 🤔 375
- 🤔 378
- 🤔 379
- 🤔 380
- 💡 381
- 🤔 382
- 💡 384
- 🤔 385
- 🤔 386
- 🤔 387
- 🤔 388
- 🤔 390
- 💡 391
- 🤔 393
- 💡 394
- 💡 395
- 🤔 396
- 🤔 397
- 🤔 398
- 💡 399
- 🤔 400
- 🤔 401
- 💡 402 402.lean contains TODO!
- 💡 403
- 🤔 404
- 💡 405
- 💡 407
- 🤔 408
- 🤔 411
- 🤔 413
- 🤔 414
- 🤔 415
- 🤔 416 WIP: Formalise Erdos Problem 416 #43
- 🤔 417
- 💡 419
- 🤔 420
- 🤔 422
- 🤔 423
- 🤔 424
- 🤔 425
- 💡 426
- 🤔 428
- 💡 429
- 🤔 430
- 🤔 431
- 🤔 432
- 🤔 433
- 🤔 435
- 🤔 436
- 💡 437
- 💡 438
- 💡 439
- 🤔 440
- 💡 441
- 💡 443
- 💡 444
- 🤔 445
- 💡 446
- 💡 447
- 💡 448
- 💡 449
- 🤔 450
- 🤔 451
- 🤔 452
- 💡 453
- 🤔 454
- 🤔 455
- 🤔 456
- 🤔 458
- 💡 459
- 🤔 460
- 🤔 461
- 🤔 462
- 💡 464
- 💡 465
- 💡 466
- 🤔 467
- 🤔 468 up for grabs: Erdős problem 486: logarithmic density for a sequence avoiding size-dependent congruences #201
- 🤔 470
- 💡 471
- 🤔 472
- 💡 473
- 💡 474
- 🤔 475
- 💡 476
- 🤔 478
- 🤔 481
- 💡 482
- 🤔 483
- 💡 484
- 💡 485
- 🤔 486
- 💡 487
- 🤔 489
- 💡 490
- 💡 491
- 💡 492
- 💡 493
- 🤔 494
- 🤔 495
- 💡 496
- 💡 497
- 💡 498
- 🤔 500
- 🤔 501
- 💡 502
- 🤔 503
- 💡 504
- 💡 505
- 💡 506
- 🤔 507
- 🤔 508
- 🤔 510
- 🤔 511
- 💡 512
- 🤔 513
- 🤔 514
- 🤔 515
- 🤔 516
- 🤔 517
- 💡 518
- 💡 519
- 🤔 520
- 🤔 521
- 💡 522 WIP: Formalise Erdos Problem 522 #42
- 💡 523
- 🤔 524
- 💡 525
- 💡 526
- 🤔 527
- 🤔 528
- 🤔 529
- 🤔 530
- 🤔 531
- 💡 532
- 🤔 533
- 💡 534
- 🤔 535
- 🤔 536
- 💡 537
- 🤔 538
- 🤔 539
- 💡 540
- 💡 541 WIP: Erdos 541 #143
- 💡 542
- 🤔 543
- 🤔 544
- 🤔 545
- 💡 546
- 🤔 547
- 🤔 548
- 💡 549
- 🤔 550
- 💡 551
- 🤔 552
- 💡 553
- 🤔 554
- 🤔 555
- 💡 556
- 🤔 557
- 🤔 558
- 💡 559
- 🤔 560
- 🤔 561
- 🤔 562
- 🤔 563
- 🤔 564
- 🤔 565
- 🤔 566
- 🤔 567
- 🤔 568
- 🤔 569
- 🤔 570
- 🤔 571
- 🤔 572
- 🤔 573
- 🤔 574
- 🤔 575
- 🤔 576
- 💡 577
- 💡 578
- 🤔 579
- 🤔 580
- 💡 581
- 💡 582
- 🤔 583
- 🤔 584
- 🤔 585
- 💡 586
- 🤔 588
- 🤔 589
- 💡 590
- 🤔 591
- 🤔 592
- 🤔 593
- 💡 594
- 🤔 595
- 🤔 596
- 🤔 597
- 🤔 598
- 💡 599
- 🤔 600
- 🤔 601
- 🤔 602
- 🤔 603
- 🤔 604
- 💡 605
- 💡 606
- 💡 607
- 🤔 608
- 🤔 609
- 🤔 610
- 🤔 611
- 🤔 612
- 🤔 613
- 🤔 614
- 💡 615
- 🤔 616
- 🤔 617
- 💡 618
- 🤔 619
- 🤔 620
- 🤔 621
- 💡 622
- 🤔 623
- 🤔 624 WIP: Formalise Erdos Problem 624 #45
- 🤔 625
- 🤔 626
- 🤔 627
- 🤔 628
- 🤔 629
- 💡 630
- 💡 631
- 💡 632
- 🤔 633
- 🤔 634
- 🤔 635
- 💡 636
- 💡 637
- 🤔 638
- 💡 639
- 🤔 640
- 💡 641
- 🤔 642
- 🤔 643
- 🤔 644
- 💡 645 WIP: Erdős Problem 645 #245
- 💡 646
- 🤔 647
- 💡 648
- 💡 649
- 🤔 650
- 💡 651
- 🤔 652
- 🤔 653
- 🤔 654
- 🤔 655
- 🤔 656
- 🤔 657
- 💡 658
- 🤔 659
- 🤔 660
- 🤔 661
- 🤔 662
- 🤔 663
- 💡 664
- 🤔 665
- 💡 666
- 🤔 667
- 🤔 668
- 🤔 669
- 🤔 670
- 🤔 671
- 💡 673
- 💡 674
- 🤔 675
- 🤔 676
- 🤔 677
- 🤔 679
- 🤔 680
- 🤔 681
- 💡 682
- 🤔 683
- 🤔 684
- 🤔 685
- 🤔 686
- 🤔 687
- 🤔 688
- 🤔 689 WIP: Formalise Erdos Problem 689 #44
- 🤔 690
- 🤔 691
- 💡 692
- 🤔 693
- 🤔 696
- 🤔 697
- 💡 698
- 🤔 699
- 🤔 700
- 🤔 701
- 💡 702
- 💡 703
- 🤔 704
- 🤔 705
- 🤔 706
- 🤔 707 707.lean
- 🤔 708
- 🤔 709
- 🤔 710
- 🤔 711
- 🤔 712
- 🤔 713
- 🤔 714
- 💡 715
- 💡 716
- 💡 717
- 💡 718
- 🤔 719
- 💡 720
- 💡 721
- 💡 722
- 🤔 724
- 🤔 725
- 🤔 726
- 🤔 728
- 🤔 729
- 🤔 731
- 💡 732
- 💡 733
- 🤔 734
- 💡 735
- 🤔 736
- 🤔 737
- 🤔 738
- 🤔 739
- 🤔 740, WIP: Erdos Problems 108 and 740! #454
- 🤔 741
- 💡 742
- 🤔 743
- 💡 744
- 💡 745
- 💡 746
- 💡 747
- 💡 748
- 🤔 749
- 🤔 750
- 💡 751
- 💡 752
- 💡 753
- 🤔 754
- 💡 755
- 💡 756
- 🤔 757
- 💡 758
- 💡 759
- 💡 760
- 🤔 761
- 💡 762
- 💡 763
- 💡 764
- 💡 765
- 🤔 766
- 💡 767
- 🤔 768
- 🤔 769
- 🤔 770
- 💡 771
- 💡 772
- 🤔 773
- 🤔 774
- 🤔 775
- 🤔 776
- 💡 777
- 🤔 778
- 🤔 779 779.lean contains TODO!
- 💡 780
- 💡 781
- 🤔 782
- 🤔 783
- 🤔 784
- 💡 785
- 🤔 786 786.lean contains TODO!
- 🤔 787
- 🤔 788
- 🤔 789
- 🤔 790
- 🤔 791
- 🤔 792
- 🤔 793
- 💡 794
- 💡 795
- 🤔 796
- 💡 797
- 💡 798
- 💡 799
- 💡 800
- 💡 801
- 🤔 802
- 💡 803
- 💡 804
- 🤔 805
- 💡 806
- 💡 807
- 💡 808
- 🤔 809
- 🤔 810
- 🤔 811
- 🤔 812
- 🤔 813
- 💡 814
- 💡 815
- 💡 816
- 💡 818
- 🤔 819
- 🤔 820
- 🤔 821
- 🤔 822
- 💡 823
- 🤔 824
- 🤔 827
- 🤔 828
- 🤔 829
- 🤔 830
- 🤔 831
- 💡 832
- 💡 833
- 🤔 834
- 🤔 835
- 🤔 836
- 🤔 837
- 🤔 838
- 🤔 839
- 🤔 840
- 💡 841
- 💡 842
- 💡 843
- 💡 844
- 🤔 847
- 🤔 848
- 🤔 849
- 🤔 850
- 🤔 851
- 🤔 852
- 🤔 853
- 🤔 854
- 🤔 855
- 🤔 856
- 🤔 857
- 🤔 858
- 🤔 859
- 🤔 860
- 💡 861
- 🤔 862
- 🤔 863
- 🤔 864
- 🤔 865
- 🤔 866
- 🤔 867
- 🤔 869
- 🤔 870
- 🤔 871
- 🤔 872
- 💡 874
- 🤔 875
- 🤔 876
- 💡 877
- 🤔 878
- 🤔 879
- 💡 880
- 🤔 881
- 💡 882
- 🤔 883
- 🤔 884
- 🤔 885
- 🤔 886
- 🤔 887
- 🤔 888
- 🤔 889
- 🤔 890
- 🤔 891
- 🤔 892
- 🤔 893
- 💡 894
- 💡 895
- 🤔 896
- 🤔 897 897.lean contains TODO!
- 💡 898
- 💡 900
- 🤔 901
- 🤔 902
- 🤔 903
- 💡 904
- 💡 905
- 💡 906
- 💡 907
- 💡 908
- 💡 909
- 💡 910
- 🤔 911
- 🤔 912
- 💡 914
- 🤔 915
- 💡 916
- 🤔 917
- 🤔 918
- 🤔 919
- 🤔 920
- 💡 921
- 💡 922
- 💡 923
- 💡 924
- 💡 925
- 💡 926
- 💡 927
- 🤔 928
- 🤔 929
- 🤔 930
- 🤔 933
- 🤔 934
- 🤔 935
- 🤔 936 WIP: Erdős Problems 936 #522
- 💡 937
- 🤔 938 up for grabs: Erdős Problem 938 #376 WIP: Erdős Problems 938 #523
- 🤔 940 WIP: Erdős Problem 940 #529
- 💡 941
- 🤔 944
- 🤔 945 contains TODO
- 💡 946
- 💡 947
- 🤔 948
- 🤔 949 WIP: Erdős Problem 949 #543
- 🤔 950
- 🤔 951
- 🤔 952
- 🤔 953
- 🤔 954
- 🤔 955
- 🤔 956
- 🤔 957
- 💡 958
- 🤔 959
- 🤔 960
- 🤔 961
- 🤔 962
- 🤔 963
- 💡 964
- 🤔 965
- 💡 966
- 🤔 967
- 🤔 968
- 🤔 969
- 🤔 970
- 🤔 971
- 🤔 972
- 🤔 973
- 🤔 974
- 🤔 975
- 🤔 976
- 💡 977
- 🤔 978
- 🤔 979
- 💡 980
- 🤔 981
- 🤔 982
- 🤔 983
- 💡 984
- 🤔 985