Axiom Math

Company

A startup founded by Carina Hong, focused on formal verification for mathematics and AI. Recently raised $200 million in Series A funding at a $1.6 billion valuation.

Mentioned in 1 video

Videos Mentioning Axiom Math

Scaling Past Informal AI - Carina Hong, Axiom Math

Scaling Past Informal AI - Carina Hong, Axiom Math

Latent Space

A startup founded by Carina Hong, focused on formal verification for mathematics and AI. Recently raised $200 million in Series A funding at a $1.6 billion valuation.