Results
3 articlesSort
4:23:11ZH → English
Zhang Xiaojun Podcast· Apr 20, 2026Podcast · 2 speakersCarina Hong: Teaching AI Mathematics, from Formal Proof to Founding AxiomGuest 洪乐潼 · Host 张小珺The Axiom founder discusses the beauty of mathematics, verifying proofs in Lean, and her path from mathematical research to AI entrepreneurship.
1:09:11ZH → EnglishZhang Xiaojun Podcast· Aug 18, 2025Podcast · 2 speakersGuang Mi on the Diverging Paths of Large Models, AI Products, and the Startup WindowGuest 广密 · Host 张小珺Guang Mi reviews how model companies are splitting into different strategies, the brand moat around ChatGPT, and new opportunities opened by products such as Claude Code. He believes the window for AI startups is shrinking, but great product experiences, sound team judgment, and non-consensus innovation can still create room to win.
39:05ZH → EnglishZhang Xiaojun Podcast· Sep 25, 2024Podcast · 2 speakersWang Xiaochuan on o1, Reinforcement Learning, and Slow ThinkingGuest 王小川 · Host 张小珺Baichuan Intelligence’s founder discusses possible technical paths behind o1, healthcare applications, and choices for AI startups.