Axiomatic AI

Imagination and Rigor, in Harmony

Founded 2024 · $6.0M raised

Founded
2024
Business Model
B2B
Total Funding
$6.0M
Last Round
$6.0M Venture Round
Rounds
1

About

Axiomatic AI accelerates engineering workflows through rigorous, physics-based verification across photonics, electronics, thermal, mechanics, and signal domains. Its Ax-Prover technology combines AI reasoning with formal proof systems to eliminate hallucinations, outperforming leading AI systems on mathematical reasoning benchmarks such as NuminaMath, AbstractAlgebra, and QuantumTheorems. The company partners with industry players like MPI Corporation and Lightium to bring AI-driven testing to photonic integrated circuit (PIC) manufacturing, and is backed by investors including Kleiner Perkins and Propagator Ventures.

Summary

Axiomatic AI is an Artificial Intelligence company, founded in 2024. It has raised $6.0M in total across 1 round. Investors include Kleiner Perkins and Two Small Fish Ventures.

Tech & App Stack

2 technologies & apps tracked

Every product and vendor across these categories, with where each signal came from.

Create a free account with 25 free credits every month, no card needed, to unlock the full tech & app stack, funding history, and valuations.

Funding History

Venture RoundFunding Round
$6.0M

Investors

Similar Companies

Your company? Embed this profile

Add the live badge to your site — it stays current as your funding data updates.

Axiomatic AI on Indexed.vc
<a href="https://indexed.vc/companies/axiomatic-ai"><img src="https://indexed.vc/api/badge/company/axiomatic-ai" alt="Axiomatic AI on Indexed.vc" width="260" height="76" /></a>