即刻App年轻人的同好社区
下载
App内打开
张小珺
4月前
非常有“数学之美”的一集节目。
也是至今我们最年轻的一位嘉宾(2001年出生的洪乐潼),网络空间有人叫她“数学少女”,这是她第一次接受中文访谈。
我们谈论了被创造的与被发现的数学、数学天书中的证明、最不可能的创业者的创业旅途,当然还有AI for Math✍🏻✍

137. 对洪乐潼的4小时访谈:AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的

张小珺Jùn|商业访谈录

21

来自圈子

圈子图片

一起听播客

116611人已经加入