for integers $s,t \geq 2$, the ramsey number $r(s,t)$ denotes the minimum $n$ such that every $n$-vertex graph contains a clique of order $s$ or an independent set of order $t$. we prove that \[ r(4,t) = \omega\bigl(\frac{t^3}{\log^4 \! t}\bigr) \quad \quad \mbox{ as }t \rightarrow \infty\] which determines $r(4,t)$ up to a factor of order $\log^2 \! t$, and solves a  conjecture of erdős.


this is a joint work with sam mattheus (accepted in the annals of mathematics).