mlsanityData to 14 Oct 2026

Mathematical reasoning and the computer

arXiv 2502.07850 ↗First posted 11 Feb 2025cs.AIcited by 4

Not on the map. Why?

Abstract (arXiv)

Computers have already changed the way that humans do mathematics: they enable us to compute efficiently. But will they soon be helping us to reason? And will they one day start reasoning themselves? We give an overview of recent developments in neural networks, computer theorem provers and large language models.

Key facts. Cited by 4 papers in the map (data through 14 Oct 2026). Builds on 2 of its 12 references that are in the map. First posted on arXiv 11 Feb 2025.

Builds on

2 of 12 references.

References · 2

  1. 2019Machine Learning meets Number Theory: The Data Science of Birch-Swinnerton-Dyercited by 8
  2. 2019Formalizing the Solution to the Cap Set Problemcited by 3

Built on by

Cited by year

Citing papers per year: 2025: 4.

4 papers.

  1. 2025Thinking Machines: Mathematical Reasoning in the Age of LLMscited by 4
  2. 2025Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofscited by 1
  3. 2025Explaining Deep Network Classification of Matrices: A Case Study on Monotonicitycited by 1
  4. 2025The mechanization of science illustrated by the Lean formalization of the multi-graded Proj constructioncited by 1

Similar, not cited

Close in wording, no citation either way

  1. 2026Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery
  2. 2024Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery
  3. 2023Mathematics, word problems, common sense, and artificial intelligence
  4. 2022A Survey of Deep Learning for Mathematical Reasoning
  5. 2024Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI
  6. 2025Is Mathematics Obsolete?
  7. 2024Formal Mathematical Reasoning: A New Frontier in AI
  8. 2026Math Takes Two: A test for emergent mathematical reasoning in communication