awesome-ai-for-math

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