arXiv:2603.09172v2 Announce Type: replace-cross
Abstract: We present improved lower bounds for five classical Ramsey numbers: $mathbfR(3, 13)$ is increased from $60$ to $61$, $mathbfR(3, 18)$ from $99$ to $100$, $mathbfR(4, 13)$ from $138$ to $139$, $mathbfR(4, 14)$ from $147$ to $148$, and $mathbfR(4, 15)$ from $158$ to $159$. These results were achieved using AlphaEvolve, an LLM-based code mutation agent. Beyond these new results, we successfully recovered lower bounds for all Ramsey numbers known to be exact, and matched the best known lower bounds across many other cases. These include bounds for which previous work does not detail the algorithms used. Virtually all known Ramsey lower bounds are derived computationally, with bespoke search algorithms each delivering a handful of results. AlphaEvolve is a single meta-algorithm yielding search algorithms for all of our results.

Subscribe for Updates

Copyright 2025 dijee Intelligence Ltd.   dijee Intelligence Ltd. is a private limited company registered in England and Wales at Media House, Sopers Road, Cuffley, Hertfordshire, EN6 4RY, UK registration number 16808844