Axiom Math, every mention
12 scenes · ← back to Axiom Math
tap a year for its mentions
every year anyone Corinna Hong 13Matt Turck 5
Verbatim, from the transcripts: the passages where Axiom Math comes up
AI is Already Building AI — Google DeepMind’s Mostafa Dehghani
- ▶ 12:36 Matt Turck A couple of weeks ago, we had a fun conversation with Karina Hong of Axiom Math, and we talked about formal verification.
AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
- ▶ 0:41 Matt Turck Today, my guest is Corinna Hong, founder and CEO of Axiom. 4 times in the scene
- ▶ 3:08 Corinna Hong So we started out, um, in July, mid-July, and so Putnam was December, and we were like a four-month-old startup. 2 times in the scene
- ▶ 6:41 Corinna Hong Um, and that's what, what Axiom is trying to do.
- ▶ 12:09 Corinna Hong And Francois is now also at Axiom.
- ▶ 33:45 Corinna Hong And that was like when I think very, very soon after I just basically decided to do Axiom, like fully focused on the company. 2 times in the scene
- ▶ 52:07 Corinna Hong Uh, so Shubo, CTO of Axiom, before that was like, you know, uh, long-term like meta veteran, uh, he was an IC director.
- ▶ 53:38 Corinna Hong I think Axiom is a very, very young company, and we are at, like, you know, the very, very beginning tip, and, and we are already, I personally feel some sort of shock and emotional response, and I know some of my mathematician friends,… 2 times in the scene
- ▶ 56:52 Corinna Hong We have a lot of the initial mathlib people here at Axiom, and it's a very fun team to see them formalize some statements.
- ▶ 58:46 Corinna Hong Uh, and I think that's something that in this kind of talent market, I think people like to work with people who value their intellectual judgment, respect their voice and opinion, and I think Axiom has this sort of very flat, like,…
- ▶ 59:57 Corinna Hong So, so one is, basically that means I have to learn every day because I need to have a certain ground, you know, a basic amount of taste, and also the other people who are senior at the, the company, uh, need to have, research scientists…
- ▶ 1:02:54 Corinna Hong Axiom is like a tribe.