斯坦福数学博士洪乐潼（Carina Letong Hong）以0产品0用户估值达3-5亿美元创业，目标为量化和对冲基金提供数学AI解决方案。这位来自中国广州的女孩，曾用3年完成MIT数学和物理双学位，并发表多篇顶级数学论文。她的公司Axiom致力于训练AI掌握形式化数学证明语言，帮助解决复杂金融数学问题。尽管尚未推出产品，Axiom已吸引B Capital等知名投资机构关注，计划融资5000万美元。洪乐潼的学术成就和跨学科背景被认为是其估值的关键因素。