00后创始人洪乐潼领导Axiom Math完成6400万美元融资，聚焦AI数学推理

在创投领域，年轻的面孔显然越来越引人注目。日前，00后创业者洪乐潼（Carina Hong）领导的Axiom Math成功完成首轮6400万美元（约合人民币4.6亿元）融资，投后估值达3亿美元（约合人民币20亿元）。本轮融资由知名风投公司B Capital领投，Greycroft、Madrona及Menlo Ventures等投资机构也参与其中，显示出市场对Axiom未来发展的强烈信心。

洪乐潼，广州出生的年轻数学天才，曾就读于华南师范大学附属中学，数学竞赛成绩斐然，其后考入麻省理工学院，在那里她获得了数学与物理的双学位，又在牛津大学获得硕士学位，现阶段在斯坦福大学攻读博士学位。洪乐潼的成功并非偶然，Axiom的构思更是源于她与他人的一次咖啡馆讨论，这一幕生动地展示了新时代年轻人的创新思维与活力。

Axiom Math的目标是建立一个通过高级人工智能进行数学推理的系统，使得其能够从复杂的数学问题中提取信息并自动生成详细的解决方案与证明过程。洪乐潼和她的团队试图将教科书、学术论文和专业期刊中的英文数学知识转化为可被AI解析和应用的程序化内容。这一开创性的工作，使得人工智能不仅能解决数学问题，还可以通过验证过程来校验其答案的正确性。未来，Axiom的发展方向将涉及金融建模、芯片设计、量化交易等多个领域。

洪乐潼之所以瞄准AI数学领域，部分源于对现有大模型在数学推理方面的认识。她指出，诸如ChatGPT等模型在处理数学测试时表现优异其中有所滥觞，因为这些模型在训练过程已接触过这些题目。例如，在美国数学邀请赛中，大部分AI大模型的正确率高达96%，但在展示证明过程时，得分却骤降至仅5%。这说明了模型在处理复杂数学问题时仍存在显著短板，而恰好是这些问题构成了洪乐潼研究的核心。

在Axiom Math官网上，有关团队的描述显示，这一项目的未来充满希望。Axiom认为，人工智能将为数学领域带来历史性的转折点，使得数学发现可以以指数级的速度推进。洪乐潼及其团队正是立足于这一信念，准备迎接全新的数学复兴时期。

目前，Axiom的核心团队由10名全职员工组成，成员中不乏来自Meta的AI专家。例如，现任CTO Shubho Sengupta曾领导Meta的FAIR团队，专注于开发出最前沿的AI技术。他的加入为Axiom在技术层面上的发展提供了强有力的支撑。团队中还有其他多位来自Meta的顶尖人才，在推动数学与人工智能交叉领域的研究截至Axiom仍在不断集结行业精英。

作为领投方的B Capital对于Axiom的未来表达了乐观态度，认为Axiom所提供的数学解决方案，将在决策过程中为众多行业提供可靠依据，从而创造巨大的市场价值。B Capital合伙人特别赞赏洪乐潼本人的能力，称其不仅是一位卓越的数学家，还具备出色的创业能力和领导才能，能够将长期的愿景与短期的执行力量相结合。

洪乐潼的创始之路，充满了奋斗与坚持。出生于潮汕的她，尽管家庭背景普通，却凭借个人努力在学术上取得了诸多荣誉。她在高中时期拿下了多个数学竞赛奖项，进入麻省理工学院后，更是以优异的表现荣获多个奖学金。洪乐潼坚定的求知欲及对科学的热爱，帮助她在学业和创业的道路上步履坚定。

年轻的00后创业者们正在逐渐崛起，洪乐潼的成功正是其中一个明显的标志。她和她的团队所创造的Axiom Math，代表了新一代年轻人在AI及数学交叉领域的探索与创新。伴随着科技的快速发展，这批年轻的创始人们将为未来的数学研究以及实际应用开拓出更加广阔的天地。

不论是国内还是国际，越来越多的00后创业者正在快速崛起，展现出无怀若愚、追求创新的决心与能力。在这样的创业浪潮下，未来的科技创新成果也将因他们的参与而持续涌现。正如洪乐潼所言，“数学发现的未来，就从这里开始。”这个蓄势待发的新时代，值得我们拭目以待。