Development
AlphaEvolve sets new lower bounds for five Ramsey numbers
Claim
DeepMind used AlphaEvolve to establish new lower bounds for five classical Ramsey numbers, an extremal combinatorics problem Erdős himself joked about the difficulty of.
Reported metric: 5 Ramsey numbers
Reporting date: (not necessarily the event date)
Sources
Attribution and reporting linked by this record; links do not imply independent verification.
- Welcome to March 13, 2026 (theinnermostloop.substack.com)
Cite or correct this record
Suggest a correction — opens a GitHub draft for you to review and submit.