人生就是博(中国区)官方网站

EN 人生就是博·(中国区)官方网站 人生就是博·(中国区)官方网站
http://www.gov.cn/

精毛一区二三区四区在线免…歌曲 连丢两局无缘冠军!日本果真赛王祉怡获亚军,安洗莹夺赛季第6冠

2025-07-23 12:08:50 泉源: 贾强俸
字号:默认 超大 | 打印 |

精毛一区二三区四区在线免…歌曲

精毛一区二三区四区在线免…歌曲

精毛一区二三区四区在线免…歌曲?维生素C如何对抗坏血病?为什么菠萝会“咬”舌头?液晶屏幕的诞生竟源自一次意外发现?石墨烯为何被称为“未来材料”?肌肉收缩的“引擎”是什么?7月20日,上海科技馆品牌教育活动“科际穿越·科创校长空间站”邀请2016年诺贝尔化学奖得主、荷兰格罗宁根大学教授本·费林加作为嘉宾,搭建顶尖科学家与公众对话的桥梁。 连丢两局无缘冠军!日本果真赛王祉怡获亚军,安洗莹夺赛季第6冠

人生就是博·(中国区)官方网站

精毛一区二三区四区在线免…歌曲?面向AI代理的上下文工程:构建 Manus 的经验教训 2025 年 7 月 18 日 季逸超 在Manus 项目伊始,我和团队面临一个关键抉择:是使用开源基础模型训练一个端到端的代理模型,还是基于前沿模型的上下文学习能力构建代理? 回想我在自然语言处理领域的最初十年,我们没有这样的选择余地。在BERT 的远古时代(是的,已经七年了),模型必须经过微调并评估后才能迁移到新任务。即使当时的模型远小于如今的 LLMs,这一过程每次迭代往往也需数周。对于快速发展的应用,尤其是产品市场匹配前期,这样缓慢的反馈周期是致命的。这是我上一家创业公司的惨痛教训,当时我从零开始训练模型用于开放信息抽取和语义搜索。随后 GPT-3 和 Flan-T5 的出现,让我自研的模型一夜之间变得无关紧要。讽刺的是,正是这些模型开启了上下文学习的新纪元——也为我们开辟了一条全新的前进道路。 这个来之不易的教训让选择变得清晰:Manus 将押注于上下文工程。这使我们能够在数小时内发布改进,而不是数周,同时保持我们的产品与底层模型正交:如果模型进步是涨潮,我们希望 Manus 是船,而不是固定在海床上的柱子。 然而,上下文工程远非简单。这是一门实验科学——我们已经重建了四次代理框架,每次都是在发现了更好的上下文塑造方法之后。我们亲切地称这种手动的架构搜索、提示调整和经验猜测过程为“随机梯度下降”。它不优雅,但有效。 这篇文章分享了我们通过自己的“SGD”达到的局部最优解。如果你正在构建自己的 AI 代理,希望这些原则能帮助你更快收敛。 围绕KV缓存设计 如果只能选择一个指标,我认为KV 缓存命中率是生产阶段 AI 代理最重要的指标。它直接影响延迟和成本。要理解原因,我们先看看典型代理的工作方式: 在接收到用户输入后,代理通过一系列工具调用来完成任务。在每次迭代中,模型根据当前上下文从预定义的动作空间中选择一个动作。然后在环境中执行该动作(例如Manus 的虚拟机沙箱),以产生观察结果。动作和观察结果被追加到上下文中,形成下一次迭代的输入。这个循环持续进行,直到任务完成。 正如你所想象的,上下文随着每一步增长,而输出——通常是结构化的函数调用——则相对较短。这使得预填充与解码之间的比例在代理中远远偏高,区别于聊天机器人。例如,在 Manus 中,平均输入与输出的Token比约为100:1。 幸运的是,具有相同前缀的上下文可以利用KV 缓存,这大大减少了首次生成标记时间(TTFT)和推理成本——无论你是使用自托管模型还是调用推理 API。这里的节省可不是小数目:以 Claude Sonnet 为例,缓存的输入标记费用为 0.30 美元/千标记,而未缓存的则为 3 美元/千标记——相差 10 倍。 从上下文工程的角度来看,提高KV 缓存命中率涉及几个关键做法: 保持提示前缀稳定。由于LLMs 的自回归特性,即使是单个标记的差异也会使该标记及其之后的缓存失效。一个常见错误是在系统提示开头包含时间戳——尤其是精确到秒的时间戳。虽然这样可以让模型告诉你当前时间,但也会大幅降低缓存命中率。 使你的上下文仅追加。避免修改之前的操作或观察。确保你的序列化是确定性的。许多编程语言和库在序列化JSON 对象时不保证键的顺序稳定,这可能会悄无声息地破坏缓存。 在需要时明确标记缓存断点。一些模型提供商或推理框架不支持自动增量前缀缓存,而是需要在上下文中手动插入缓存断点。设置这些断点时,应考虑缓存可能过期的情况,至少确保断点包含系统提示的结尾部分。 此外,如果你使用像vLLM 这样的框架自托管模型,确保启用了前缀/提示缓存,并且使用会话 ID 等技术在分布式工作节点间一致地路由请求。 遮蔽,而非移除 随着你的智能体功能不断增强,其动作空间自然变得更加复杂——简单来说,就是工具数量激增。最近 MCP 的流行更是火上浇油。如果允许用户自定义工具,相信我:总会有人将数百个神秘工具接入你精心策划的动作空间。结果,模型更可能选择错误的动作或走低效路径。简而言之,你的重装智能体反而变得更笨。 一种自然的反应是设计动态动作空间——或许使用类似 RAG 的方式按需加载工具。我们在 Manus 中也尝试过。但实验表明一个明确的规则:除非绝对必要,避免在迭代过程中动态添加或移除工具。主要有两个原因: 1. 在大多数LLMs 中,工具定义在序列化后通常位于上下文的前部,通常在系统提示之前或之后。因此,任何更改都会使所有后续操作和观察的 KV 缓存失效。 2. 当之前的操作和观察仍然引用当前上下文中不再定义的工具时,模型会感到困惑。如果没有受限解码,这通常会导致模式违规或幻觉操作。 为了解决这一问题,同时提升动作选择的效果,Manus 使用了一个上下文感知的状态机来管理工具的可用性。它不是移除工具,而是在解码过程中屏蔽Token的对数概率,以根据当前上下文防止(或强制)选择某些动作。 在实际操作中,大多数模型提供商和推理框架都支持某种形式的响应预填充,这使你可以在不修改工具定义的情况下限制动作空间。函数调用通常有三种模式(我们以NousResearch 的 Hermes 格式为例): 自动——模型可以选择是否调用函数。通过仅预填回复前缀实现:<|im_start|>assistant 必需——模型必须调用一个函数,但选择不受限制。通过预填充到工具调用标记实现:<|im_start|>assistant 指定——模型必须从特定子集中调用函数。通过预填充到函数名开头实现:<|im_start|>assistant {"name": “browser_ 利用此方法,我们通过直接屏蔽标记的对数概率来限制动作选择。例如,当用户提供新输入时,Manus 必须立即回复,而不是执行动作。我们还特意设计了具有一致前缀的动作名称——例如,所有与浏览器相关的工具都以 browser_开头,命令行工具以 shell_开头。这使我们能够轻松确保代理在特定状态下仅从某一组工具中选择,而无需使用有状态的对数概率处理器。 这些设计有助于确保Manus 代理循环保持稳定——即使在模型驱动架构下也是如此。 将文件系统用作上下文 现代前沿的LLMs 现在提供 128K Token或更多的上下文窗口。但在现实世界的智能代理场景中,这通常不够,有时甚至成为负担。有三个常见的痛点: 1. 观察内容可能非常庞大,尤其是当代理与网页或PDF 等非结构化数据交互时。很容易超出上下文限制。 2. 即使窗口技术上支持,模型性能在超过某个上下文长度后往往会下降。 3. 长输入代价高昂,即使使用前缀缓存也是如此。你仍然需要为传输和预填充每个标记付费。 为了解决这个问题,许多智能体系统实施了上下文截断或压缩策略。但过度压缩不可避免地导致信息丢失。问题是根本性的:智能体本质上必须基于所有先前状态来预测下一步动作——而你无法可靠地预测哪条观察在十步之后可能变得关键。从逻辑角度看,任何不可逆的压缩都存在风险。 这就是为什么我们将文件系统视为Manus 中的终极上下文:大小无限,天生持久,并且可以由智能体自身直接操作。模型学会按需写入和读取文件——不仅将文件系统用作存储,更作为结构化的外部记忆。 我们的压缩策略始终设计为可恢复的。例如,只要保留网址,网页内容就可以从上下文中删除;只要沙盒中仍有文档路径,文档内容也可以省略。这使得 Manus 能够缩短上下文长度而不永久丢失信息。 在开发此功能时,我不禁想象,状态空间模型(SSM)要在具代理性的环境中有效工作需要什么条件。与 Transformer 不同,SSM 缺乏完全的注意力机制,难以处理长距离的向后依赖。但如果它们能掌握基于文件的记忆——将长期状态外部化而非保存在上下文中——那么它们的速度和效率可能会开启新一代代理。具代理性的 SSM 或许才是神经图灵机的真正继任者。 通过背诵操控注意力 如果你使用过Manus,可能会注意到一个有趣的现象:在处理复杂任务时,它倾向于创建一个 todo.md 文件,并随着任务的推进逐步更新,勾选已完成的事项。 这不仅仅是可爱的行为——这是一种有意操控注意力的机制。 Manus 中的一个典型任务平均需要大约 50 次工具调用。这是一个较长的循环——由于 Manus 依赖 LLMs 进行决策,因此在长上下文或复杂任务中,容易偏离主题或忘记之前的目标。 通过不断重写待办事项清单,Manus 将其目标反复写入上下文末尾。这将全局计划推入模型的近期注意力范围,避免了“中途丢失”问题,减少了目标不一致的情况。实际上,它利用自然语言来引导自身关注任务目标——无需特殊的架构改动。 保留错误信息 智能体会犯错。这不是漏洞——这是现实。语言模型会产生幻觉,环境会返回错误,外部工具会出现异常,意外的边缘情况时常发生。在多步骤任务中,失败不是例外;它是循环的一部分。 然而,一个常见的冲动是隐藏这些错误:清理痕迹,重试操作,或重置模型状态,寄希望于神奇的“温度”参数。这看起来更安全、更可控。但这付出了代价:抹去失败就抹去了证据。没有证据,模型就无法适应。 根据我们的经验,改善智能体行为的最有效方法之一看似简单:在上下文中保留错误的路径。当模型看到失败的操作及其产生的观察结果或堆栈跟踪时,它会隐式地更新内部信念。这会使其先验偏离类似的操作,从而减少重复同样错误的可能性。 事实上,我们认为错误恢复是衡量真正智能体行为的最明确指标之一。然而,在大多数学术研究和公开基准测试中,这一指标仍然被忽视,这些研究和测试通常侧重于理想条件下的任务成功率。 避免被少量示例限制 少量示例提示是提升LLM 输出的常用技巧。但在智能体系统中,它可能以微妙的方式适得其反。 语言模型擅长模仿;它们会复制上下文中的行为模式。如果你的上下文充满了类似的过去动作-观察对,模型往往会遵循这种模式,即使这已不再是最优选择。 在涉及重复决策或操作的任务中,这可能会带来危险。例如,在使用Manus 帮助审查一批 20 份简历时,代理经常陷入一种节奏——仅仅因为上下文中出现了类似内容,就重复执行相似的操作。这会导致偏离、过度泛化,甚至有时产生幻觉。 解决方法是增加多样性。Manus 在动作和观察中引入少量结构化的变化——不同的序列化模板、替代表达、顺序或格式上的细微噪声。这种受控的随机性有助于打破模式,调整模型的注意力。 换句话说,不要让少量示例把自己限制在固定模式中。上下文越统一,代理就越脆弱。 结论 上下文工程仍是一门新兴科学——但对于代理系统来说,它已经至关重要。模型可能变得更强大、更快速、更廉价,但再强的原始能力也无法替代记忆、环境和反馈的需求。你如何塑造上下文,最终决定了代理的行为:运行速度、恢复能力以及扩展范围。 在Manus,我们通过反复重写、走过死胡同以及在数百万用户中的实际测试,学到了这些经验。我们在这里分享的内容并非普遍真理,但这些是对我们有效的模式。如果它们能帮助你避免哪怕一次痛苦的迭代,那么这篇文章就达到了它的目的。 智能代理的未来将由一个个情境逐步构建。精心设计每一个情境。 王小华记者 孙启林 摄

精毛一区二三区四区在线免…歌曲?当地时间7月14日,欧盟各成员国的贸易部长将在布鲁塞尔举行会议,就特朗普宣布对欧盟征收30%关税一事作出回应。当前,欧盟委员会面临的“反制压力”越来越大,一度放狠话要发起反制的欧洲人,似乎很快又“软”了。

精毛一区二三区四区在线免…歌曲?2013年,娃哈哈迎来历史巅峰,年营收超780亿元,成为中国饮料行业的绝对霸主。只是此后业绩几乎是连年下滑,至2020年跌到了440亿元低谷。

人生就是博·(中国区)官方网站

精毛一区二三区四区在线免…歌曲?自2024年8月担任波音CEO以来,奥特伯格试图扭转公司颓势,重振昔日雄风。他带领波音克服罢工危机,并表示有信心扭亏为盈。然而,空难发生后,波音再次受到关注。12日,波音股价下跌近5%。 王智强记者 郭温贤 摄

人生就是博·(中国区)官方网站

精毛一区二三区四区在线免…歌曲?据塔斯社报道,全俄国家电视广播公司电视节目主持人扎鲁宾6月22日在社交媒体发布的视频显示,俄罗斯总统助理乌沙科夫在接受其采访时表示,俄总统普京出访中国的行程将持续4天,“如此长时间的出访极为罕见”。在被问及普京此访是否确实会从8月31日持续至9月3日时,乌沙科夫表示,“这种情况很少发生。但现在,这显然将会出现”。他称,访问期间会有数场活动,因此行程相对较长。 李艳成记者 徐海洋 摄

精毛一区二三区四区在线免…歌曲?7月11日至18日,韩国股民净买入金额最多的10只港股分别为阿里巴巴-W、老铺黄金、康方生物、地平线机器人-W、南方东英三星电子每日杠杆(2x)ETF、恒瑞医药、中海油、中国财险、中国宏桥集团、iShares沪深300ETF。

人生就是博·(中国区)官方网站

精毛一区二三区四区在线免…歌曲?天眼查APP显示,厦门欧行成立于2017年,法定代表人名为谢飞宇,注册资本2000万元,但参保人数显示为0。厦门欧行由厦门建发汽车有限公司控股95%,厦门众聘汽车有限公司持股5%。穿透股权关系来看,厦门欧行与极氪厂家并没有直接关联。 赵琛记者 沈爱民 摄

人生就是博·(中国区)官方网站

精毛一区二三区四区在线免…歌曲?之后,孙女士向上级法院申请再审,今年5月,法院裁定孙女士并非侵权行为主体,发回原审法院重审。可令孙女士意想不到的是,重审时,她居然又成了被告。据悉,该案已于7月16日开庭,当庭未宣判。 宋高勇记者 周伊文 摄

精毛一区二三区四区在线免…歌曲?2022年3月25日—4月14日,北京市海淀区市场监督管理局开展餐饮食品安全大检查,其后点名云海肴颐和园路店存在未按照保证食品安全要求贮存食品的问题,责令改正、给予警告,并立即停止其线上经营活动。其崇文店还曾因后厨卫生环境较差,且经过警告后拒不改正被东城区市监局处以2.5万元的行政罚款。

人生就是博·(中国区)官方网站

精毛一区二三区四区在线免…歌曲?因此,在缺乏一种非参赛团队自选的、受控的测试方法论的情况下,人们应该警惕将不同 AI 模型在 IMO 这类竞赛中的表现,或将这些模型与人类参赛者的表现进行「同类比较」。 王敬元记者 刘鹏 摄

精毛一区二三区四区在线免…歌曲?进入2025年,全民智驾、智驾平权的口号四起,不少车型因智驾表现参差不齐,因开启辅助驾驶在遇到突发状况接管不及时引发的事故不少,中国社会对部分品牌夸大宣传辅助驾驶的现象有加强监管的诉求,这可以理解。

精毛一区二三区四区在线免…歌曲?可谁能想到,摄像机的镜头转眼就对准了一对紧紧相拥的情侣,这俩人可就不像刚才那些小情侣那么亲昵,反而是赶紧分开,甚至急忙遮住了自己的脸。

精毛一区二三区四区在线免…歌曲?2023年翟潇闻被狗仔拍到和周雨彤的恋情,粉丝盼着一句解释,等来的却只有一张风景照,全程冷处理,多少人当时就憋着气没处撒。

精毛一区二三区四区在线免…歌曲?一些被收回权益的车主表示:“购买蔚来时,签署的《蔚来车主基本权益告知书》中没有对使用公里数进行限制,而且厂商也经常宣传开蔚来省钱。现在蔚来因为我们开的公里数比较大就要收回权益,这不合适。”

精毛一区二三区四区在线免…歌曲?7月19日,江苏省城市足球联赛第七轮,泰州队坐镇主场迎战宿迁队。比赛中,泰州队球员刘俊伯攻入全场唯一进球。最终泰州队以1比0战胜宿迁队。

精毛一区二三区四区在线免…歌曲?上交所在2021年就曾要求商米科技说明"直接材料占比95%的情况下,发行人的核心技术如何运用到两种产品代工生产过程中",对此商米科技的回复是核心技术先进性并非体现在零部件及整机生产环节,而是体现在产品定义、模块化开发及商用关键模组开发等核心开发环节。

精毛一区二三区四区在线免…歌曲?由于战时腐败的隐蔽性,以及在前线调查的困难,发生于“特别军事行动”开始后的腐败案,往往要在引发重大事件之后才被曝光。一个案例是,在克里米亚大桥屡遭乌克兰特工及无人机、无人艇袭击后,俄罗斯国民警卫队海军高级军官谢尔盖·沃尔科夫于2023年3月被捕,后来被判处6年监禁。调查人员发现,他用4亿卢布经费购买的两套雷达系统,其技术特性根本无法防范无人机袭击。

人生就是博·(中国区)官方网站

精毛一区二三区四区在线免…歌曲?张海超老家的院子里有两棵杏树,种了20多年,已经结了满满果实,窗边晒着干了的杏核。树荫下有一间上世纪90年代修的白色房子,被隔成了一个卧室和一个客厅,张海超有时会睡在这里。他的父母睡在另外一间砖房里,那间房是1980年修的,比他还大一岁。 李玉华记者 王利国 摄

精毛一区二三区四区在线免…歌曲?“于汉超一剑封喉,穆斯卡踢了七次上海德比,他根本搞不定于汉超,塞蒂恩也一样,对重点球员的重点关注不够。精彩的比赛,但感觉两队消耗太大了。”

人生就是博·(中国区)官方网站

精毛一区二三区四区在线免…歌曲?温来成认为,近几年,专项债进入了还款高峰期,地方财政应根据当地经济发展、财政收支情况精简政府职能、压缩支出。同时,转移支付也可以给地方更大的自主性。此外,上级政府在严管专项债挪用,减少部分地区专项债发行量时,也应该通盘考虑下级县区的财力情况,及时调配资源,保证地方“三保”,防止部分地区出现债务违约。 高明英记者 丁贤俊 摄

精毛一区二三区四区在线免…歌曲?未来,西咸新区将持续打造更加丰富的多元应用场景体系,为无人机企业提供从检验检测到商业化应用的全流程场景保障。通过提升产业协同创新与商业化运营能力,加速构建覆盖更广、效能更高的低空网络,为全省低空经济发展贡献更多“西咸支撑”。

精毛一区二三区四区在线免…歌曲?7月21日,运动科技公司Keep于港交所发布公告,对2025年上半年业绩做出盈利预告。公告称,截至2025年6月30日的6个月内,公司录得亏损约人民币3600万元,同比上一年度同期的1.63亿元大幅收窄78.0%;非国际财务报告准则计量下,截至2025年6月30日的6个月内,经调整利润净额约人民币1000万元。

精毛一区二三区四区在线免…歌曲?西藏自治区原党委书记吴英杰受贿案今年3月20日在北京市第三中级人民法院一审开庭审理,他被控受贿3.43亿余元,吴英杰当庭表示认罪悔罪。目前,该案尚未宣判。 ,更多推荐:亚洲欧洲一区二区免费视频

扫一扫在手机翻开目今页
网站地图