This 24-Year-Old Raised $64M to Build an AI Smarter Than the World's Best Mathematicians

episode

Previously titled “Building Mathematical Superintelligence: A Stanford Dropout's $64M Bet on AI Math” — renamed by the publisher on Aug 4, 2026

The Neuron: AI Explained 59 min not yet transcribed

▲ 0

Transcript

This episode hasn't been transcribed yet Upvotes decide what gets transcribed next — 0 so far. Sign in to upvote

More from The Neuron: AI Explained

He Got 1 Million Followers in 30 Days—Here's How AI Changed Everything 56 min · 12 Apr 2026

BONUS: We Built an App Live in 10 Minutes with AI (Vercel's CPO Shows How) 1h 59m · 10 Apr 2026

This DeepMind Vet Raised $2B to Open-Source Frontier AI 46 min · 08 Apr 2026

BONUS: How We Would Teach AI From Scratch in 2026 2h 23m · 03 Apr 2026

Google's Secret Robotics Play That Nobody's Talking About 49 min · 01 Apr 2026

The Hidden Industry That Controls The Tech Your Company Uses 1h 11m · 30 Mar 2026

All episodes from The Neuron: AI Explained →

Report any issue

Source

Recorded30 Dec 2025

Publisheranchor.fm ↗

Handlerec:14972439

Show notes

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 just solve math problems but discovers new theorems, proves them formally, and gets smarter with each iteration. Carina explains how her team solved a 130-year-old problem about Lyapunov functions, disproved a 30-year-old graph theory conjecture, and why math is the secret "bedrock" for everything from chip design to quant trading to coding agents. We also discuss the fascinating connections between neuroscience, AI, and mathematics.Lean more about Axiom: https://axiommath.ai/ Subscribe to The Neuron newsletter: https://theneuron.ai

Ask this episode

“What did the council decide on item 42?” — answered with the speaker and the moment.

Sign in