标题：00后斯坦福数学博士通过AI创业进军量化交易与对冲基金领域实现3亿估值形式化证明其卓越才华

第一段
近年来，AI技术在各个领域的应用越来越广泛。一位来自中国的00后女孩洪乐潼（Carina Letong Hong），凭借其卓越的数学天赋和学术背景，在没有产品和用户的情况下，成功吸引了投资人的目光，目标估值高达3-5亿美元。她的创业项目Axiom（公理）专注于开发能够解决实际数学问题的AI模型，主要服务于量化交易公司和对冲基金。

第二段
洪乐潼出生于中国广州，从小对数学充满浓厚兴趣。她通过免费的奥林匹克数学项目接触竞赛，并在高中时期加入CMO省队，成为仅剩的4位女生之一。之后，她在麻省理工学院以3年时间完成了数学和物理双学位，并发表了多篇高质量论文。此外，她还获得了2021年牛津大学罗德奖学金，成为仅有的4名中国获奖者之一。

第三段
Axiom的核心目标是利用形式化数学证明训练AI模型，使其具备解决复杂数学问题的能力。具体来说，Axiom的AI将学习严格的逻辑推理和数学证明过程，从而像数学家一样构建和验证形式化证明。这种能力将帮助对冲基金和量化交易公司快速解决金融领域的复杂问题，而无需组建庞大的技术团队。

第四段
尽管Axiom尚未推出任何产品，但其创始人洪乐潼的背景和潜力已经吸引了投资者的关注。据报道，B Capital正在与Axiom就新一轮融资展开谈判，目标融资金额为5000万美元，公司估值预计在3-5亿美元之间。这一估值水平在当前AI领域初创公司中十分罕见，显示出投资人对洪乐潼及其团队的高度认可。

第五段
洪乐潼在斯坦福大学攻读数学博士学位期间，不仅深入研究数论、组合学和概率学，还涉足法律学课程。她的研究方向包括弹出堆栈排序算法、数论等，并积极探索数学与深度学习结合的跨学科领域。她表示，未来希望研究人工智能与科学家互动的方式，推动AI技术在科学领域的应用。

本文来源：