Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →
Matthew Bermanayer +325Theo - t3․ggayer +33AI Engineerayer +6The Buildersayer +1a16zayer +2硅谷101ayer +1SemiAnalysisayer +1Chris WilliamsonayerCheeky PintayerInvest Like The Bestayer

Resultados

1 artículos
Ordenar
TemaAI for scienceIdiomachino simplificado
4:23:11ZH
Zhang Xiaojun Podcast· 20 abr 2026Pódcast · 2 voces洪乐潼：让 AI 学会数学，从形式化证明到创业Invitado: 洪乐潼 · Presenta: 张小珺Axiom 创始人谈数学之美、用 Lean 验证证明，以及她如何从数学研究走向 AI 创业。AI for scienceAI researchProgramming Languages+2