English

Notes on a Path to AI Assistance in Mathematical Reasoning

History and Overview 2023-10-05 v1 Artificial Intelligence
Authors: Alex Kontorovich
View on arXiv ↗ PDF ↗

Abstract

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.

Keywords

mathematics education lecture notes

Cite

@article{arxiv.2310.02896,
  title  = {Notes on a Path to AI Assistance in Mathematical Reasoning},
  author = {Alex Kontorovich},
  journal= {arXiv preprint arXiv:2310.02896},
  year   = {2023}
}

Comments

7 pages

Related papers

View all related →
Artificial Intelligence · Computer Science
Formal Mathematical Reasoning: A New Frontier in AI
Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li +3
2024-12-23
History and Overview · Mathematics
Mathematics: the Rise of the Machines
Yang-Hui He
2025-11-24
Optimization and Control · Mathematics
The Mathematics of Artificial Intelligence
Gabriel Peyré
2025-01-22
History and Overview · Mathematics
Mathematicians in the age of AI
Jeremy Avigad
2026-04-07
Artificial Intelligence · Computer Science
A Survey of Deep Learning for Mathematical Reasoning
Pan Lu, Liang Qiu, Wenhao Yu, Sean Welleck +1
2023-06-23
Artificial Intelligence · Computer Science
Lectures on AI for Mathematics
Xiaoyang Chen, Xiaoyang Chen
2026-04-14
Machine Learning · Computer Science
The Mathematics of Artificial Intelligence
Gitta Kutyniok
2022-03-18
History and Overview · Mathematics
AI for Mathematics: Progress, Challenges, and Prospects
Haocheng Ju, Bin Dong
2026-05-05
History and Overview · Mathematics
Teaching Programming for Mathematical Scientists
Jack Betteridge, Eunice Y. S. Chan, Robert M. Corless, James H. Davenport +1
2022-03-16
History and Overview · Mathematics
The Mathematician's Assistant: Integrating AI into Research Practice
Jonas Henkel
2025-08-29
Artificial Intelligence · Computer Science
Proceedings of the First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024)
Ken Satoh, Ha-Thanh Nguyen, Francesca Toni, Randy Goebel +1
2024-10-16
Artificial Intelligence · Computer Science
Understanding the Impact of Artificial Intelligence in Academic Writing: Metadata to the Rescue
Javier Conde, Pedro Reviriego, Joaquín Salvachúa, Gonzalo Martínez +2
2025-02-25
Artificial Intelligence · Computer Science
Reasoning About Action and Change
Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis
2024-06-28
Artificial Intelligence · Computer Science
Proceedings of the Second International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2025)
Ha-Thanh Nguyen, Ken Satoh, Francesca Toni, Randy Goebel +1
2025-11-17
History and Overview · Mathematics
The Shape of Math To Come
Alex Kontorovich
2025-10-21
Neurons and Cognition · Quantitative Biology
AI for Mathematics: A Cognitive Science Perspective
Cedegao E. Zhang, Katherine M. Collins, Adrian Weller, Joshua B. Tenenbaum
2023-10-23
Computation and Language · Computer Science
REAMS: Reasoning Enhanced Algorithm for Maths Solving
Eishkaran Singh, Tanav Singh Bajaj, Siddharth Nayak
2025-09-23
Artificial Intelligence · Computer Science
Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI
Shizhe Liang, Wei Zhang, Tianyang Zhong, Tianming Liu
2026-02-16
Artificial Intelligence · Computer Science
Learning When to Advise Human Decision Makers
Gali Noti, Yiling Chen
2023-07-04
Artificial Intelligence · Computer Science
The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence
Gary Marcus
2020-02-20
Artificial Intelligence · Computer Science
Measuring AI Reasoning: A Guide for Researchers
Munachiso Samuel Nwadike, Zangir Iklassov, Kareem Ali, Rifo Genadi +1
2026-05-05
Artificial Intelligence · Computer Science
Artificial Intelligence and the Structure of Mathematics
Maissam Barkeshli, Michael R. Douglas, Michael H. Freedman
2026-04-08
Differential Geometry · Mathematics
Artificial Intelligence and the Autonomization of Mathematics
Jaime Ripoll
2026-05-28
Artificial Intelligence · Computer Science
Online Handbook of Argumentation for AI: Volume 1
OHAAI Collaboration, Federico Castagna, Timotheus Kampik, Atefeh Keshavarzi Zafarghandi +8
2020-06-23
Artificial Intelligence · Computer Science
Online Handbook of Argumentation for AI: Volume 3
Lars Bengel, Elfia Bezou-Vrakatseli, Lydia Blümel, Federico Castagna +6
2022-12-16
R2 v1 2026-06-28T12:40:32.154Z