专治AI幻觉：25岁天才少女创办Axiom，估值超百亿

这是一个极具启发性的故事，年轻的神童采用反常识的方法来解决AI行业最大的挑战：可靠性。通过专注于形式化验证，洪乐潼的Axiom正将范式从概率生成转向数学确定性。高达16亿美元的估值证明了投资者渴望让AI变得可问责、值得信赖的解决方案。