Resolves to YES if the best known ower bound or upper bound for any of the Ramsey numbers R(5,5), R(4,6), or R(3,10) is improved before 2040 (which includes determining any of their exact values). Current bounds are, according to Wikipedia:
43 ≤ R(5,5) ≤ 48
36 ≤ R(4,6) ≤ 40
40 ≤ R(3,10) ≤ 42
If anyone finds that better bounds are already known and updates Wikipedia to this effect, this will resolve to YES.
Related market asking if any of these numbers will be determined exactly: https://manifold.markets/lisamarsh/will-any-of-the-ramsey-numbers-r55
Context: https://en.wikipedia.org/wiki/Ramsey%27s_theorem#Ramsey_numbers
Apr 8, 3:08pm: Will any of the Ramsey numbers R(5,5), R(4,6), or R(3,10) have their bounds improved before 2030? → Will any of the Ramsey numbers R(5,5), R(4,6), or R(3,10) have their bounds improved before 2040?
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ36 | |
| 2 | Ṁ31 | |
| 3 | Ṁ2 |
R(3,10) has been shown to be at most 41, so this resolves YES: https://arxiv.org/abs/2401.00392