| 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 |
|