标签： GPT-4

一段Prompt让你的Kimi K3 花钱更少，出活更快

一位开发者针对Kimi K3模型“想太多、成本高、输出慢”的痛点，发布了一段简短Prompt（工作合同），通过明确任务边界和终止条件，让K3在保持性能的同时减少无效推理，显著降低API调用成本。对大模型用户来说，这是一个低成本提升模型实用性的实操技巧。

英国AI云服务商Nscale以16.5亿美元收购Anyscale，后者是开源分布式框架Ray背后的公司。这笔交易让Nscale从底层算力延伸到工作负载管理软件层，试图在日益拥挤的AI基础设施市场中构建更完整的垂直栈。

Google DeepMind研究员Tom Zahavy在一篇新论文中论证，当前大语言模型缺乏创造全新科学理论所需的“操纵性溯因”能力，而能够模拟物理世界的“world models”或许才是实现科学革命的真正路径。

Meta CEO马克·扎克伯格在2024年7月29日的财报电话会上预测，五年内数十亿人将拥有能管理财务、健康、社交和家庭的个人AI代理。这既是愿景宣言，也是商业计划——但Meta当季自由现金流暴跌91%的现实让华尔街反应冷淡。

YC 2025 春季批次初创公司 Mbodi AI 正在公开招募机器人软件与研究工程师，表明具身智能赛道在硅谷早期资本中仍处于积极扩张阶段，值得关注该公司后续产品方向。

AI 代码编辑器 Cursor 的生态中出现了一款名为 Cursor Crane 的新工具，已在 Product Hunt 上线。虽然具体功能尚未完全公开，但名称暗示其可能专注于代码迁移、项目重构或工作流编排，值得开发者关注。

扎克伯格近日详细阐述了Meta的“个人AI超级智能”愿景，目标是为每位用户打造一个能长期记忆、主动行事、跨平台协同的AI代理，而非简单的对话机器人。这一战略将Meta从社交平台竞争拉入AI代理生态争夺，直接对标OpenAI和Google的通用型AI产品。

随着AI公司竞相扩建数据中心以满足大模型推理和训练需求，一场针对电工、木匠等技术工人的“抢人大战”已全面展开，相关岗位时薪比同类工种高出42%，正在挤压其他基建领域的劳动力供给。

Moonshot AI 于 7 月 29 日开源了专为 MoE（混合专家）训练设计的专家并行库 MoonEP，核心目标是解决专家负载不均这一长期痛点。如果效果符合宣传，它将直接影响大模型训练的效率与规模扩展能力。

国内团队实在智能自研的桌面操作智能体“实在Agent”，在权威基准测试OSWorld上以90.2%的总成功率拿下双冠，首次突破90%门槛。这件事的关键信号不是模型又多了一个“跑分王”，而是行业竞争正从“拼参数”转向“拼工程化落地能力”。