Development

AlphaEvolve sets new lower bounds for five Ramsey numbers

development2026-03-13

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.

Knowledge graphopen in browser →

About
Reported in
Actor
Evidence for
Supersedes
Referenced by

Cite or correct this record

Suggest a correction — opens a GitHub draft for you to review and submit.