| 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 |
|
| Discovery of Unstable Singularities |
Analysis, PINN |
arXiv 2025 |
|
| Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers |
Analysis, Transformer |
NeurIPS 2024 |
Code |
| Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof |
Analysis, LLM |
arXiv 2025 |
|