awesome-ai-for-math

Analysis papers

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