This 24-Year-Old Founder Raised $64M to Build World’s First AI Mathematician | Axiom, Carina HongEO stands for Entrepreneurship & Opportunities.Follow the podcast & turn on notifications for new…
(00:49) - Astra Reactions (21:43) - Jobs Report (41:20) - The Dyson Debate (51:17) - Cybercab Roll Out (58:00) - Hunter Somerville discusses his role as co-head of venture and growth equity at…
Math might be the last programming language AI hasn't conquered. In this episode of First Commit, Eliya Elon and Laura Hamilton sit down with Carina Hong, founder and CEO of Axiom, the company…
Carina Hong, Doni Bloomfield, and Sam Pasupalak join AI:AM for a full episode on mathematical superintelligence, biosecurity law, and enterprise world models. The conversation moves from Lean-based…
In 2025, seven-month-old startup Axiom solved all 12 of the problems Putnam exam (scoring 8/12 in the time limit) a prestigious undergraduate math exam. The 12/12 score is better than the top…
There's a theorem being tested about how AI reaches general intelligence. Carina Hong's answer: through mathematics. Carina is the founder of Axiom, and in less than a year of building, her team's AI…
Just nine months ago, Morgan Prize-winning prodigy Carina Hong was still on an academic track, pursuing a joint law degree and math PhD at Stanford. Now, as the founder of startup Axiom Math, she…
Sign up for TBPN’s daily newsletter at TBPN.com (05:56) - AI vs Dog Cancer (20:45) - 𝕏 Timeline Reactions (40:20) - Stratechery: "Agents Over Bubbles" (01:01:08) - 𝕏 Timeline Reactions (01:06:35) -…
What if AI didn’t just sound right — but could prove it? In this episode of the MAD Podcast, Matt Turck sits down with Carina Hong, a 24-year-old former math olympiad competitor and Rhodes Scholar,…
24歳の数学者カリーナ・ホン率いるAxiom Mathが6400万ドルを調達し、新たな数学的知識を創造・証明するAI開発に挑んでいる。MetaやGoogleのトップ人材を集結させ、言語Leanを用いて推論の正しさを保証するシステムを構築。既に難問解決や競技会で実績を上げ、金融や設計など幅広い分野への応用と信頼できるAIの実現を目指している。 ## 参考記事 〇AI startup Axiom…
Formal verification already consumes years of human effort. In this episode, Lukas Biewald talks with Carina Hong, Founder & CEO of Axiom, about why verification is becoming the real bottleneck in…
In this episode of Founded & Funded, Madrona Partner Jon Turow hosts a live conversation with Carina Hong, Founder & CEO of Axiom, and Byron Cook, VP & Distinguished Scientist at AWS. Carina is…
Carina Hong dropped out of Stanford's PhD program to build "mathematical superintelligence" — and just raised $64M to do it. In this episode, we explore what that actually means: an AI that doesn't…
Is math the ultimate test for AI reasoning? Or is next-token prediction fundamentally incapable of discovering new truths and discovering conjectures? Carina Hong, co-founder and CEO of Axiom Math,…
In this episode, Carina Hong, founder and CEO of Axiom, joins us to discuss her work building an "AI Mathematician." Carina explains why this is a pivotal moment for AI in mathematics, citing a…
Carina Hong is CEO of Axiom Math, where they're building a self-improving superintelligent reasoner, starting with an AI mathematician. She's a Rhodes Scholar, first-gen college grad and mathematics…