A curated list of awesome papers on AI for Mathematics.
| 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 |
| Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers | Analysis, Transformer | NeurIPS 2024 | Code |