| Accelerating mathematical research with language models: A case study of an interaction with GPT-5-Pro on a convex analysis problem |
Analysis, LLM |
arXiv 2025 |
|
| 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 |
|
| Early science acceleration experiments with GPT-5 |
Combinatorics, Optimization Theory, LLM |
arXiv 2025 |
|
| Extremal descendant integrals on moduli spaces of curves: An inequality discovered and proved in collaboration with AI |
Algebraic Geometry, ATP, LLM |
arXiv 2025 |
Code |
| Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof |
Combinatorics, LLM |
arXiv 2025 |
Code |
| Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof |
Combinatorics, Number Theory, LLM |
arXiv 2025 |
|
| From Euler to AI: Unifying Formulas for Mathematical Constants |
Number Theory, LLM |
arXiv 2025 |
Code |
| Gödel Test: Can Large Language Models Solve Easy Conjectures? |
Discrete Mathematics, LLM |
arXiv 2025 |
|
| Mathematical discoveries from program search with large language models |
Combinatorics, LLM |
Nature 2024 |
Code |
| Mathematical exploration and discovery at scale |
Combinatorics, Analysis, Number Theory, Discrete Geometry, LLM |
arXiv 2025 |
Code |
| Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof |
Optimization Theory, LLM |
arXiv 2025 |
|
| Solving a Research Problem in Mathematical Statistics with AI Assistance |
Statistics, LLM |
arXiv 2025 |
|
| The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale |
Algebra, LLM, CNN, ATP |
arXiv 2025 |
Code Site |