Learnable×Construction + Mathematics×Learnable-Nature
Type: intersection (second-order) Slug: intersection—mathematics-of-construction Parents: intersection—learnable-nature-hippocampal-construction, paper—advancing-mathematics-by-guiding-human-intuition-with-ai Last updated: 2026-05-14 Epistemic status: Extrapolative
The combination
If construction is structure prediction from elements (first intersection), and AI can guide mathematical discovery (paper—advancing-mathematics-by-guiding-human-intuition-with-ai), then: AI could discover the mathematical structure of episodic construction. Not just “construction is like AlphaFold” (analogy) but “construction has a formal mathematical structure that AI can help us discover” (research programme).
What emerges
The math guidance paper shows AI can find new conjectures in knot theory and representation theory. The learnable-nature×construction intersection shows construction is structure prediction. Combine: use AI-guided mathematical exploration to discover the formal algebraic structure of hippocampal scene construction. What group does the recombination operation form? What topology does the space of possible scenes have? What invariants are preserved across constructions?
Gap
The construction hypothesis has never been formalised mathematically. It exists as a verbal theory supported by neuroimaging. Formalisation would make it testable in a much stronger sense and might reveal properties invisible to verbal reasoning.
Generative potential
Research programme: Apply the methodology of the math guidance paper (AI generates conjectures, human verifies) to the domain of episodic construction. Start with a simple formalisation (scenes as tuples of elements, construction as a binary operation on tuples) and use AI to explore what algebraic properties this operation must have to produce the empirical patterns observed in the construction papers (e.g., amnesia patients can’t construct, false memories arise from over-generalised constructions).
Falsification: If construction cannot be formalised in any existing mathematical framework (e.g., no compositional structure is identifiable), the formalisation goal is false.