| AlphaEvolve: A coding agent for scientific and algorithmic discovery |
Matrix Multiplication, Analysis, Combinatorics, Discrete Geometry, LLM |
arXiv 2025 |
Unofficial Code |
| Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof |
Combinatorics, LLM |
arXiv 2025 |
Code |
| Lattice-Valued Bottleneck Duality |
Combinatorics |
arXiv 2024 |
|
| Mathematical discoveries from program search with large language models |
Combinatorics, LLM |
Nature 2024 |
Code |
| PatternBoost: Constructions in Mathematics with a Little Help from AI |
Discrete Geometry, Combinatorics, Transformer, RL |
arXiv 2024 |
Code |