教育经历
洪乐潼自幼对数学表现出浓厚兴趣，年少时参与当地的奥林匹克数学项目
。
高中时期，洪乐潼在全国中学生数学奥林匹克（CMO）省选拔中脱颖而出，成为该选拔中仅剩的四位女生之一，此后开始将视野投向更高层次的数学研究
。
2018年，17岁的洪乐潼被麻省理工学院（MIT）录取，就读数学与物理双专业。
2021年，成为中国仅有的四位罗德学者之一，随后前往牛津大学学习神经科学
，获得硕士学位。期间还在伦敦大学学院进行人工智能和机器学习研究
。
2024年8月，进入斯坦福大学攻读数论、组合学和概率学方向的博士学位，同时辅修法律学课程
。
创业经历
2025年，洪乐潼意识到大语言模型在形式化数学证明上的瓶颈，选择在硅谷正式创立Axiom（公理），定位开发“会证明”的数学AI，为量化对冲基金提供可验证的数学推理能力
。
研究领域
在斯坦福大学期间，洪乐潼继续深耕数论领域，同时开始关注人工智能与数学之间的交叉研究，曾在Sainsbury Wellcome中心的盖茨比部门（GatsbyNetwork）参与AI与机器学习研究，并对“AI未来将如何与科学家互动”“应用科学家又如何借助AI完成更高层次的创新”等前沿问题进行思考
。
【 在 lewonie 的大作中提到: 】
:简直太太厉害了。
- 来自 水木社区APP v3.5.7
--
FROM 113.4.97.*