即刻App
年轻人的同好社区
下载
App内打开
VivienneSu
2天前
听到最多被重复的词是数学和快乐。好久没有听一个技术信息密度大的播客感到这么着迷了，治好了我的走神
您的浏览器不支持 audio 标签。
137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的
张小珺Jùn｜商业访谈录
3
0
0
来自圈子
一起听播客
115656人已经加入
加入
