最近更新的频道

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

筛选结果

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