Mathematics is a civilization humans built upward from a small set of shared axioms. Like a contract, mathematicians agree on what feels "natural" enough to take for granted, and then construct everything else on top.
Podcast: A 4-hour Interview with Carina Hong: AI for Math, Lean, Proofs from The Book, and Intuition
Carina Hong describes math as a language of structure.
That feels more accurate than saying math is about numbers. A lot of higher math is not about calculating faster. It is about building a world carefully.
Mathematicians begin with axioms. These are the starting assumptions everyone agrees to accept. From there, they define objects, notice patterns, form conjectures, and prove theorems.
And the deeper image she uses is civilization.
Mathematicians sign a kind of contract. They agree on which axioms count as fundamentally true. Some try to use the fewest possible axioms. Others look for the most interesting combination. Either way, the foundation is chosen, not discovered.
Then a theorem becomes a road, tool, or building block for future work. From that foundation, the civilization is built upward.
You observe examples. You notice a pattern. You guess what the next theorem "should" be. Then you prove it. This upward construction is what makes math feel less like calculation and more like art.