洪

洪乐潼

Axiom

1episodios de pódcast2026años

APARECE A MENUDO CON

张张小珺×1

Apariciones en pódcasts

1 episodios · más recientes primero

Títulos en

Ver título original

Aún no hay títulos en español; se muestran los originales en inglés.

20261 episodios

Zhang Xiaojun Podcastabr 2026洪乐潼：让 AI 学会数学，从形式化证明到创业Presenta: 张小珺AI for scienceAI researchProgramming LanguagesInvitadoZH