2001年出生于广州的洪乐潼，凭借极高的数学天赋和硬核学术背景，正成为全球AI领域的焦点人物。她仅用3年便在MIT完成数学与物理双学位，随后获罗德奖学金赴牛津深造，并在斯坦福攻读博士期间毅然退学创业。 其创立的AI初创公司Axiom成立仅一年多，便完成2亿美元（约14亿人民币）A轮融资，估值飙升至16亿美元（约110亿人民币），成功跻身独角兽行列。不同于主流的大语言模型，Axiom专注于“可验证人工智能”，利用数学形式化证明解决AI的逻辑缺陷与不可靠性问题，致力于打造能严谨解题的“AI数学家”。 洪乐潼的成功标志着“00后”技术极客正集体登上全球AI舞台，将底层数学逻辑转化为巨大的商业价值。