# Mathematical reasoning and the computer

arXiv: https://arxiv.org/abs/2502.07850 · HTML: https://mlsanity.com/paper/2502.07850/

## 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 (most cited first, 2 of 2)

- [Machine Learning meets Number Theory: The Data Science of Birch-Swinnerton-Dyer](https://mlsanity.com/paper/1911.02008/) (2019)
- [Formalizing the Solution to the Cap Set Problem](https://mlsanity.com/paper/1907.01449/) (2019)

## Built on by (most cited first, 4 of 4)

- [Thinking Machines: Mathematical Reasoning in the Age of LLMs](https://mlsanity.com/paper/2508.00459/) (2025)
- [Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs](https://mlsanity.com/paper/2507.04719/) (2025)
- [Explaining Deep Network Classification of Matrices: A Case Study on Monotonicity](https://mlsanity.com/paper/2507.22570/) (2025)
- [The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction](https://mlsanity.com/paper/2509.15116/) (2025)

## 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.