Carina Hong(@CarinaLHong):Was a pretty fun podcast where I got to nerd out with @mattmcilwain about math a bit! We also covered the history of ATP, ITP, and how they converge with modern AI. Thanks to friendos at Madrona for supporting Axiom since day 1.

2026.05.13 16:50

Was a pretty fun podcast where I got to nerd out with @mattmcilwain about math a bit! We also covered the history of ATP, ITP, and how they converge with modern AI. Thanks to friendos at Madrona for supporting Axiom since day 1.

커뮤니티로 전달

인기 있는 사용자

4.2M 팬

1.9M 팬

26.4M 팬

100.9K 팬

569.2K 팬

181.5K 팬

10.5M 팬

256.8K 팬

16.8M 팬

34.2K 팬

3.4M 팬

28.2K 팬

547.6K 팬

231.9K 팬

4.8M 팬