Monday, 2 Nov 2026The AGI industry ledgerPartnerships · About

Home / Labs / Axiom Math

#75 on the AGIX Leaderboard · score 8

Axiom Math

AI mathematician combining language models and formal proof.

HiringFunding

TypeCode, maths & science models
Founded2024
FoundersCarina Hong
HeadquartersPalo Alto, US
Websiteaxiommath.ai

Axiom Math hiring

3open roles
2research & model roles

Axiom Math lists 3 open roles on its Ashby job board today, and 2 of them are research, model, training or inference roles. Top locations: Palo Alto (3).

Source: Axiom Math careers (Ashby), read 2 Nov 2026. All research roles at tracked labs.

Axiom Math funding filings

We found no Form D filed by Axiom Math itself under this name. Many labs raise through foreign entities or file under a different legal name.

Investment vehicles named after Axiom Math

3 special-purpose vehicles carrying the Axiom Math name have filed a Form D, 3 of them in the last 12 months. SPVs pool money from smaller investors to buy into one company, often on the secondary market, so a rising count is a sign of investor demand.

  • Fearless Axiom Math SPV 1 LLC2 Apr 2026
  • GSBackers Axiom Math Fund I a Series of CGF2021 LLC26 Mar 2026
  • GSBackers Axiom Math Fund II a Series of CGF2021 LLC25 Mar 2026

Source: SEC EDGAR full-text search for "Axiom Math", Form D. Name matches can include unrelated filers; tell us if one is wrong.

Axiom Math: quick answers

Is Axiom Math hiring?

Yes. Axiom Math had 3 open roles on its job board on 2 Nov 2026, including 2 research and model roles.

Who founded Axiom Math?

Axiom Math was founded in 2024 by Carina Hong.

People at Axiom Math

Similar labs

Something wrong or missing? Send a correction. We fix sourced errors within a day.