洪乐潼4小时访谈：AI for Math、把数学变成Lean与数学家的直觉

《商业访谈录》播出对00后华人女孩洪乐潼（Carina）的4小时访谈，围绕AI for Math、把数学变成Lean、数学天书中的证明与数学家直觉等议题展开。她创办的公司Axiom（公理）刚完成2亿美元A轮融资，估值16亿美金；57岁美国终身教授小野肯（Ken Ono）辞职加入其团队。本期为她第一次接受中文访谈，正文附有完整节目时间轴。