| AlphaEvolve: A coding agent for scientific and algorithmic discovery | Matrix Multiplication, Analysis, Combinatorics, Discrete Geometry, LLM | arXiv 2025 | Unofficial Code | 
| Counterexample to majority optimality in NICD with erasures | Analysis, LLM | arXiv 2025 |  | 
| Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof | Combinatorics, LLM | arXiv 2025 | Code | 
| From Euler to AI: Unifying Formulas for Mathematical Constants | Number Theory, LLM | arXiv 2025 | Code | 
| Mathematical discoveries from program search with large language models | Combinatorics, LLM | Nature 2024 | Code | 
| Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof | Analysis, LLM | arXiv 2025 |  |