AI Labs AI AI Research AI as a research partner: Advancing theoretical computer science with AlphaEvolve Algorithms & Theory
