Mathematics: Creation Versus Verification

The traditional formalist conception identifies mathematics with logical deduction from axioms to theorems.

But this confuses two fundamentally different activities:

Creation: Finding or constructing something mathematically meaningful.

Verification: Establishing that a proposed mathematical statement follows logically from specified assumptions.

Creation involves language, analogy, intuition, computation, experimentation and imagination. Verification involves precise logical rules.

A logical proof can certify a discovery, but it does not explain why the discovery was made or why it matters.

The emergence of mathematical reasoning in LLMs makes this distinction particularly striking.

AI was trained primarily to process language, not to execute a predetermined calculus of formal deduction. Nevertheless, mathematical reasoning emerged among its capabilities.

This suggests that mathematical creation is more closely related to language than to formal logic, while formal logic remains the instrument for certifying mathematical claims.

Leibniz dreamed of turning reasoning into calculation. Modern AI suggests that mathematical reasoning can instead arise from learning language.

The essential distinction is therefore not between human and machine mathematics, but between two functions of mathematics:

Language generates possibilities. Logic tests necessities.

Or, more sharply:

Discovery creates mathematical meaning. Proof certifies mathematical validity.

Mathematics cannot be reduced to either one alone.