最近创投圈有一则备受关注的消息，一位25岁的广州少女，带领自己创办的AI公司拿下了超14亿元人民币的融资，公司估值更是达到了上百亿元，这位年纪轻轻的创业者，也成了大家口中的天才少女。她名叫洪乐潼，出生在广州一个普通家庭，从小就展现出了极高的数学天赋，在学习这条路上，一路都走得格外亮眼。
​​洪乐潼的求学经历堪称开挂，凭借着过人的数学能力，她17岁就考上了世界顶尖学府麻省理工学院，攻读数学和物理相关专业，在高手云集的麻省理工，她依旧成绩优异，还拿下了北美数学本科生的顶级荣誉。之后她又前往牛津大学深造，攻读硕士学位，完成硕士学业后，顺利进入斯坦福大学，开启了数学与法律双学科的博士项目，按照原本的轨迹，她本可以顺利完成博士学业，成为一名顶尖的学术研究者。
​​但在斯坦福读博期间，洪乐潼发现了当下大模型AI存在的一个普遍问题，像我们常用的ChatGPT这类大模型，经常会出现“幻觉”，也就是看似说得头头是道，实际上却是毫无根据的胡说八道，究其原因，是这类AI都是依靠概率来推测答案，没有严谨的逻辑验证过程。而洪乐潼觉得，自己掌握的数学相关技术，能够从根本上解决这个问题，于是她做出了一个大胆的决定，从斯坦福大学退学，全身心投入创业，创办了名为Axiom的AI公司。
​​洪乐潼的公司核心技术，简单来说就是给AI的推理过程配上一位“数学判卷老师”。以往AI给出答案全靠概率猜测，没有验证环节，而她的技术要求AI的每一步推理，都必须像解数学题一样，写出完整且严谨的证明步骤，只有逻辑通顺、证明无误的答案，才会被认可，但凡有一步不严谨，就无法通过验证，这样就彻底杜绝了AI瞎猜、胡说八道的情况。
​​这项技术精准瞄准了那些“错不起”的高风险领域，有着极强的实用价值。在金融风控领域，它可以验证交易模型是否存在漏洞，避免因为模型失误造成巨额的资金损失；在自动驾驶行业，能够证明汽车的每一个行驶决策都绝对安全，保障行车过程中的可靠性；在AI写代码方面，还能确保生成的代码没有bug，逻辑完全正确，省去大量排查修改的时间。这些领域对技术的准确性要求极高，愿意为这种“绝对可靠”的技术付出高额费用，这也是资本愿意疯狂押注她的公司的重要原因。
​​创业之初，洪乐潼就着手组建一支实力强劲的团队，她凭借自己的技术理念和个人号召力，成功拉来了多位行业顶尖人才。她先是邀请到Meta的AI大神担任公司的首席技术官，这位大神原本是Meta AI研究总监，有着丰富的AI研发经验，之后更是打动了一位世界级的数学泰斗，这位泰斗原本是大学的终身教授，在数学领域有着极高的威望，最终毅然辞去终身教授职位，全职加入她的公司，和她一起深耕技术研发，这样的“天才团队”，也让公司的技术实力更上一层楼。
​​从广州普通家庭走出的学霸，到麻省理工、斯坦福的高材生，再到退学创业拿下巨额融资的创始人，洪乐潼凭借自己的数学天赋和对技术的精准判断，走出了一条与众不同的创业路。她用数学严谨性破解AI行业的核心痛点，让AI变得更加可靠、实用，也让大家看到了年轻创业者的无限潜力，而她的创业故事，也还在继续，未来这项技术会在更多高风险领域落地应用，给相关行业带来新的改变。