LIVE INDEX / 亚马逊
亚马逊拒绝信任Meta的Muse AI智能体

亚马逊拒绝信任Meta的Muse AI智能体

Meta的AI购物代理Muse被Amazon封禁,原因是其未授权访问平台、未公开身份且疑似获取用户凭证。Amazon表示,代表用户购物的第三方应用应公开运营并尊重服务方决定。这是Amazon为抵御AI购物代理竞争所采取的...

FTC起诉亚马逊秘密收取广告附加费

FTC起诉亚马逊秘密收取广告附加费

美国联邦贸易委员会(FTC)联合22个州对亚马逊提起诉讼,指控其在七年多时间内秘密提高广告竞价拍卖费用,波及逾百万品牌和卖家,或为亚马逊带来数百亿美元额外收入。诉讼称亚马逊于2019年悄然引入隐藏附加费,并使用"虚假竞价...

用Verus开发经过数学证明的Rust代码

用Verus开发经过数学证明的Rust代码

Verus是一款面向Rust的开源自动化程序验证工具,通过形式化数学规范对所有可能输入进行机械化校验,超越传统测试手段。开发者可直接在Rust源码中用类Rust语法标注前置/后置条件,实现秒级反馈,并支持AI辅助生成证明...