登录

当前标签：数学逻辑验证

专治AI说谎，25岁天才少女公司估值过百亿

AI行业新锐势力崛起，25岁天才少女洪乐潼创办的Axiom公司专攻AI推理验证技术，完成2亿美元A轮融资，估值突破110亿元人民币。