Ramsey number R(5,5)

It is known that $43 \le R(5,5) \le 46$, with the upper bound brought down in 2024 by Angeltveit and McKay. Erdős joked that if aliens demanded R(5,5) we should marshal all our computers, and if they demanded R(6,6) we should try to destroy them. The asymptotic growth rate improved in 2023, when Campos, Griffiths, Morris and Sahasrabudhe beat the $4^n$ barrier.

What would settle it

Lean statement in formal-conjectures; any exact value is a finite check

Sources

• Wikipedia: Ramsey's theorem

Combinatorics · Mathematics