本周，一个有点陌生的名字——洪乐潼，密集出现在AI投资人的交流里。 这源自于The Information的报道，0产品0客户，甚至还没有正式官网的AI初创公司Axiom正在进行5000万美元融资，估值约3亿到5亿美元。有意思的是，公司将用AI解决数学难题，与今天的高考十分应景。背后创始人一夜爆火——缔造Axiom的正是00后学霸洪乐潼（Carina Hong）。 在广州出生长大，洪乐潼曾就读于著名的华南师大附中，多次拿下奥数竞赛奖牌。后考入麻省理工学院，硕士毕业于牛津大学。如今20出头的她，正在斯坦福大学攻读数学和法学博士双学位。目前，洪乐潼在社交平台回应融资消息“不实”。但可以确定的是，Axiom正在招聘AI数学人才。 洪乐潼的创业项目，也跟数学有关。报道称洪乐潼的AI初创公司名为Axiom，意为公理，是构建数学理论的出发点。 Axiom将专注于数学领域，通过学习严格的逻辑推理和数学证明的过程，AI能够像数学家一样构建和验证形式化证明，并保证结果的准确性和严谨性。目标客户之一是对冲基金和量化交易公司，可快速解决投资、股市等金融领域的复杂数学问题。 值得一提的是，就在年初DeepSeek火爆全球之际，洪乐潼曾发出这样的感慨：“一个小而专注、特立独行的团队。一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。这就是DeepSeek的故事，也是我想亲自书写的故事。” 如今，跟随广东老乡梁文锋的脚步，刚刚20出头的洪乐潼也踏上了新征程。
