A collaborative, extensible foundation for K–16 mathematics education
We're creating the computable knowledge infrastructure that enables personalized learning, rigorous assessment, and AI-powered instruction—built on open standards and accessible to all.
Our infrastructure is open source and freely available to all educators, researchers, and developers committed to improving mathematics education.
Grounded in rigorous mathematics, cognitive science, and pedagogical research to ensure conceptual integrity and educational validity.
Built through partnerships with educators, mathematicians, technologists, and assessment experts working toward a shared vision.
Designed to evolve with new research, accommodate diverse frameworks, and support innovation in educational technology.
Mathematics education operates without a unified, machine-readable representation of mathematical knowledge
Current standards are natural-language descriptions that lack formal mathematical specificity, explicit semantic structure, and machine-actionable coherence.
Assessment platforms treat standards as flat tags, leading to misalignment, inconsistent rigor, and inability to identify true conceptual understanding.
Adaptive systems rely on item-level statistics rather than conceptual representations, producing unreliable predictions and and weak trajectory modeling.
A multi-layered semantic architecture that transforms how mathematics is represented and reasoned about
A semantic network capturing standards, skills, concepts, prerequisites, and learning progressions in machine-readable form—enabling intelligent reasoning about mathematical knowledge.
Formal definitions of mathematical objects and their relationships, bridging natural language descriptions with rigorous mathematical constructs for both symbolic and conceptual reasoning.
Canonical models of problem families, representations, and transformations that enable assessment generation, scaffolding, diagnostics, and misconception identification.
Probabilistic mastery frameworks tracking conceptual growth, cross-domain interactions, and longitudinal development—scaling to millions of learners while maintaining interpretability.
Open infrastructure that fundamentally improves mathematics education for everyone
Enable learning experiences tailored to individual conceptual profiles and developmental trajectories—grounded in mathematical coherence, not proprietary algorithms.
Help students experience mathematics as connected knowledge where topics build logically, prerequisites are clear, and the path forward is visible.
Support districts and educators in creating assessments that are psychometrically sound, conceptually balanced, and aligned to meaningful learning trajectories.
Provide teachers with actionable insights, high-quality resources, automated scaffolding tools, and clear visibility into student thinking and misconceptions.
K–16 Standards
Source & Accessible
Educators Welcome
Students Served
Our open infrastructure supports the entire mathematics education ecosystem
Access rigorous assessment tools, curriculum alignment resources, and data-driven insights—all built on open, validated infrastructure.
Build next-generation AI tutors, adaptive platforms, and learning tools on a foundation that prevents hallucination and ensures mathematical soundness.
Create psychometrically robust items, balance rigor across assessments, and ensure construct coverage using shared semantic standards.
Improve placement, remediation, and pathway design with coherent progressions that bridge K–12 and college mathematics.
Enhance materials with semantic alignment verification, standards mapping, and research-based sequencing recommendations.
Study mathematical cognition, learning trajectories, and instructional effectiveness using standardized, computable representations.
We're seeking partners, contributors, and collaborators who share our vision of open, rigorous educational infrastructure.