在硅谷和华尔街风起云涌的AI创业热潮中，洪乐潼（Carina Letong Hong）是一位格外引人注目的年轻女性创业者。00后出生的她已经获取了斯坦福数学博士，而她创立的Axiom公司目前尚无成品，也未正式拥有客户，却已获得数亿美元的估值，成为AI+数学创业领域的一匹“黑马”。这种惊人的市场认可，背后是她一条极具传奇色彩的学术与创业之路。
从奥数小将到MIT双学位
洪乐潼出生于中国广州，父母虽未接受高等教育，却悉心培养她对知识的渴望。她的数学天赋早在青少年时期便崭露头角，加入免费的奥林匹克数学项目，面对来自全球数学家的难题，她曾说：“我在知识的世界里环球旅行。”高中时期，她是数学奥林匹克省队的唯一四名女生之一，站在竞赛顶尖的门槛上。
怀揣对数学的热爱与渴望，洪乐潼14、15岁时便开始在笔记本边缘写下“MIT”，自我激励。三年内，她完成了麻省理工学院（MIT）数学与物理双学士学位，期间发表9篇学术论文，涵盖数论、组合学、代数几何等纯数学前沿领域，这在本科生中极为罕见。她曾多次获得包括美国数学协会颁发的Alice T. Schafer奖和Frank & Brennie Morgan本科生研究奖等重量级奖项。
除了学术，洪乐潼还积极参与校园领导力活动，曾任MIT本科数学协会主席，以及国际学生协会和第一代低收入学生联合会的执行成员。她以“务实且苛求自我”的精神，克服了初入MIT时的孤独和陌生，逐步建立起属于自己的学术和社交网络。
罗德学者与跨学科的科学探索
2022年，洪乐潼获得了极具竞争力的罗德奖学金，成为少数中国获奖者之一，赴牛津大学深造神经科学。她认为，数学是理解生物医学的重要工具，数学和生物医学这两条“轴线”构成了她对科学世界的宏观认知模型。除了科学，她还跨界攻读法律学，试图从人文社科角度拓展视野，认为“法律是连接现实世界的三维向量之一”，这使她的学术背景极具厚度和多元性。
随后她进入斯坦福大学数学博士项目，同时攻读法学院学位，深入研究弹出堆栈排序算法、数论等领域，并参与了人工智能与数学交叉的前沿课题。她的研究不仅严谨精深，更带有明显的应用导向和未来感。她自己说：“我希望破解数学与AI互动的技术瓶颈，探索应用科学家如何与‘AI数学家’共事。”
用AI解决数学难题，赋能量化金融
洪乐潼创立了Axiom，一家定位于“数学AI”的创业公司，核心目标是打造能解决实际数学问题的人工智能系统。Axiom通过训练模型掌握形式化数学证明（formal proofs）的语言与逻辑，力求像数学家一样构建和验证定理的真实性，确保推理严谨无误。专注于开发基于形式化数学证明的AI模型，其技术路线强调“严格证明”。这意味着模型不只是简单给出答案，而是通过严谨逻辑推导得出结论，有望弥补主流AI在数学证明环节的缺失。
在基础数学问题上，此前大模型会受限于对数字token处理不当、上下文语境干扰等得出错误结论；在复杂数学证明方面，面对2024年国际数学奥林匹克竞赛（IMO）基于证明的题目，顶级AI模型平均分最高不足5%，存在逻辑错误、缺乏创造力、评分失败等问题，还常出现用未经证明假设、关键步骤敷衍、反复用同一错误策略等情况，即便谷歌的AI在其中达到银牌甚至金牌水平，也无法解决组合数学问题；谷歌和OpenAI的模型还可能存在“背题”现象，在面对条件改变的相似数学题时，容易沿用旧解法得出错误答案。
Axiom的潜在客户主要是对冲基金和量化交易机构。借助Axiom，金融机构可无需耗费大量人力搭建庞大技术团队，直接利用AI解决投资和股市中的复杂数学难题。这种“数学即服务”的模式，契合了当前金融市场对高效智能化技术的强烈需求。
尽管公司尚无产品和用户，但Axiom已在投资界引发极大关注，目标融资5000万美元，估值达3至5亿美元，投资方包括知名AI基金B Capital。与那些凭借创始人背景实现高估值的初创企业类似，Axiom背后的核心资本信心源自洪乐潼这位“学术界的超级新星”，以及她对数学与AI结合的前瞻思考。
结语
洪乐潼身上有一种稀有的学术和创业融合气质，她既是深耕数学理论的学者，又是志在用科技变革金融行业的创业者。从广州的奥数赛场，到MIT和牛津的数学殿堂，再到硅谷新兴的AI创业舞台，她的故事诠释了什么叫“用数学打开世界的大门”，也展示了新一代华人学者如何用跨学科视角和创新思维，书写属于自己的传奇。
未来，随着Axiom的成长，洪乐潼或将真正推动AI在严密数学推理领域的突破，助力金融科技迈上新台阶。她的名字，值得被持续关注。
本文来自微信公众号“美股大数据StockWe”，作者：StockWe.com，36氪经授权发布。
