최근 업데이트된 채널

선택하면 해당 채널만 표시모든 채널 보기 →
Matthew Berman오늘 +20No Priors: AI, Machine Learning, Tech, & Startups오늘 +1AI Engineer오늘 +24The Builders오늘 +1Cheeky Pint오늘 +1Cognitive Revolution "How AI Changes Everything"어제 +11Theo - t3․gg어제 +115Sequoia Capital어제 +1a16z어제 +5Reid Hoffman어제 +1

필터 결과

1개
정렬
채널Zhang Xiaojun Podcast주제AI for science
4:23:11ZH
Zhang Xiaojun Podcast· 2026년 4월 20일팟캐스트 · 2명洪乐潼：让 AI 学会数学，从形式化证明到创业게스트 洪乐潼 · 진행자 张小珺Axiom 创始人谈数学之美、用 Lean 验证证明，以及她如何从数学研究走向 AI 创业。AI for scienceAI researchProgramming Languages+2