Fundraising Fox
/Companies
Sign in

Axiom

13 known investors

Find your way into Axiom

Sign up to see every warm intro you have to Axiom

  • Paths you didn't know you had: your email and LinkedIn already hold routes to the Axiom team. We find them for you
  • 2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
  • Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone

Days of research, done the moment you sign in, with every route ranked by how warm it is.

Sign up with GoogleAlready have an account? Log in

Axiom Math is a platform that enables users to test proof verification, extract theorems, and experiment with proof transformations quickly.

AI & Machine LearningDeep TechEdTech

Founders & leadership

CHCarina Hong
Carina HongFounder / CEOCarina Hong studied mathematics and physics at MIT, where she published research in number theory, combinatorics, theoretical computer science, and probability. She subsequently earned a master's in neuroscience from Oxford University as a Rhodes Scholar, conducted deep learning research at UCL, and was a concurrent PhD candidate in mathematics and JD candidate in law at Stanford University.30 Under 30 2026
CH
Carina Hong Shubho SenguptaFounder
SS
Shubho SenguptaFounder

Investors · 13

B4 Capitallisted by B4 Capital$10M – $50M
Dnx Ventureslisted by Dnx VenturesTokyo · $1M – $5M
Flying Fish Ventureslisted by Flying Fish VenturesSeattle · $500K – $5M

How we know: Flying Fish Ventures's portfolio page · the VCSheet dataset · open dataset · 5k.vc investor directory · Not right? Tell us

Frontline Ventureslisted by Frontline VenturesSan Francisco · $540K – $3.2M

How we know: Frontline Ventures's portfolio page · open dataset · 5k.vc investor directory · Not right? Tell us

Greycroftlisted by GreycroftNew York · $100K – $5M

How we know: Greycroft's portfolio page · the VCSheet dataset · open dataset · 5k.vc investor directory · Not right? Tell us

Juniper Ventures Management, Llclisted by Juniper Ventures Management, LlcSan Francisco

How we know: Juniper Ventures Management, Llc's portfolio page · Not right? Tell us

Madrona Venture Grouplisted by Madrona Venture GroupSeattle · $2M – $10M

How we know: Madrona Venture Group's portfolio page · the VCSheet dataset · open dataset · 5k.vc investor directory · Not right? Tell us

Menlo Ventureslisted by Menlo VenturesSan Francisco · $1M – $20M

How we know: Menlo Ventures's portfolio page · open dataset · 5k.vc investor directory · Not right? Tell us

MVP Ventureslisted by MVP VenturesChicago

How we know: the VCSheet dataset · Not right? Tell us

The E14 Fundlisted by The E14 FundCambridge · $1M – $5M

How we know: The E14 Fund's portfolio page · the VCSheet dataset · Not right? Tell us

Freestyle CapitalreportedSan Rafael · $3M – $5M

How we know: open dataset · 5k.vc investor directory · Not right? Tell us

Toyota VenturesreportedLos Altos

How we know: the VCSheet dataset · Not right? Tell us

Funding

SEC filings, press & company announcements

$200M disclosed across 1 round · 2026

Source: company announcements and press reports — follow each round's link for the claim.

Frequently asked questions

What does Axiom do?
Axiom Math is a platform that enables users to test proof verification, extract theorems, and experiment with proof transformations quickly.
Who founded Axiom?
Axiom was founded by Carina Hong.
Who are Axiom's investors?
Axiom's investors include B Capital Group, B4 Capital, Dnx Ventures, Flying Fish Ventures, Frontline Ventures, Greycroft, Juniper Ventures Management, Llc, Madrona Venture Group and 5 more.
How much funding has Axiom raised?
Axiom has disclosed $200M raised across 1 round.