最近更新的频道

点选即可只看该频道浏览全部频道 →
Matthew Berman昨天 +231AI Engineer昨天 +6Theo - t3․gg昨天 +11The Builders昨天 +1a16z昨天 +2硅谷101昨天 +1SemiAnalysis昨天 +1Chris Williamson昨天Cheeky Pint昨天Invest Like The Best昨天

筛选结果

1 篇
排序
频道Zhang Xiaojun Podcast主题Programming Languages
4:23:11ZH
Zhang Xiaojun Podcast· 2026年4月20日播客 · 2 人对谈洪乐潼：让 AI 学会数学，从形式化证明到创业嘉宾 洪乐潼 · 主持 张小珺Axiom 创始人谈数学之美、用 Lean 验证证明，以及她如何从数学研究走向 AI 创业。AI for scienceAI researchProgramming Languages+2