Axiom Math, every mention

Scaling Past Informal AI - Carina Hong, Axiom Math Jun 3, 2026 · 48 mentions

• ▶ 1:03 Brandon Anderson It's a pleasure to have Karina Hong, CEO and founder of Axiom Math. 4 times in the scene
• ▶ 2:15 Carina Hong Uh, we are like a seven, eight months old company, so it definitely means a lot to us. 4 times in the scene
• ▶ 11:15 Carina Hong It, it basically, if you have a proof written in the programming lane, and then assuming there's not, no, any like weird things happening, like, you know, unintended, like, you know, use of sorry, which is a tactic that let you take things…
• ▶ 14:13 Carina Hong It means a startup like us with, like, you know, still we raise some money, but lesser compute budget, lesser data budget, then Frontier Lab will be able to match and even exceed, you know, performance on superhuman tasks. 4 times in the scene
• ▶ 18:22 Carina Hong So, for example, some of my friends, um, who currently are at Axiom is, you know, crazy, like, full circle back moment.
• ▶ 20:25 Carina Hong I think a Lean-based system will struggle in those very creative places, which is why we at Axiom actually also invest on something called mathematical discovery. 2 times in the scene
• ▶ 24:51 Carina Hong We want to be able to, say, decompose it, and there's maybe a high level kind of, like, sketch plan that we can make, other people can make, but say, you know, you have Claude give you, like, you know, kind of break it down into 10 things,… 3 times in the scene
• ▶ 46:13 Carina Hong So it's, uh, I think a lot of the investors have pretty high interest about, about Axiom.
• ▶ 50:19 Carina Hong Because when we realize the dream, the company's gonna be worth ten billion. 3 times in the scene
• ▶ 53:49 RJ Haneke What, what, what makes Axiom special? 2 times in the scene
• ▶ 58:54 RJ Haneke So actually, I do just, just because we're talking about litigation, it's not the same thing, but there was a, there was a ERDOS problem that, that, uh, Axiom saw, I don't know if it was Axiom Prover or whatever, is that right? 6 times in the scene
• ▶ 1:06:15 Carina Hong Add, say, a startup like Axiom or one of the other new labs. 3 times in the scene
• ▶ 1:07:18 Carina Hong So we just released AXLE, A-X-L-E, stands for Axiom Lean Engine.
• ▶ 1:14:41 Carina Hong You can partner with Axiom, um, just like how, for example, Frontier Labs, um, partner with 3 times in the scene
• ▶ 1:15:19 Brandon Anderson Why did you decide to start Axiom?
• ▶ 1:22:00 Carina Hong Like, I think Axiom is, Axiom is on the infrastructure stack. 3 times in the scene
• ▶ 1:26:07 Brandon Anderson What, looking forward, what's the biggest bottleneck that you see in the field for both Axiom and maybe just the field of fraud in terms of? 6 times in the scene