Mathematics > History and Overview

[Submitted on 7 Jul 2026]

Title:Automation Without Understanding

Authors:Jun-Yong Park

View a PDF of the paper titled Automation Without Understanding, by Jun-Yong Park

View PDF HTML (experimental)

Abstract:Two developments are unfolding at once: artificial intelligence systems have begun to produce genuine research-level mathematics, and the United States is weakening the pipeline that produces humans capable of understanding what such systems are doing. This essay argues that, taken together, these developments amount to a strategic error. Mathematical capacity, which is the trained ability to verify, interpret, and challenge mathematical reasoning, is not a byproduct of theorem production but a form of infrastructure, built over generations by institutions that cannot be reconstituted on demand. Drawing on the May 2026 AI disproof of a longstanding Erdős conjecture on the planar unit distance problem and on recent disruptions to federal support for the mathematical sciences, the essay makes the case for treating mathematical capacity as a strategic asset on a par with semiconductor capability. It further proposes, among other measures, that AI systems performing consequential reasoning be required to expose their decision-critical claims in formal, machine-checkable form, converting part of AI reasoning from opaque persuasion into auditable structure.

https://doi.org/10.48550/arXiv.2607.06377

arXiv-issued DOI via DataCite

Comments:
Subjects:	History and Overview (math.HO)
Cite as:	arXiv:2607.06377 [math.HO]
	(or arXiv:2607.06377v1 [math.HO] for this version)

Submission history

From: Jun-Yong Park [view email] [v1] Tue, 7 Jul 2026 15:15:05 UTC (12 KB)

Full-text links:

Access Paper:

• View a PDF of the paper titled Automation Without Understanding, by Jun-Yong Park

• View PDF

• HTML (experimental)

• TeX Source

view license

Current browse context:

math.HO

< prev | next >

new | recent | 2026-07

Change to browse by:

math

References & Citations

• NASA ADS

• Google Scholar

• Semantic Scholar

Loading...

BibTeX formatted citation

Data provided by:

Bookmark

Bibliographic and Citation Tools

Bibliographic Explorer (What is the Explorer?)

Connected Papers (What is Connected Papers?)

Litmaps (What is Litmaps?)

scite Smart Citations (What are Smart Citations?)

Code, Data and Media Associated with this Article

alphaXiv (What is alphaXiv?)

CatalyzeX Code Finder for Papers (What is CatalyzeX?)

DagsHub (What is DagsHub?)

Gotit.pub (What is GotitPub?)

Hugging Face (What is Huggingface?)

ScienceCast (What is ScienceCast?)

Demos

Replicate (What is Replicate?)

Hugging Face Spaces (What is Spaces?)

TXYZ.AI (What is TXYZ.AI?)

Recommenders and Search Tools

Influence Flower (What are Influence Flowers?)

CORE Recommender (What is CORE?)

• Author

• Venue

• Institution

• Topic

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)