A curated list of awesome papers on AI for Mathematics.
| Title | Subject(s) | Venue & Year | Links & Resources |
|---|---|---|---|
| AlphaTensor: Discovering faster matrix multiplication algorithms | Matrix Multiplication, RL | Nature 2022 | Code Blog |
| Constructions in combinatorics via neural networks | Graph Theory, RL | arXiv 2021 | Code |
| PatternBoost: Constructions in Mathematics with a Little Help from AI | Discrete Geometry, Combinatorics, Transformer, RL | arXiv 2024 | Code |
| What makes math problems hard for reinforcement learning: a case study | Group Theory, RL, Transformer | arXiv 2024 | Code |