SkepSkep
All episodes
Summation with Auren Hoffman — Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software
Not scored yet48m·2026-03-24·Technology

Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software

Summation with Auren Hoffman

Vlad Tenev (Robinhood co-founder/CEO) and Tudor Achim (former helm.ai CTO) are the founders of Harmonic, an AI lab pioneering the path toward mathematical superintelligence. Together, they developed Aristotle, a model that eliminates hallucinations by reasoning in Lean code rather than natural language. By shifting…

Listen in your app
Buzzmeter · cross-platform
Not scored yet

We score an episode from what we can actually measure — its reach and engagement, what listeners say about it, and what it covers. We don't have those signals for this one yet, so it doesn't get a number.

Hive Vote · Skep listeners
New on SkepAwaiting the hive's first votes

Buzzmeter says it's buzzing across platforms — the Hive Vote says whether the people who actually listened liked it.

Rate this episode

Add your vote to the Hive — listeners rate every episode after they finish.

Rate this episode
Recent reviews
  • No reviews yet — be the first.

One great episode in your inbox, daily — free.

One email a day, unsubscribe anytime. No spam, ever.