Theo Jaffee Podcast

Alok Singh - AI, Math, Philosophy, and Erewhon


Listen Later

Alok Singh researches provable AI safety via formal verification using Lean at Max Tegmark’s Beneficial AI Foundation, and writes about mathematics at alok.github.io.

0:00 - Intro

1:12 - Typing

8:45 - Elon’s demo day

22:42 - Animation, discrete vs continuous

29:04 - Number systems

35:26 - Nonstandard analysis

43:04 - Reasoning models and o3

50:45 - Fiction

55:48 - o1 and Linguistics

58:50 - Hyperfinite sets

1:11:58 - AI for math

1:16:01 - The field with one element

1:23:17 - Lean

1:31:53 - Lean for formally verifying superintelligence

1:36:03 - Ayn Rand

1:47:46 - Erewhon

1:57:56 - Proto-Indo-European

2:03:18 - More Erewhon

2:14:41 - Butler and Kaczynski

2:50:19 - Outro

Alok’s Website: https://alok.github.io/

Alok’s Twitter: https://x.com/TheRevAlokSingh

Beneficial AI Foundation: http://beneficialaifoundation.org/

Lean: https://lean-lang.org/

Transcript: https://www.theojaffee.com/p/podcast-alok-singh

More Episodes

YouTube: https://tinyurl.com/57jr42wk

Spotify: https://tinyurl.com/mrxkkhb4

Apple Podcasts: https://tinyurl.com/yck8pnmf

My Twitter: https://x.com/theojaffee

My Substack: https://www.theojaffee.com

...more
View all episodesView all episodes
Download on the App Store

Theo Jaffee PodcastBy Theo Jaffee


More shows like Theo Jaffee Podcast

View all
Conversations with Tyler by Mercatus Center at George Mason University

Conversations with Tyler

2,426 Listeners

Future of Life Institute Podcast by Future of Life Institute

Future of Life Institute Podcast

107 Listeners

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll | Wondery

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

4,149 Listeners

ManifoldOne by Steve Hsu

ManifoldOne

92 Listeners

Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

Machine Learning Street Talk (MLST)

89 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

489 Listeners

Theories of Everything with Curt Jaimungal by Theories of Everything

Theories of Everything with Curt Jaimungal

33 Listeners

Razib Khan's Unsupervised Learning by Razib Khan

Razib Khan's Unsupervised Learning

209 Listeners

Joe Lonsdale: American Optimist by Joe Lonsdale

Joe Lonsdale: American Optimist

161 Listeners

"Econ 102" with Noah Smith and Erik Torenberg by Turpentine

"Econ 102" with Noah Smith and Erik Torenberg

151 Listeners

"Live Players" with Samo Burja and Erik Torenberg by Turpentine

"Live Players" with Samo Burja and Erik Torenberg

39 Listeners

AI and I by Dan Shipper

AI and I

37 Listeners

Based Camp | Simone & Malcolm Collins by Based Camp | Simone & Malcolm Collins

Based Camp | Simone & Malcolm Collins

130 Listeners

Complex Systems with Patrick McKenzie (patio11) by Patrick McKenzie

Complex Systems with Patrick McKenzie (patio11)

133 Listeners

Doom Debates by Liron Shapira

Doom Debates

10 Listeners