| Advancing mathematics by guiding human intuition with AI |
Knot Theory, Representation Theory |
Nature 2021 |
Code |
| AlphaEvolve: A coding agent for scientific and algorithmic discovery |
Matrix Multiplication, Analysis, Combinatorics, Discrete Geometry, LLM |
arXiv 2025 |
Unofficial Code |
| AlphaTensor: Discovering faster matrix multiplication algorithms |
Matrix Multiplication, RL |
Nature 2022 |
Code Blog |
| Can Transformers Do Enumerative Geometry? |
Algebraic Geometry, Interpretability, Transformer |
ICLR 2025 |
Code |
| Constructions in combinatorics via neural networks |
Graph Theory, RL |
arXiv 2021 |
Code |
| Generative AI for brane configurations and coamoeba |
Mathematical Physics, VAE |
Physical Review D 2025 |
|
| Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers |
Analysis, Transformer |
NeurIPS 2024 |
Code |
| Int2Int: a framework for mathematics with transformers |
Number Theory, Transformer |
arXiv 2025 |
Code |
| Lattice-Valued Bottleneck Duality |
Combinatorics |
arXiv 2024 |
|
| Learning Euler factors of elliptic curves |
Number Theory, Transformer |
arXiv 2025 |
|
| Learning Fricke signs from Maass form Coefficients |
Number Theory, LDA |
arXiv 2025 |
|
| Machine Learning Approaches to the Shafarevich-Tate Group of Elliptic Curves |
Number Theory, Neural Network, Decision Tree |
IJDSMS 2024 |
Code |
| Machine learning BPS spectra and the gap conjecture |
Mathematical Physics, PCA |
Physical Review D 2024 |
|
| Machine learning Calabi-Yau hypersurfaces |
Mathematical Physics |
Physical Review D 2022 |
|
| Machine learning class numbers of real quadratic fields |
Number Theory, Interpretability |
IJDSMS 2023 |
|
| Machine learning for complete intersection Calabi-Yau manifolds: a methodological study |
Mathematical Physics |
Physical Review D 2021 |
|
| Machine Learning in the String Landscape |
Mathematical Physics |
JHEP 2017 |
|
| Machine learning invariants of arithmetic curves |
Number Theory, Logistic Regression, Random Forest |
Journal of Symbolic Computation 2023 |
|
| Machine learning line bundle cohomologies of hypersurfaces in toric varieties |
Algebraic Geometry |
Physics Letters B 2019 |
|
| Machine Learning Number Fields |
Number Theory, Neural Network, Random Forest |
MCGD 2022 |
|
| Machine learning of Calabi-Yau volumes |
Mathematical Physics, CNN, Linear Regression |
Physical Review D 2017 |
|
| Machine learning Sasakian G2 topology on contact Calabi-Yau 7-manifolds |
Mathematical Physics, Neural Network |
Physics Letters B 2024 |
Code |
| Machine Learning the vanishing order of rational L-functions |
Number Theory, LDA, Neural Network |
arXiv 2025 |
|
| Machine-learning dessins d'enfants: explorations via modular and Seiberg–Witten curves |
Algebraic Geometry, Mathematical Physics |
Journal of Physics A 2021 |
|
| Machine-learning Sato-Tate conjecture |
Number Theory |
Journal of Symbolic Computation 2022 |
|
| Machines Learn Number Fields, But How? The Case of Galois Groups |
Number Theory, Logistic Regression, Decision Tree, Interpretability |
arXiv 2025 |
Code |
| Mathematical discoveries from program search with large language models |
Combinatorics, LLM |
Nature 2024 |
Code |
| Murmurations of Elliptic Curves |
Number Theory, PCA |
Experimental Mathematics 2024 |
Quanta |
| Neural network approximations for Calabi-Yau metrics |
Mathematical Physics, Neural Network |
JHEP 2022 |
|
| New Calabi–Yau manifolds from genetic algorithms |
Algebraic Geometry, Mathematical Physics, Genetic Algorithm |
Physics Letters B 2024 |
|
| PatternBoost: Constructions in Mathematics with a Little Help from AI |
Discrete Geometry, Combinatorics, Transformer, RL |
arXiv 2024 |
Code |
| Predicting root numbers with neural networks |
Number Theory, RNN, CNN |
IJDSMS 2024 |
|
| Ranks of elliptic curves and deep neural networks |
Number Theory, CNN |
Research in Number Theory 2023 |
Code |
| Rigor with Machine Learning from Field Theory to the Poincaré Conjecture |
Geometry, Mathematical Physics |
Nature Reviews Physics 2024 |
|
| Studying number theory with deep learning: a case study with the Möbius and squarefree indicator functions |
Number Theory, Transformer |
arXiv 2025 |
Code |
| What makes math problems hard for reinforcement learning: a case study |
Group Theory, RL, Transformer |
arXiv 2024 |
Code |
