Open Arsenal

Constraint-driven creativity in formal space.

Axiomata is a constraint-driven neuro-symbolic geometry engine designed to turn formal geometric rules into a generative system for structured creativity. Instead of treating geometry as a static field of problem-solving, Axiomata reframes it as an evolving space of possible constructions, where every valid transformation expands the system’s understanding of what can exist within a set of axioms. It blends symbolic reasoning with neural intuition to explore geometric structures that are both logically consistent and creatively novel.

At its core, Axiomata uses a symbolic geometry engine to maintain strict rule-based validity across all constructions. Points, lines, circles, and their relationships are represented as a dynamic graph that is continuously validated and expanded through deterministic inference. This ensures that every state in the system remains mathematically sound, and every transformation can be traced through a verifiable chain of reasoning. The result is a stable foundation for exploring complex geometric configurations without losing logical integrity.

On top of this symbolic layer sits a neural construction proposal system that introduces guided creativity into the reasoning loop. When the symbolic engine reaches a limitation or underdetermined state, the neural component suggests new constructions—such as auxiliary points, intersections, or symmetry lines—that may unlock further reasoning. These suggestions are not final answers, but structured hypotheses that are evaluated and validated by the symbolic system. This interaction creates a hybrid loop of deduction and intuition that allows the system to explore far beyond traditional rule-based solvers.

Axiomata also includes a branching exploration engine that treats each geometric configuration as part of a larger state space. Multiple valid transformations can be explored in parallel, forming a tree of possible geometric worlds. These branches can be scored, compared, and analyzed based on criteria such as symmetry, structural elegance, constraint density, and novelty. Combined with visualization tools and persistent state tracking, Axiomata enables both rigorous mathematical exploration and creative geometric design within a unified system.