Large language models can generate and verify proofs by recombining known moves, but may fundamentally lack the mechanisms to originate new mathematical concepts; as AI makes proof cheaper, mathematical value will shift toward creative modes current systems cannot yet perform.

Main Finding

Assessing whether large language models (LLMs) can do mathematical invention is underspecified unless we distinguish multiple, mechanistically distinct modes of mathematical creativity. Gangloff identifies four such modes (plus a cross-cutting axis about motivation) and argues these modes are likely non‑substitutable: competence in the recombinatory/search behaviors LLMs currently exhibit does not imply competence in the other modes that require inventing genuinely new conceptual primitives. As automated proof generation and verification get cheaper, mathematical value will migrate toward the modes current systems cannot yet perform, so evaluations and economic decisions should be organized around this taxonomy rather than aggregate benchmarks.

Key Points

• Peircean frame: The paper builds on Peirce’s deduction/induction/abduction trichotomy and on recent work (e.g., Zahavy 2026) arguing LLMs are strong at induction and deduction but weak at the “abductive jump” that generates new axioms or primitives.
• Four mechanistically distinct modes of mathematical meaning‑making:
• Reflexive mathematics — formalizing a mathematical practice itself (examples: Turing’s formalization of computation; Boole; Gentzen; Gödel). The main challenge is object selection: deciding which practice to treat as an object to be formalized.
• Analogical mathematics — importing structure from the sciences and repurposing it abstractly (examples: Fourier → harmonic analysis; entropy → Kolmogorov–Sinai invariant). This mode plausibly requires interventionist/world-model grounding to surface invariant quantities.
• Problem‑driven mathematics — new concepts arising from trying to solve a specific problem. Subdivide into existential/constructive (finding witnesses or constructions; many current AI successes fall here) versus structural/universal (introducing new organizing objects/theories, e.g., Galois theory, non‑Euclidean geometry).
• Bridging distant domains — creating value by connecting fields with no obvious prior relation (paper develops this as a distinct historical route).
• Cross‑cutting axis: a distinction between claims generated because a pattern was observed and claims adopted as strategic targets whose truth is sought post hoc (illustrated via conjecture formation).
• Architectural diagnosis: transformer‑based systems appear to operate largely by recombining and searching over a learned library of existing moves/fragments; this explains strong performance on existential search, in‑space deduction, and straightforward transfers but predicts limits on inventing new kinds of conceptual primitives.
• Non‑substitutability thesis: because recombination over a fixed candidate type cannot produce genuinely new types, systems strong in recombination/search cannot in principle reach modes that demand new primitives (this is framed as a completeness, not just efficiency, claim—contingent on whether current systems are indeed recombination engines).
• Trend in mathematical labor/value: as AI reduces the cost of proof generation and verification (Tao 2026 and others), scarce human value shifts toward the upstream creative acts (object selection, analogical import, bridging, and structural invention). There is also a Goodhart risk if metrics (e.g., number of proofs) become targets.
• Empirical and methodological grounding: the paper uses historical case studies, architecture‑level reasoning about transformers, and cites nascent empirical ML work (e.g., introspection and concept‑injection studies; autonomous discovery systems like FunSearch, AlphaEvolve) to support its claims.

Data & Methods

• Methodology: conceptual/theoretical analysis combining:
  • Historical case studies of mathematical invention (Turing, Boole, Gentzen, Gödel, Fourier, Kolmogorov–Sinai/Ornstein, Galois, non‑Euclidean geometry).
  • Architecture‑level accounts of transformer‑based LLM behavior (recombination/search hypothesis).
  • Synthesis of recent empirical ML findings (introspection/concept injection experiments; automated mathematical discovery systems; studies of arithmetic heuristics and proof generation).
  • Taxonomy construction and argumentation about non‑substitutability based on mechanistic differences.
• No original experimental dataset: argument is primarily theoretical, grounded by literature review and interpretation of existing empirical studies.
• Empirical claims are qualified as conjectural where appropriate—e.g., the diagnosis that current systems are recombination engines is inferred from observed patterns and existing studies, not proven.

Implications for AI Economics

• Evaluation and benchmarking:
  • Aggregate benchmarks that conflate different modes of mathematical creativity are misleading. Economic valuation, R&D targets, and procurement should use mode‑specific evaluations (reflexive, analogical, problem‑driven/existential, structural, bridging).
• R&D and investment priorities:
  • Investments focused solely on improving proof generation/verification will yield diminishing returns to economic value in pure mathematics; funding should instead target capabilities needed for the harder creative modes (e.g., interventionist world models, causal/analogical abstraction mechanisms, systems that can propose new object types).
  • Support for hybrid systems that combine embodied/world‑model simulation, richer counterfactual intervention, and search over richer representational types may unlock analogical and bridging modes.
• Labor markets and task reallocation:
  • Tasks centered on proof generation, verification, and routine exposition are likely to be automated or commoditized first—reducing demand for labor in those tasks and shifting premium toward human (or advanced AI) skills in conceptual invention, problem selection, and cross‑domain synthesis.
  • Academic and industrial roles may bifurcate: verification/execution roles (automatable) vs. ideation/selection roles (scarcer, higher value).
• Goodhart and incentive risks:
  • If funding and corporate incentives measure success by easily quantifiable outputs (number of proofs, solved benchmarks), research may be steered away from the creative modes that drive long‑term value. Policymakers and funders should design incentives to preserve investment in upstream creativity.
• Productization and markets:
  • Short‑term commercial products will profit from “proof‑as‑a‑service” and automated theorem proving. Long‑term sources of competitive advantage will be tools and services that aid concept invention, analogical transfer, or cross‑disciplinary synthesis.
• Policy and funding implications:
  • Public research funding and academic evaluation should favor projects and benchmarks that explicitly target non‑recombinatory creative modes to avoid premature obsolescence of creative scientific labor.
  • Intellectual property and credit systems may need reform to account for value created by AI in generation vs. the still‑scarce act of conceptual invention.
• Risk of misallocation:
  • Overestimating LLMs’ capacity for genuine invention risks misallocating capital and labor (e.g., replacing human researchers prematurely); underestimating potential for analogical gains (if world models improve) risks missing investment opportunities.

Overall, Gangloff’s taxonomy reframes where economic value and risk will accumulate as LLMs improve: measurable proof production becomes cheaper and more automatable, while upstream creative acts—object selection, analogical import, domain bridging, and structural invention—become the bottleneck and the locus of economic scarcity. Economic actors (funders, firms, regulators) should therefore reorient evaluations, incentives, and R&D toward those modes.