HackerPapers

arXiv:2510.15924math.HO

The Shape of Math To Come

Alex Kontorovich

HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.

Abstract

We present an overview of how certain computational tools currently interact with mathematical practice, and reflect on the implications for research mathematics in the short to medium term, as the field navigates the emerging age of AI and formal verification systems.

arXiv comments
22 pages, 16 figures, for Proceedings of the ICM 2026
Journal reference
DOI
Subjects
math.HOHistory and Overview

On Hacker News

No comments linking this paper were found in the collected sources. Found in 2 HN submissions from Oct 2025 to Oct 2025. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments0 threads

No comments linking this paper were found in the collected sources. Open submission discussions.

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.