COMPANY PROFILE · /axiomatic-ai
A
Axiomatic AI
AI mathematics verification startup focused on formal verification of AI-generated proofs and reasoning. Secured $18M for math verification efforts, competing in similar space to Axiom Math.
· USA· founded 2023reported
Fresh · 9d ago
Latest valuation
—
Annual Recurring Revenue
—
Headcount
—
Funding total
$18M
OVERVIEW
Mentioned alongside Axiom Math in verified AI space. Mid-stage funding.
Status
active
Tier
master-list
Profitability
—
Pricing
—
FUNDING HISTORY · 0
No funding rounds on file.
PRODUCTS · 0
No products catalogued yet. Press Refresh above to ask the research agent.
TEAM · 0 key people
No people linked.
SOURCES · 0 cited
No citations stored yet. Run the research agent to attach per-claim sources.