Notes on a Path to AI Assistance in Mathematical Reasoning
Not on the map. Why?
Abstract (arXiv)
These informal notes are based on the author's lecture at the National Academies of Science, Engineering, and Mathematics workshop on "AI to Assist Mathematical Reasoning" in June 2023. The goal is to think through a path by which we might arrive at AI that is useful for the research mathematician.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 6 of its 20 references that are in the map. First posted on arXiv 4 Oct 2023.
Builds on
6 of 20 references.
References · 6
- 2022Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofscited by 291
- 2022Autoformalization with Large Language Modelscited by 263
- 2022HyperTree Proof Search for Neural Theorem Provingcited by 197
- 2022Murmurations of elliptic curvescited by 14
- 2019Formalising perfectoid spacescited by 7
- 2019Formalizing the Solution to the Cap Set Problemcited by 3
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2025Is Mathematics Obsolete?
- 2024Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI
- 2024Formal Mathematical Reasoning: A New Frontier in AI
- 2025Mathematical reasoning and the computer
- 2026Human agency in initial human-AI proof formalization workflows
- 2025Advancing mathematics research with generative AI
- 2026Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery
- 2026Math for AI safety: an invitation for mathematicians