AI AS A RESEARCH PARTNER: ADVANCING THEORETICAL COMPUTER SCIENCE WITH ALPHAEVOLVE

Summary from the TLDR AI newsletter

DeepMind's AlphaEvolve uses LLMs to iteratively “evolve” code that discovers mathematical structures proving new theorems in complexity theory. The system made breakthroughs on two mature problems by morphing finite proof structures while keeping the interface to the broader proof intact, allowing automated verification of correctness without human review.