Math Inc

Axiom Math

This company develops artificial intelligence systems for formal mathematical reasoning and automated proof verification for developers, researchers and financial institutions.

AI reasoning engine

This company develops verified artificial intelligence systems that solve complex mathematical problems and prove theorems for researchers in science, engineering and finance.

Logical Intelligence

This company develops agentic reasoning and orchestration systems for sectors such as energy infrastructure, advanced manufacturing, semiconductors and formal software verification.

Neuromorphic Labs

This company develops artificial intelligence infrastructure software providing verifiable trust and governance for production systems to organisations deploying models and agents at scale.

Axiomatic AI

The company develops an artificial intelligence verification platform for engineering and science organisations to design and build complex hardware systems.

CodeIntegrity

This company develops a deterministic runtime control layer that provides security guardrails and policy enforcement for autonomous AI agents used by enterprise organisations.

Harmonic

This company develops mathematical artificial intelligence models that provide verified reasoning for developers, researchers and the general public.

Safe Intelligence

This company develops formal verification and validation software for machine learning models used by developers in finance, mobility, robotics and aviation sectors.