Chaînes mises à jour récemment

Choisissez-en une pour ne voir qu’elleToutes les chaînes →
Matthew Bermanaujourd’hui +20AI Engineeraujourd’hui +24The Buildersaujourd’hui +1Cognitive Revolution "How AI Changes Everything"hier +1Theo - t3․gghier +115Sequoia Capitalhier +1a16zhier +5Reid Hoffmanhier +1Chris Williamsonhier +1Conversations with Tylerhier

Résultats

1 articles
Trier
ChaîneZhang Xiaojun PodcastThèmeAI for scienceVoix2 voix
4:23:11ZH
Zhang Xiaojun Podcast· 20 avr. 2026Podcast · 2 voix洪乐潼：让 AI 学会数学，从形式化证明到创业Invité : 洪乐潼 · Anime : 张小珺Axiom 创始人谈数学之美、用 Lean 验证证明，以及她如何从数学研究走向 AI 创业。AI for scienceAI researchProgramming Languages+2