00后华人女孩们,成硅谷AI新贵 作者 admin 00后华人女孩们,成硅谷AI新贵无评论 1 分钟阅读 1 华人女孩,勇闯硅谷AI圈。 今年11月,两则消息先后在科技圈引发震动:由25岁广州女孩洪乐潼掌舵的AI数学公司Axiom,让AI把数学家写下的复杂证明,变成计算机能够检查的程序,让数学推理有了机器验证的可能;… 查看全文