斯坦福华人数学博士洪乐潼（Carina Letong Hong）创立公司Axiom，目标估值3-5亿美元，尽管尚未推出任何产品。

Axiom致力于开发解决实际数学问题的AI模型，主要面向量化和对冲基金公司。其技术基于形式化数学证明训练数据，通过已验证的定理或公理来确保结果的严谨性与准确性。

公司计划为金融领域提供复杂数学问题解决方案，帮助客户减少组建大规模技术团队的需求。目前正筹集5000万美元融资，B Capital可能领投。

洪乐潼出生于广州，3年内完成麻省理工数学与物理双学位，并发表9篇论文，研究涵盖模椭圆曲线、月光猜想等领域。她还获得多项荣誉，包括Schaefer数学奖和Frank及Brennie Morgan本科生杰出数学研究奖。

在斯坦福攻读数学博士学位期间，洪乐潼同时辅修法律学，并探索数论及深度学习交叉领域。她表示希望结合数学与生物医学研究，推动人工智能与科学家互动的发展。

洪乐潼的学术背景与成就被认为是吸引投资者的关键因素，使公司在无产品阶段即获得高估值认可。

免责声明：本文内容由开放的智能模型自动生成，仅供参考。