AI闯入数学证明现场:“第四次危机”争论什么?
AI已能解奥赛题、批量生成数学手稿,却仍难跨越“人类能否理解”的门槛。数学家集体发声,争论焦点不是机器,而是数学该如何被对待。
必胜客门店冲到4549家,却因一只蟑螂被推上风口
门店规模一路扩张到4549家,必胜客却因一只蟑螂陷入舆论争议。规模越大,容错空间越小,这背后是连锁餐饮共同的信任考题。
达摩院发布车规增强处理器玄铁 E908A,首次公布自动驾驶与具身智能路线图
在深圳举行的 RISC-V 中国峰会上,阿里达摩院发布车规增强处理器玄铁 E908A,成为首款同时达到 ASIL-B 与 ASIL-D 标准的 RISC-V CPU IP,并首次给出自动驾驶与具身智能产品路线图。
中美AI竞争新变量:开源、算力与产业生态正在重塑格局
2026年,中美AI竞争焦点从模型榜单转向推理成本、开发者生态与产业落地。开放权重、算力约束与蒸馏争议,正把技术路线问题变成体系化竞争。
Cue实测:AI有了“身份证”,为何仍难“随时可用”
Manus的个人AI助理Cue尝试让Agent拥有独立邮箱、电话、钱包和电脑,但一周实测显示,邮件之外,支付、日程和多Agent协作仍被账号、生态与成本卡住。