洪乐潼访谈_新浪新闻

张小珺Benita

26-04-20 11:20 微博认证：财经作者、播客《张小珺Jùn｜商业访谈录》主理人

#微博声浪计划# #听见微博# 137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的 http://t.cn/AXxG3imH