
文章摘要
洪乐潼,一位来自中国广州的数学天才,近期以惊人的速度开启了她的创业之旅。尽管她的公司Axiom尚未开发出任何产品,但已经吸引了投资者的广泛关注,目标估值高达3-5亿美元。Axiom的核心目标是开发能够解决实际数学问题的AI,特别是通过形式化数学证明来训练模型,使其能够像数学家一样构建和验证形式化证明。这种技术将主要服务于对冲基金和量化交易公司,帮助他们快速解决金融领域的复杂数学问题。
洪乐潼的学术背景极为出色,她在麻省理工学院仅用3年时间就完成了数学和物理的双学位,并在本科期间发表了9篇论文,涉及多个数学领域。她的研究成果不仅发表在顶级数学期刊上,还获得了多项重要奖项,包括Schaefer数学奖和Frank和Brennie Morgan本科生杰出数学研究奖。此外,她还获得了牛津大学的罗德奖学金,成为仅有的4名中国获奖者之一。
在博士阶段,洪乐潼选择了斯坦福大学,主修数学并辅修法律学。她的研究兴趣广泛,不仅深入探索数论和组合学,还涉猎了数学与深度学习的跨学科研究。她曾在Sainsbury Wellcome中心的盖茨比部门进行过人工智能和机器学习研究,并对未来科学家与AI的互动充满期待。
洪乐潼的创业选择似乎是对她学术生涯的一种自然延续。她曾表示,自己原本可能从事量化或金融领域的工作,但在MIT期间逐渐发现数学研究的魅力。如今,她通过Axiom将数学与AI结合,为金融行业提供创新的解决方案。尽管公司尚未推出产品,但洪乐潼的学术成就和创业愿景已经赢得了投资者的信任,预计Axiom将在未来几年内取得显著进展。
原文和模型
【原文链接】 阅读原文 [ 1458字 | 6分钟 ]
【原文作者】 量子位
【摘要模型】 deepseek-v3
【摘要评分】 ★★☆☆☆
© 版权声明
文章版权归作者所有,未经允许请勿转载。
相关文章
暂无评论...