Axiom Math

Axiom Math is focused on building AI systems for rigorous mathematical reasoning rather than surface-level pattern matching. Its work highlights proof-driven thinking, formal verification, and tools designed to tackle difficult problems with greater depth and reliability.

NewsHeat chart

Week
Month
Year

Media news
Corp news

Click to unlock the chart

The data in the chart above is based on data derived from our proprietary XP calculation model and may be changed, adjusted and updated without prior notice

Company Valuation

Valuation
Share Price
Cumulative Funding

The data in the tables and charts is based on data from public sources and although we make every effort to compile the data, it may not coincide with the actual data of the issuer.

Funding Round

Funding Amount

Post-Money Valuation

Share Price

Series A12 Mar, 2026

***

Seed1 Oct, 2025

***

*** - To view the data, please log into your account or create a new one.

News related to Axiom Math4

Sort by

Axiom Math

Nov 6, 2026 •Show on chart

Axiom Math wants to keep AI slop out of mathematics - TechCrunch

As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup's AI agents just formally verified the Stacks Project, ...

https://techcrunch.com/2026/11/05/axiom-math-wants-to-keep-ai-slop-out-of-mathematics/

Axiom Math

Apr 16, 2026 •Show on chart

Axiom Math's Carina Hong Explains How She Attracts Top AI Talent

AI is transformative, but it's still often wrong. Carina Hong wants to fix that problem with her startup, Axiom Math. She sat down with Senior Correspondent ...

https://www.businessinsider.com/axiom-math-carina-hong-how-she-attracts-top-ai-talent-2026-4

Axiom Math

Apr 15, 2026 •Show on chart