洪

洪乐潼

Axiom
1Podcast-Folgen2026Zeitraum
OFT ZUSAMMEN MIT
张张小珺×1

Podcast-Auftritte

1 Folgen · neueste zuerst
Titel auf
Titel auf Deutsch gibt es noch nicht – angezeigt wird das englische Original.
20261 Folgen
Zhang Xiaojun PodcastApr. 2026洪乐潼：让 AI 学会数学，从形式化证明到创业Moderation: 张小珺AI for scienceAI researchProgramming LanguagesGastZH