絞り込み結果
3 件並び順
4:23:11ZH洪乐潼:让 AI 学会数学,从形式化证明到创业ゲスト 洪乐潼 · ホスト 张小珺Axiom 创始人谈数学之美、用 Lean 验证证明,以及她如何从数学研究走向 AI 创业。
1:09:11ZH广密谈大模型分化、AI 产品与创业窗口ゲスト 广密 · ホスト 张小珺广密复盘模型公司的战略分化、ChatGPT 的消费品牌壁垒,以及 Claude Code 等产品带来的新机会。他认为 AI 创业窗口正在缩短,但产品体验、团队判断和非共识创新仍能打开空间。
39:05ZH王小川:o1、强化学习与从快思考走向慢思考ゲスト 王小川 · ホスト 张小珺百川智能创始人解读 o1 的可能技术路径,讨论强化学习、医疗场景和创业公司的选择。









