洪

洪乐潼

创始人兼 CEO
1期播客2026时间跨度
常一起出现的人
张张小珺×1

参加过的播客

1 期 · 最新在前
标题显示为
20261 期
Zhang Xiaojun Podcast2026年4月洪乐潼：让 AI 学会数学，从形式化证明到创业主持：张小珺AI for scienceAI researchProgramming Languages嘉宾ZH