mlsanityData to 14 Oct 2026

Lectures on AI for Mathematics

arXiv 2604.11504 ↗First posted 13 Apr 2026cs.AI math.AP math.ATcited by 0

Not on the map. Why?

Abstract (arXiv)

This book provides a comprehensive and accessible introduction to the emerging field of AI for mathematics. It covers the core principles and diverse applications of using artificial intelligence to advance mathematical research. Through clear explanations, the text explores how AI can discover hidden mathematical patterns, assist in proving complicated theorems, and even construct counterexamples to challenge conjectures.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 23 of its 750 references that are in the map. First posted on arXiv 13 Apr 2026.

Builds on

23 of 750 references.

References · 23

  1. 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Modelscited by 9,379
  2. 2019Fine-Tuning Language Models from Human Preferencescited by 2,150
  3. 2015Fast and Accurate Deep Network Learning by Exponential Linear Units (ELUs)cited by 1,070
  4. 2016An overview of gradient descent optimization algorithmscited by 1,033
  5. 2013Exact solutions to the nonlinear dynamics of learning in deep linear neural networkscited by 763
  6. 2013Generating Sequences With Recurrent Neural Networkscited by 554
  7. 2025ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolutioncited by 174
  8. 2019On the Measure of Intelligencecited by 144
  9. 2026Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematicscited by 50
  10. 2021Constructions in combinatorics via neural networkscited by 48
  11. 2025Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experiencecited by 44
  12. 2026Towards Autonomous Mathematics Researchcited by 40
11 more
  1. 2024PatternBoost: Constructions in Mathematics with a Little Help from AIcited by 34
  2. 2026Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the ErdHos Problemscited by 32
  3. 2026First Proofcited by 32
  4. 2025Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Proverscited by 28
  5. 2025Scientific Algorithm Discovery by Augmenting AlphaEvolve with Deep Researchcited by 19
  6. 2025CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphscited by 6
  7. 2025DeepMath-Creative: A Benchmark for Evaluating Mathematical Creativity of Large Language Modelscited by 5
  8. 2025A Machine Learning Approach That Beats Large Rubik's Cubescited by 4
  9. 2026Artificial Intelligence and the Structure of Mathematicscited by 4
  10. 2026Can LLM generate interesting mathematical research problems?cited by 2
  11. 2025Visual-Haptic Model Mediated Teleoperation for Remote Ultrasoundcited by 1

Built on by

Not cited yet.