Axiom Math
Axiom Math builds an AI mathematician to solve complex problems and generate new mathematical knowledge.
About
Technology stack
detected 2026-06-16No comments yet. Be the first to share your take.
What does Axiom Math do?
Axiom Math is developing an AI system that not only solves complex mathematical problems but also generates new mathematical knowledge by proposing conjectures. The model produces rigorous, step-by-step proofs that can be independently verified. This approach aims to transform English-language math into code, enabling the AI to create and validate new problems that push the boundaries of existing knowledge.
How much funding has Axiom Math raised?
Axiom Math has raised a total of $64M in funding. The most recent round on record is Seed.
Where is Axiom Math headquartered?
Axiom Math is headquartered in San Francisco, United States.
When was Axiom Math founded?
Axiom Math was founded in 2025.
What industry does Axiom Math operate in?
Axiom Math operates in AI, SaaS, Deep Tech, Mathematics, NeoLab.