从提示工程到程序化提示:面向大模型的软件工程学科
这篇 arXiv 论文主张区分「提示工程」与「程序化提示」:前者是人在对话中实时调整措辞的交互技巧,后者是把提示当作一等软件工件进行构建、组合、版本管理、测试与维护的工程学科。作者给出程序化提示的定义,系统区分其与提示工程、提示微调、微调及一般 LLM 应用开发,并提出「提示债」概念,区分代码中可度量的显性债务与只在事故中暴露的隐性债务。文中引用 Grok
公司与模型 · 马斯克 xAI 与 Grok 系列的全部动态:模型迭代、算力扩张与 X 平台整合
关联由结构化实体与正文位置共同判定 · 最近刷新 2026-11-10 19:38
这篇 arXiv 论文主张区分「提示工程」与「程序化提示」:前者是人在对话中实时调整措辞的交互技巧,后者是把提示当作一等软件工件进行构建、组合、版本管理、测试与维护的工程学科。作者给出程序化提示的定义,系统区分其与提示工程、提示微调、微调及一般 LLM 应用开发,并提出「提示债」概念,区分代码中可度量的显性债务与只在事故中暴露的隐性债务。文中引用 Grok
Anthropic 以 34 亿美元向 Caterpillar 购买原本由设备供应商 OnePWR 订购的天然气涡轮发电机,发电能力最高 1.7 吉瓦。Anthropic 此前偏好租用算力(如每月向 xAI 支付 12.5 亿美元),但天然气涡轮订单已排到 2030 年代初、并网排队同样漫长,使其不得不直接采购。此举反映 AI 数据中心电力紧缺,Google
英伟达董事会宣布对CEO黄仁勋展开独立调查,起因是黄仁勋向员工承认对妻子不忠,而事件对象Megaspeed高管Alice Huang被美国官员怀疑为中国间谍。耶鲁教授Jeffrey Sonnenfeld评估黄仁勋留任几率约为五五开,认为其判断力严重失误,但若能证明自己是被蒙骗,或可凭借长期积累的声望信用渡过危机。由于英伟达处于AI芯片供应与循环融资网络的核心
另有 1 家信源报道
据彭博社 Mark Gurman 报道,苹果 CEO John Ternus 正施压 AI 负责人 Craig Federighi 加速 Siri 路线图,目标是打造能与 OpenAI 的 Dots、Meta 的 Muse 竞争的强 AI 代理。Siri 近期将获得对苹果第一方应用的细粒度控制(预计随 iOS 27.3 推出),随后在明年春季接入第三方应用,
Nous Research 对阿里巴巴的 Qwen3.8-27B 进行监督微调,使用约 5300 万 token 训练出 Arete-27B,将模型回答中的中国官方宣传比例从 22% 降至 0.9%,同时基本保持通用能力。团队用 803 条提示词、以 Grok 4.7 作为评判模型构建测试,称中国开源模型的政治倾向只是可被剥离的"薄层"。该模型的权重、测试集
非营利机构METR在获得Anthropic内部研究数据十一周访问权限后发布审计报告,发现Anthropic模型能力的提升速度自2025年10月以来约为此前的1.9倍,其中约80%的加速来自AI被用于公司自身研究。该加速可能已触及Anthropic《负责任扩展政策》中设定的预警阈值,METR认为该阈值或早在7月15日就已被跨越。但Anthropic对大部分关键
AI生成的科幻电影《Gods Don't Give Gifts》宣布流行歌手Grimes将出演,提供其肖像和声音表演,影片由AI工作室Fable制作、Jack London执导,定于12月4日上映,号称首部登陆院线的AI电影。此举被视为AI电影商业潜力的重要测试案例,Grimes的加盟可能为项目增加可信度。文章指出,尽管好莱坞对AI充满期待,但此前类似项目(
美国中期选举后民主党全面控制国会,数据中心(AI算力设施)成为选举议题。NBC出口民调显示超半数选民认为AI弊大于利,近80%反对在自家社区建数据中心,约60%称该议题是投票重要因素。俄亥俄、得州等多州反对数据中心的候选人胜选,Meta原计划建厂的俄亥俄县已通过数据中心禁令。分析人士预计将出现更多建设暂停令、要求数据中心自付电网升级费用,Sanders与Oc
Uber在第三季度财报电话会上披露,10月万圣节当周仅4单通过AI代理下单,Uber Eats仅500单,而同期总订单约3.2亿。CEO Dara Khosrowshahi称AI代理交易"非常早期、牵引力有限",但认为这是触达平台的新机会。DoorDash此前也报告类似低量,显示代理式电商仍处早期。
另有 1 家信源报道
苹果周一宣布调整 App Store 政策,要求所有提供约会或恋爱关系功能的应用必须标注 18+ 年龄分级,并从 11 月 16 日起强制开发者添加新的内容描述符,以更严格地限制未成年人使用约会应用和涉及性/浪漫内容的 AI 陪伴应用。该政策延续了苹果此前推出的全球年龄验证技术和家长控制等儿童保护措施,可能影响 Character.AI、Replika 及
雷峰网 AI 科技评论对 Grok Bot、WorkBuddy 和 Qoder CN 三款多智能体产品进行同题实测,要求各自组建 AI 团队撰写《大模型路由研究综述》。Grok Bot 以 12 分 49 秒最快交稿且收录论文最多,WorkBuddy 耗时 21 分 43 秒但正文最接近可编辑底稿,Qoder CN 用 14 分 42 秒展示了智能体交叉纠错
《纽约时报》联合纽约每日新闻、芝加哥论坛报、奥兰多哨兵报等出版方起诉 Brave 浏览器开发商 Brave Software,指控其未经许可抓取网站内容用于训练 AI,并通过付费向 Anthropic、Perplexity、Mistral、xAI、Cohere 等 AI 公司提供 Brave Index 实时内容,同时允许用户绕过付费墙。NYT 称 Brav
另有 1 家信源报道
Strands Agents SDK 发布 harness-cli v0.2.3,由提交记录自动生成发布说明。该版本新增结构化输出尝试次数限制、用 agent.cancel() 停止事件循环、TypeScript 与 Python 双语言的 vended-tools(read/write/edit/graph 工具)、DecisionModel 与 LLMD
SpaceX 在监管文件中披露,已与 Apollo Global Management 管理的实体达成约 400 亿美元的有约束力融资承诺,用于购买 AI 芯片及数据中心设备,再以约 5 至 5.25 年租期回租给 SpaceX,交易预计年底完成、2027 年上半年起租。SpaceX CFO 称此举多元化融资来源,并称 AI 基础设施投资回收期不足一年;Ap
SpaceX与特斯拉已成立特别委员会讨论合并事宜,马斯克在SpaceX财报电话会上称合并有'大量价值',理由是合作开发超级智能软件。SpaceX第三季度AI业务收入达75.6亿美元,主要来自向Anthropic和Google出租算力;特斯拉则连续第二个季度利润下滑,重心转向机器人与自动驾驶出租车。两家公司此前已宣布Terafab芯片制造和Macrohard
Vercel Labs 开源了用 Zig 编写的实验性编码代理 fx,它被设计为可脚本化、可嵌入的 CLI 与库,而非全屏终端应用,官方称其原生二进制仅 6.3 MiB、冷启动约 10 微秒。fx 支持 JSON 结构化输出、通过 Agent Client Protocol 接入编辑器,并以 libfx 向 JavaScript 和 WebAssembly
Meta 在安全公司 Claroc 发现超过 6,800 条 Muse 对话分享链接可通过公开 DNS 记录被检索后,暂停了 Muse 的对话分享功能。Claroc 指出,Meta 用分享标题加随机 ID 构造链接,导致链接可被重建,泄露内容涉及营销公司营收、贷款申请、员工日历等敏感信息。Meta 发言人表示正在审查报告并考虑调整链接发现机制。此前 Chat
llama.cpp 发布 b11729 版本,为 Qwen3 模型新增双向注意力(bidirectional attention)与 dense 2 输出投影支持,并在转换脚本 base 中读取 use bidirectional attention 配置。该改动由社区贡献者提交、Grok 辅助完成,同时发布覆盖 macOS、Linux、Windows、An
Anthropic 计划将公司5%的股份投入新设立的「Anthropic 公共利益基金」,用于资助受 AI 冲击的失业群体,并可能直接向特定人群发放现金;该基金以全资 LLC 子公司形式设立,控制权仍归公司,股份追加由董事会酌情决定。此举发生在 Anthropic 筹备大规模 IPO 之际。马斯克在 X 上回应称应直接把股份发给公众,并称明年将向美国约720
OpenAI CEO 奥尔特曼在播客中确认公司将亲自研发人形机器人,强调核心是打造驱动机器人运转的“大脑”而非外观。同日,DeepSeek 发布 V4.1-Flash-1017 版本,通过自反馈强化学习提升从零构建项目能力,多数场景 Token 用量下降逾 50%,API 新增 Search 与 Fetch 接口。英伟达通过 vLLM 上游优化使 Kimi