Axiom Math

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.

Axiomatic AI

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

Math Inc

This company develops formal verification infrastructure and autoformalisation tools for enterprises to build and scale reliable, agent-based artificial intelligence applications.

Harmonic

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

PyxiScience

This company develops an artificial intelligence platform providing adaptive mathematics exercises and automated grading of handwritten papers for students and teachers in higher education.

Acrux Education

This company develops AI-powered software that automatically marks handwritten mathematics assessments for schools and teachers.

Imandra

The company develops an automated reasoning platform for the formal verification of algorithms, primarily serving financial institutions and government agencies.

Safe Intelligence

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