SVP @google. My tweets represent my own views. WittedNote is an anagram.
Joined October 2011
- Tweets957
- Following201
- Followers9.3K
- Likes33
Prabhakar Raghavan retweeted
Our graph constructions for these improved bounds are available at GitHub:
github.com/google-research/g…
Read the full working paper here: arxiv.org/abs/2603.09172
Excited for this promising start in extremal graph theory, building on our earlier work using AlphaEvolve for complexity theory for the TSP and other problems arxiv.org/abs/2509.18057
Happy to share new progress in AI for Maths @GoogleDeepMind .
In extremal combinatorics, AlphaEvolve has helped establish new lower bounds for FIVE classical Ramsey numbers - a problem so challenging that even Erdős commented on its difficulty.
Historically, computationally deriving these bounds required bespoke, human-designed search algorithms. For many of these bounds, the best previous results are at least a decade old. AlphaEvolve changes this by acting as a single meta-algorithm that automatically discovers the search procedures needed to find these new bounds. 📷
Prabhakar Raghavan retweeted
Happy to share new progress in AI for Maths @GoogleDeepMind .
In extremal combinatorics, AlphaEvolve has helped establish new lower bounds for FIVE classical Ramsey numbers - a problem so challenging that even Erdős commented on its difficulty.
Historically, computationally deriving these bounds required bespoke, human-designed search algorithms. For many of these bounds, the best previous results are at least a decade old. AlphaEvolve changes this by acting as a single meta-algorithm that automatically discovers the search procedures needed to find these new bounds. 📷