We share our experience using LLMs to obtain new results in mathematics and computer science. We begin with an illustrative example from load-balancing in planet-scale cloud systems, outlining the abilities and limitations of LLMs. Next, we describe our experience with AlphaEvolve, an evolutionary language model from Google DeepMind, to establish ...
