Ramsey's theorem states that if
how one colors the edges among
always
it is natural to ask "how large is sufficiently large?" Ramsey's original
proof showed that
Szekeres improved this bound to
almost 90 years.
In this talk, I will present the history of the problem, and discuss some
of the ideas used in the recent breakthrough of
Campos–Griffiths–Morris–Sahasrabudhe, who proved that
sufficient. In particular, I will try to highlight the central role of
book graphs, which play an important role in all known approaches to
this problem.