洪乐潼（Carina Hong）是一位来自广州的00后天才数学少女，也是硅谷AI初创公司Axiom Math的创始人，2025年12月还入选了福布斯30位30岁以下AI精英榜：

1. 学霸成长轨迹 ：本科就读于麻省理工学院，仅用3年修完数学与物理双学位，期间发表9篇涵盖数论、组合数学等领域的研究论文；2022年获女性数学协会艾丽丝·谢弗奖，还入选中国罗德学者，随后赴牛津大学攻读神经科学硕士；之后进入斯坦福大学同时攻读法学与数学双博士，后为创业选择辍学。
​
2. 创业核心成就：2024年她创立Axiom Math，目标是研发能自主提出并证明数学定理的“AI数学家”。2025年该公司的AxiomProver系统，以Lean语言完成了悬置30年的埃尔德什第124题、悬置45年的第481题的形式化证明，且全程无人工干预；公司成立初期就获6400万美元种子轮融资，估值达3亿美元，还吸引了前Meta AI研究员、世界级数学家小野肯等一众行业精英加盟。