Human mathematics in the age of reasoning machines
Abstract
This essay intertwines reflection on current mathematical practice with discussion of how it may be reshaped by automation. I speculate that the conceptual language of mathematics might undergo drastic rewritings, and look to historical examples for guidance.
Keywords
automated reasoning
mathematical concepts
cryptomorphism
mathematical psychology
mathematical modernism
© 2026 Spartacus IDH.
Licensed under CC BY-ND 4.0
Cite this article
Venkatesh, A. (2025). Human mathematics in the age of reasoning machines. M×Φ — Annals of Mathematics and Philosophy, 3(1), 83–116.
Copied!