Ergebnisse
2 ArtikelSortieren
4:23:11ZH
Zhang Xiaojun Podcast· 20. Apr. 2026Podcast · 2 Stimmen洪乐潼：让 AI 学会数学，从形式化证明到创业Gast: 洪乐潼 · Moderation: 张小珺Axiom 创始人谈数学之美、用 Lean 验证证明，以及她如何从数学研究走向 AI 创业。
1:09:11ZHZhang Xiaojun Podcast· 18. Aug. 2025Podcast · 2 Stimmen广密谈大模型分化、AI 产品与创业窗口Gast: 广密 · Moderation: 张小珺广密复盘模型公司的战略分化、ChatGPT 的消费品牌壁垒，以及 Claude Code 等产品带来的新机会。他认为 AI 创业窗口正在缩短，但产品体验、团队判断和非共识创新仍能打开空间。