00后中国女孩0产品创业实现3亿估值：斯坦福数学博士的AI量化野心

602 0 0

文章摘要

洪乐潼，一位来自中国广州的数学天才，近期以惊人的速度开启了她的创业之旅。尽管她的公司Axiom尚未开发出任何产品，但已经吸引了投资者的广泛关注，目标估值高达3-5亿美元。Axiom的核心目标是开发能够解决实际数学问题的AI，特别是通过形式化数学证明来训练模型，使其能够像数学家一样构建和验证形式化证明。这种技术将主要服务于对冲基金和量化交易公司，帮助他们快速解决金融领域的复杂数学问题。

洪乐潼的学术背景极为出色，她在麻省理工学院仅用3年时间就完成了数学和物理的双学位，并在本科期间发表了9篇论文，涉及多个数学领域。她的研究成果不仅发表在顶级数学期刊上，还获得了多项重要奖项，包括Schaefer数学奖和Frank和Brennie Morgan本科生杰出数学研究奖。此外，她还获得了牛津大学的罗德奖学金，成为仅有的4名中国获奖者之一。

在博士阶段，洪乐潼选择了斯坦福大学，主修数学并辅修法律学。她的研究兴趣广泛，不仅深入探索数论和组合学，还涉猎了数学与深度学习的跨学科研究。她曾在Sainsbury Wellcome中心的盖茨比部门进行过人工智能和机器学习研究，并对未来科学家与AI的互动充满期待。

洪乐潼的创业选择似乎是对她学术生涯的一种自然延续。她曾表示，自己原本可能从事量化或金融领域的工作，但在MIT期间逐渐发现数学研究的魅力。如今，她通过Axiom将数学与AI结合，为金融行业提供创新的解决方案。尽管公司尚未推出产品，但洪乐潼的学术成就和创业愿景已经赢得了投资者的信任，预计Axiom将在未来几年内取得显著进展。