Ramsey numbers are notoriously hard. Amazing to see AlphaEvolve improve bounds for 5 classical Ramsey numbers – some for the first time in 10+ years – by discovering search procedures itself. A big milestone in AI for maths – congrats to the team!

→ View original post on X — @demishassabis,