137. 对洪乐潼的 4 小时访谈：AI for Math、把数学变成 Lean、数学天书中的证明、直觉、被创造与被发现的
张小珺Jùn｜商业访谈录
Apr 20
137. 对洪乐潼的 4 小时访谈：AI for Math、把数学变成 Lean、数学天书中的证明、直觉、被创造与被发现的
137. 对洪乐潼的 4 小时访谈：AI for Math、把数学变成 Lean、数学天书中的证明、直觉、被创造与被发现的
张小珺Jùn｜商业访谈录
Apr 20
to add and view pins
