#25岁天才少女拿下超14亿融资#
洪乐潼创办的公司 Axiom 刚刚完成了 2亿美元（约合人民币14亿元） 的A轮融资，由 Menlo Ventures 领投。公司估值高达 16亿美元（约合人民币110亿元）。公司成立仅一年多，就已跻身“独角兽”行列。
洪乐潼并非在做普通的聊天机器人，而是致力于解决AI目前最大的痛点——“幻觉”和不可靠性。
她认为数学能自我验证，因此利用数学逻辑来验证AI生成的代码是否正确。使用 Lean 编程语言，打造能自动验证计算机代码的AI系统。这就像数学家证明难题一样，确保AI推理的每一步都是绝对正确的，从而杜绝错误。
为什么她能成功？她看到了AI生成代码虽然快，但无法保证正确性的巨大风险，而数学验证正是解决这一问题的关键钥匙。DeepSeek团队那种“理想与使命交织”的信念，并试图在自己的公司复刻这种小而美、高密度的精英文化。AI领域正在成为“00后”的主场，资本愿意为具有颠覆性技术的年轻创业者买单。 http://t.cn/AXIkgWq7