137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的
张小珺Jùn｜商业访谈录
，张小珺商业访谈录，一档深度长对话播客，聚焦 AI、科技巨头与风险投资，由财经媒体人张小珺主持。
关注
添加评论
点赞
收藏
点踩
分享
查看原文
评论
?
参与讨论
点赞
收藏
点踩
分享