新智元报道 卫星和航空影像里的目标，不仅大小相差悬殊，还可能朝向任意方向：一边是细长的桥梁、船舶，一边是密集的小车和大面积运动场。PKINet-v2 是一种改进的遥感目标检测模型，能同时处理复杂形状和尺度变化的问题。 自然图像里的物体通常有较稳定的拍摄视角，遥感影像则不同。 一张高分辨率卫星图中，可
Grok Build CLI：一次不炫技、但很关键的更新。 作者丨樊天骄、郑佳美 编辑丨郑佳美 2026 年 6 月 21 日，Grok Build 悄悄发布了 0.2.60 版本更新。消息最早由 X 平台技术博主 Mark Kretschmann 披露。 与常见的大版本发布不同，这次更新既没有推出
还有人没看过关于 Meta 挖人的段子吗？ ▲ 建议以后顶级 AI 人才的流动，参考俱乐部的转会制度。 在昨日 Meta 高调官宣超级智能团队实验室之后，大批挖走 OpenAI 核心研究员之后，一向沉得住气的 Sam Altman 现在也坐不住了，向全体员工发出内部信： 有使命感的人将胜过唯利是图的
大家好，我叫常高伟。写下这篇东西的时候，我已经离开阿里快一年了。很多人问我，一个在华为、阿里干了近二十年的老程序员，40 多岁了，为什么还要出来折腾？折腾的，甚至还是一个听起来很不现实，甚至有点疯狂的项目：为 AI Agent 之间的沟通，制定一套开放的网络协议（ANP）。有人给我起了个外号，叫 “
新智元报道 编辑：LRST 大语言模型在数学证明中常出现推理漏洞，如跳步或依赖特殊值。斯坦福等高校团队提出 IneqMath 基准，将不等式证明拆解为可验证的子任务。结果显示，模型的推理正确率远低于答案正确率，暴露出其在数学推理上的缺陷。 在大模型频频给出「看似完美」答案的今天，我们是否已经迎来了真
打开蚂蚁百宝箱，跳出一只商汤小浣熊。 商汤科技“小浣熊家族”与蚂蚁集团旗下智能体开发平台“蚂蚁百宝箱”正式达成生态合作，双方联合打造“AI 数据分析助手”，为百宝箱广大用户提供大模型服务，后续还将直接登陆到支付宝平台。 在数据要素价值加速释放与大模型深度赋能的背景下，新应用场景加速落地，市场需求涌现
来源：中国网 近日，苏州大学“金蛛”团队传来喜讯，该团队依托苏州大学分子生物学实验室，通过精准基因编辑技术，成功培育出能够生产天然金色蛛丝的基因编辑家蚕。这一创新成果为蛛丝生产的产业化开辟了全新路径。 蜘蛛丝具有特殊的生物和机械性能，在医疗、军事、纺织等领域具有广阔的应用前景。然而，由于同类相食，蜘
当地时间 5 月 20 日，SAP 在美国奥兰多举办的蓝宝石大会上，宣布与 AI 问答引擎公司 Perplexity 合作，进一步增强其 AI 应用能力。这是继今年 3 月 SAP 与新锐 AI 数据库公司 Databricks 牵手共建业务数据云后，其 AI 生态的又一次升级。 此外，SAP 还发
5 月 13 日消息，据媒体报道，奔驰计划调整国内经销商规模，目标是削减百家以上，其中大部分会在 2025 年内完成。这一举措标志着奔驰自 2012 年以来连续 13 年的渠道扩张期正式终结。 2012 年，奔驰在国内销量仅为 19.6 万辆，不到奥迪的一半，当时经销商数量不足 50 家。为了提升销
文 | 财观二姐 在造车新势力的历史里，没有哪个品牌能真正躲过时间的审判。哪吒汽车也不例外。2025 年的这个春天，对哪吒汽车来说，既是寒冬的延续，也是命运的悬崖。 4 月，哪吒汽车的负面消息就接连不断，这家公司曾一度被视为中国新能源汽车行业的“黑马”。然而，近期的事件揭示出行业背后隐藏的诸多问题。