在全球人工智能产业高速发展的背景下，系统可靠性问题正成为制约技术应用的关键瓶颈。
当前主流AI模型在金融、国防等关键领域应用时，常因逻辑推理能力不足而产生"幻觉"现象，这一问题已引发学术界和产业界的广泛关注。
洪乐潼的创业选择恰逢其时。
这位出生于2001年的年轻创业者，在数学领域展现出非凡天赋。
17岁即被麻省理工学院录取，主修数学与物理双专业，期间发表9篇高水平学术论文，并获得全美女性数学家最高荣誉Alice T. Schafer数学奖。
此后，她先后在牛津大学攻读硕士学位，并在斯坦福大学开展跨学科研究。
深厚的数学功底使洪乐潼敏锐地捕捉到AI发展的核心痛点。
她创立的Axiom公司采用"数学即服务"的创新模式，通过构建严格的逻辑推理训练体系，让AI系统具备类似数学家的证明能力。
这种技术路径在解决埃尔德什数学难题集的实际应用中已初见成效，其开发的AxiomProver系统成功完成了两个长期未解的数学证明。
本轮融资由Menlo Ventures领投，多家机构跟投，反映出资本市场对技术创新的高度认可。
Axiom计划将资金主要用于技术研发和人才引进，重点拓展金融量化交易等高端应用场景。
业内专家指出，这种将基础数学研究与AI技术深度融合的发展模式，可能为行业可靠性问题提供新的解决思路。
值得关注的是，洪乐潼的成长经历打破了传统教育路径的局限。
来自普通工薪家庭的她，凭借对数学的执着追求，在国内外顶尖学府完成跨学科积累，最终选择投身科技创新前沿。
从大模型热潮到可信推理升温，产业正在经历从“能力叙事”到“可靠交付”的转向。
资本对Axiom的加注，是对高风险场景真实需求的回应，也提示行业：只有把推理链条置于可验证、可审计、可治理的体系中，智能技术才能更稳健地走向关键行业与公共服务的深水区。