| Title | Subject(s) | Venue & Year | Links & Resources |
|---|---|---|---|
| AlphaEvolve: A coding agent for scientific and algorithmic discovery | Matrix Multiplication, Analysis, Combinatorics, Discrete Geometry, LLM | arXiv 2025 | Unofficial 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 |