Math Education, and LLM A new analysis argues that regardless of advances in large language models, learning mathematics requires a non-trivial minimum of human effort because math is fundamentally about building intuition and abstraction, not just calculation or theorem proving. Math Education, and LLM 2026-06-16 Abstract: This article defines math and math education, and argues for a lower bound of human effort required to learn mathematics or any other abstraction-heavy subject regardless of LLM capability. LLMs are evolving rapidly; within a year AIs are able to tackle math problems - we had thought of them as the hardest for AI to automate - but they are getting there. Let it be OpenAI's marketing bluff https://openai.com/index/model-disproves-discrete-geometry-conjecture/ or not of course humans helped, how much? we can never know... , we can at least say that frontier models are useful for assisting with math research. The natural question to ask here is that, is AI helpful at math education? To what extent? Mathematics is a truly unique subject from all other sciences, in that it is not natural at all, despite the fact that universities like to put math in a physical science building of some sort. While it originates in counting and measuring the physical world, it has evolved out of its physics context into a discipline purely focused on a-priori reasoning and abstraction during the formalism https://en.wikipedia.org/wiki/Formalism philosophy of mathematics movement. My preferred way to define math is "the study of a-priori constructions". I'd also like to think of all math knowledge as an infinitely large graph of theorems where one node points to another if one can be deduced from the other by the axioms chosen. In this interesting perspective, math is much like art, poetry, or music, where every theorem already exists somewhere https://en.wikipedia.org/wiki/G%C3%B6del numbering and we are just discovering them. An implication of this view is that, humans have to occupy a position in math research, since we are the ultimate judge to say whether an abstraction or theorem is interesting and worth developing or not. Math is tightly connected to personal and collective taste and intellect: "The product of mathematics is clarity and understanding. Not theorems, by themselves." 1 cite-budneyWhatsMathematician2010 As a result, calculation or theorem proving is only a small part of doing math, and the goal is rather to cultivate good instinct 2 cite-taoThereMoreMathematics2026 - the ability to fluently navigate and manipulate some levels of abstraction, and thus "sense" how to get from one node to another or which nodes are worth exploring. People used to develop abstraction out of physical properties, such as the invention of calculus which was used to describe continuous physical phenomena. But now, the abstraction is so far removed from the physical world that it is often the case that mathematical abstractions are invented before any application is found: Riemannian geometry, a 19th-century invention, is now the language of general relativity 1915 . Math education gets hard here, since the properties of good math education, in contrast to math itself, the most rigorous of subjects, are interestingly ill-defined, heavily depending on human creativity and interpretation. I can only name properties of good math education: I learn math best when I am in the middle of the material, and suddenly I "click" and can predict what comes next. The "moment of insight" reminds me of Grant Sanderson's repeatedly emphasized "want you to feel like you could have reinvented