洪

洪乐潼

Axiom
1ポッドキャスト出演2026期間
よく一緒に出る人
张张小珺×1

ポッドキャスト出演

1 回 · 新しい順
タイトルの言語
日本語のタイトルはまだないため、英語の原題を表示しています。
20261 回
Zhang Xiaojun Podcast2026年4月洪乐潼：让 AI 学会数学，从形式化证明到创业ホスト：张小珺AI for scienceAI researchProgramming LanguagesゲストZH