广州出生长大的00后女孩洪乐潼，仅用3年即修毕麻省理工学院（MIT）数学和物理双学位，在斯坦福大学博士在读期间退学，创立AI公司Axiom。该公司近获得2亿美元的A轮融资，消息令公司估值急飙，升至市值16亿美元（约125.3亿港元）。

成功获2亿美元A轮融资

据快科技报道，洪乐潼（Carina Letong Hong）创立Axiom约1年多，聚焦AI数学基础层缺陷，核心逻辑是通过Lean程式语言建构验证系统，强制AI在推理时步步可验证，杜绝“幻觉”问题。其系统在无人干预下攻克两道困扰数学界数十年的世界级难题，引发学术界震动。

公开资料显示，Axiom将锁定对冲基金、量化交易员等高端客户，宣称要用AI解决复杂数学证明的难题。

祖籍潮汕父母是普通工人

洪乐潼祖籍潮汕，广州长大，父母是未上过大学的普通工人。

洪乐潼自幼展现有极罕见数学赋，高一入选了广东中学生英才计划，同时是当年全国中学生数学奥赛广东选区中，仅有的四位女选手之一。

洪乐潼创立的AI公司估值已达125亿港元。FB

17岁时，洪乐潼被MIT录取，仅用三年时间就修完了数学和物理双学位，并发表9篇高水平数学论文。

随后，她跨界攻读多个领域，并最终决定从斯坦福大学退学，投身于前沿科技的创业浪潮。

洪乐潼在2025年12月入选“福布斯30岁以下30人”榜单。