Harmonic

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.

Axiom Math

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

Harmonic AI

This company provides a startup database and discovery engine for venture capital firms, corporate development teams, and sales professionals to identify investment and sales targets.

Math Inc

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

Safe Intelligence

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

Axiomatic AI

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

Harmonic Security

This company provides a platform for enterprises to monitor, govern and secure sensitive data when employees use generative artificial intelligence tools and applications.

Harmonic Discovery

The company develops a machine learning platform to design multi-targeted kinase therapeutics for pharmaceutical firms and healthcare providers treating cancer and autoimmune diseases.