AlphaEvolve, a large language model-based coding agent developed by Google DeepMind, has been utilized to discover new combinatorial structures that advance theoretical computer science, specifically in complexity theory. The research demonstrates improved results on the hardness of approximation problems, such as the MAX-4-CUT, and enhances understanding of average-case hardness with new findings in Ramanujan graphs. The study emphasizes the importance of verified correctness in mathematical proofs, showcasing AI's potential as a research partner in mathematical discovery.