在广东广州出生的潮汕籍女孩洪乐潼，仅靠父母打零工维持生计，从小便展现出惊人的数学天赋。这个“00后”女学霸在高一就入选了广东中学生英才计划，还在全国数学奥赛广东赛区里成为仅有的4位女生之一。凭借过人的逻辑思维能力，她17岁时被麻省理工学院录取，只用3年时间就拿下了数学和物理双学位，并在这期间发表了9篇高水平论文。洪乐潼靠着优异的表现接连拿下全美女性数学家最高荣誉、中国罗德学者等奖项。2025年12月，她更是入选了“福布斯30岁以下30人”榜单。后来，她决定从名校退学创业，成立了一家名为Axiom的AI初创企业。这个公司锁定对冲基金、量化交易员这些高端客户，想要用AI来解决复杂的数学证明难题。Axiom采用了“数学即服务”模式，让AI通过学习严格的逻辑推理过程，像数学家一样构建和验证证明。这家成立不到一年的公司在今年3月16日宣布完成了2亿美元的A轮融资，震惊了科技圈和资本市场。融资后，公司估值飙升至16亿美元，换算成人民币约为110亿元，也意味着Axiom正式进入全球独角兽企业的行列。但大家更关注的是站在背后的洪乐潼，她不仅是学霸出身，还有勇气放弃名校生活投身创业。按照规划，Axiom要给金融公司提供高效的量化解决方案。面对14亿人民币的融资和110亿元的估值，外界对洪乐潼的评价非常高。