在硅谷这片科技热土上，一个“00后”中国女孩的创业故事正悄然引起关注。她，就是洪乐潼，一位来自广州的斯坦福大学数学女博士，近日在硅谷创立了自己的AI初创公司——公理量化（Axiom Quant）。
据报道，这家初创公司虽然尚未有产品和用户，甚至团队仍在组建中，但已经吸引了投资界的目光。据悉，公理量化的目标融资金额为5000万美元，公司估值预计高达3亿至5亿美元，知名创投公司波士顿投资有望领投。然而，就在报道发出后不久，洪乐潼在知乎上表示，媒体报道“泄露了我们（并不准确）的融资信息”，并对相关报道予以否认。尽管如此，公理量化招揽人才的步伐并未停歇，正在积极组建团队，为后续研发做准备。
洪乐潼的创业故事让人不禁联想到今年年初同样在AI领域引起轰动的广东85后创业者梁文锋，他是幻方量化、DeepSeek的创始人。同样作为广东青年，同样在AI创业赛道上奔跑，洪乐潼能否创造下一个DeepSeek，成为AI+数学创业领域的一匹“黑马”，备受期待。
洪乐潼的学术经历堪称传奇。她3年修完麻省理工学院数学与物理双学位，发表了至少9篇纯数学前沿论文。24岁时，她成为牛津大学罗德学者，一年攻读完神经科学硕士。在斯坦福大学，她同时攻读数学和法学双博士，不仅在学术上取得了卓越成就，还积极投身社会公益，为低收入工人提供法律援助。
这位来自广州的女孩，父母都是普通务工者，从未上过大学。然而，洪乐潼凭借超强的数学天赋和不懈的努力，一路披荆斩棘，成为了众人眼中的“天才学霸”。她在高中时就入选了广东省中学生英才计划，师从中山大学教授，并在全国中学生数学奥林匹克竞赛中脱颖而出。
洪乐潼的创业项目公理量化，专注于量化金融领域，致力于用AI解决复杂数学证明的难题。她指出，当前AI在数学测试中虽然表现良好，但缺乏严格的逻辑推理训练体系。公理量化采用“数学即服务”模式，通过学习严格逻辑推理过程，使AI像数学家一样构建和验证证明。这一创新理念，有望为金融公司提供高效的量化解决方案。
尽管公理量化目前仍处于初创阶段，但洪乐潼的个人教育经历和创业理念已经吸引了投资界的关注。她选择从数学基础层切入AI领域，试图突破大模型“黑箱”瓶颈，这一技术路径与DeepSeek“小而专注”的团队理念高度契合。因此，即便是一家“无产品、无用户、无团队”的AI初创公司，也能获得投资圈的高关注。
洪乐潼的创业故事不仅是个人的传奇，更折射出一个时代的来临。当AI浪潮撞上中国新生代学霸，更多像DeepSeek这样的创新企业正在生长。在“数学AI+量化金融”的前沿赛道上，公理量化能否走出一条差异化路线，我们拭目以待。
