引用阿明·罗纳赫:软件项目的共享语言 2026-07-15 02:04 UTC+8 阿明·罗纳赫在一篇关于AI代理和软件工程的文章中强调,软件项目的共享语言并非英语或Python,而是对概念、边界、不变量、所有权和系统形态的共同理解。他指出,在AI代理出现之前,这种理解通过“摩擦”维持——如阅读代码、提问、协调——这种摩擦虽然缓慢且部分浪费,但同步了人们。这篇文章由Simon Willison于2026年7月14日引用。
软件项目的共享语言是对概念、边界、不变量等的共同理解,而非编程语言或自然语言。 在AI代理时代之前,这种理解通过开发过程中的摩擦(如代码审查、讨论)来维持。 什么是元提示及其工作原理? 2026-07-15 01:21 UTC+8 元提示是一种先进的提示工程技术,要求模型在执行任务前先设计可复用的提示模板、清单或工作流程。本文详细解析了元提示的定义、四步工作流程、具体模板示例及其与普通提示、少样本提示、思维链提示的对比。
元提示将模型从直接执行者转变为提示设计者,通过设计可复用模板提升一致性。 工作流程包括定义目标、添加约束、生成可复用提示、测试与改进四步。 谷歌现在用更多你的数据训练AI,除非你选择退出——方法如下 2026-07-15 01:20 UTC+8 谷歌更新了隐私政策,现在你的图片、语音搜索和视频可能被用于训练其AI模型。用户被自动默认开启,需手动关闭以保护隐私。本指南将教你如何退出。
谷歌将用户在搜索服务中产生的媒体(图片、音频、视频)用于训练AI模型。 所有用户默认开启此项设置,须在设置中手动关闭。 Nemotron Labs:开放模型如何让企业和国家拥有可信、可控、可定制的人工智能 2026-07-15 00:45 UTC+8 开放模型如NVIDIA Nemotron使企业能够构建满足特定需求的AI,提供完全的控制权、定制能力和成本效益,并推动从AI使用到AI拥有的转变。
开放模型让企业能够定制、检查和改进AI,满足业务具体需求。 通过后训练和领域微调,开放模型在特定任务上可达到与领先封闭模型相当的准确性,成本大幅降低。 我是如何让AI堕入黑暗面的 2026-07-14 23:59 UTC+8 研究员Dave Kuszmar发现了多个系统性漏洞,使他能够绕过大型语言模型的安全限制,获取危险指令。这些漏洞几乎影响所有主流LLM,揭示了行业范围的安全问题。Kuszmar呼吁减缓部署、提高透明度,并在进一步将LLM融入社会前开展大规模安全研究。
研究员发现“时间盗贼”和“盗梦空间”两种漏洞,可绕过LLM安全控制。 漏洞影响多家公司的主流LLM,包括OpenAI、Anthropic、Google等。 符号帝国——符号学历史与大型语言模型之间的联系 2026-07-14 22:05 UTC+8 本文探讨了符号学历史与大型语言模型之间的联系,借鉴了索绪尔、巴特和德里达等思想家的理论,分析了语言符号的差异性与AI生成内容的关系。
符号学为理解LLM的语义生成提供了理论框架 索绪尔、巴特和德里达的符号理论对AI语言模型有启发意义 Mistral AI 发布机器人导航视觉模型 2026-07-14 21:46 UTC+8 Mistral AI 推出了一款新型视觉模型,机器人仅需一个RGB摄像头和自然语言指令即可在陌生环境中导航。
Mnemo AI – 本地代理助手,能从失败中学习,支持任何LLM 2026-07-14 20:49 UTC+8 Mnemo AI 是一个本地代理型AI助手,利用LangGraph和LangChain集成多种LLM提供商(如Ollama、Amazon Bedrock、OpenAI、Anthropic等)。它具备MCP工具系统、RAG能力、用户档案学习、情景记忆以及ACE剧本——一种能从成功和失败中学习策略的机制。此外,还支持网络搜索、图像分析、文件操作、bash执行等功能。
支持多种LLM提供商,包括本地和云端模型 集成MCP工具系统和RAG文档检索 生产中减少LLM延迟和推理成本的12种方法 2026-07-14 20:00 UTC+8 扩展LLM的关键不是增加GPU,而是消除每个请求中的不必要工作。本文介绍了12种实用的减少延迟和成本的方法。
测量队列时间、首token时间、token间延迟和缓存命中率等关键指标。 积极减少输出token,设置合理的max_tokens限制。 谷歌DeepMind CEO哈萨比斯呼吁建立全球AI监管机构——应由美国领导 2026-07-14 19:43 UTC+8 谷歌DeepMind联合创始人兼CEO德米斯·哈萨比斯呼吁建立一个全球AI监管机构,该机构有权在前沿模型过于危险时刹车。他认为美国应主导这一倡议,并希望在今年年底前成立该机构。
哈萨比斯提议建立类似金融业监管局的全球AI监管机构,由独立专家和开源社区代表组成。 该机构将有权在AI模型发布前进行评估,并在判断风险过高时协调全行业放缓部署。 Blume:一个开源、零配置的文档框架,从Markdown文件夹生成AI就绪文档 2026-07-14 16:15 UTC+8 Hayden Bleasel 发布了 Blume,一个开源、MIT 许可的文档框架。它读取 Markdown 或 MDX 文件夹,生成隐藏的 Astro 项目,输出静态的 AI 就绪文档,包含本地搜索、30+ MDX 组件、llms.txt 和内建 MCP 服务器。
Blume 是一个零配置的文档框架,只需将 Markdown 放入文件夹即可生成完整文档站点。 它基于隐藏的 Astro 和 Vite 项目,支持热重载,并可提升为独立的 Astro 应用。 Mistral AI 发布 Robostral Navigate:8B 模型仅凭单 RGB 摄像头让机器人导航复杂环境 2026-07-14 15:20 UTC+8 Mistral AI 推出了 Robostral Navigate,一个 8B 参数的具身导航模型。该模型仅使用单个 RGB 摄像头,无需 LiDAR 或深度传感器,即可根据自然语言指令驱动机器人。在 R2R-CE 验证未见过的场景中,它达到了 76.6% 的成功率,这得益于其指向方法、前缀缓存训练和 CISPO 在线强化学习。
Robostral Navigate 是 Mistral AI 首个面向具身导航的 8B 模型。 仅用单 RGB 摄像头,无需深度传感器,在 R2R-CE 验证未见场景达到 76.6% 成功率。 通过VLAC-Cut引导管道最大化大规模机器人后训练中的人力效率 2026-07-14 12:00 UTC+8 本文提出一种人效后训练管道,通过专业化分工(远程操作员和地面操作员)和自动轨迹分割工具VLAC-CUT,实现少量人员监督多台机器人。在四个真实操作任务中,最终策略成功率达80%-95%,吞吐量提升1.7-4.2倍,优于纯人类参与训练。
提出人效后训练管道,通过角色专业化减少任务切换和培训成本。 引入VLAC-CUT自动轨迹分割工具,筛选有效数据用于迭代训练。 一种风险场增强的闭环数字孪生框架用于自动驾驶安全验证 2026-07-14 12:00 UTC+8 该论文提出了一种风险场增强的闭环数字孪生框架,用于自动驾驶系统的安全验证。框架整合了物理数据采集、虚拟重建、风险感知场景生成和算法评估,并通过驾驶风险场作为统一中间表示来识别高风险场景,为强化学习策略提供安全指导。实验表明该方法提高了验证的针对性和可解释性,但实际效果受模型保真度和模拟到现实迁移的限制。
提出风险场增强的闭环数字孪生框架 驾驶风险场作为统一中间表示描述多种风险 以LLM为核心的无人机蜂群代理型AI:架构、使能技术与开放问题 2026-07-14 12:00 UTC+8 无人机蜂群在搜索救援和环境监测中潜力巨大,但受限于态势感知不足、连接中断和网络安全风险。本文提出以LLM为核心的代理型AI框架(LAUS),整合感知、记忆、推理规划与行动,实现自适应蜂群行为,同时分析了攻击面扩大、优先级操纵攻击等威胁,并指出了抗幻觉推理、SWaP约束下的机载LLM部署等开放挑战。
提出LAUS架构,将LLM与闭环认知系统结合,实现无人机蜂群的自主与自适应操作。 梳理了边缘计算、5G/6G、多模态智能等使能技术,并重点分析了优先级操纵攻击(PMA)等安全威胁。 EgoSteer:一种面向从第一人称视频实现可控灵巧操作的全栈系统 2026-07-14 12:00 UTC+8 EgoSteer是一个全栈系统,通过从第一人称人类视频中大规模预训练视觉-语言-动作(VLA)模型,实现可控的灵巧操作。它集成了EgoSmith数据流水线(9.6K小时高质量数据,吞吐量提升9倍)、统一遥操作机器人平台和世界模型增强的VLA策略。实验表明,EgoSteer在40多种任务中稳定执行自然语言指令,具备故障恢复和泛化能力,并可通过少量样本适应复杂长时任务(如折叠纸箱),成功率超75%。系统、数据和模型已开源。
EgoSteer是一个全栈系统,从第一人称视频中学习可控灵巧操作。 EgoSmith数据流水线提供9.6K小时高质量预训练数据,吞吐量是此前最优的9倍。 噪声锚定扩散反演中的压缩不对称性与轨迹绑定 2026-07-14 12:00 UTC+8 本文研究了真实图像扩散反演中的质量-成本权衡,揭示了元素级压缩不对称性和轨迹绑定两个关键机制,并由此提出训练无关的反演方法NARC。该方法仅需存储单个int8潜码锚点,在保持重建质量的同时将存储需求降低约400倍,在PIE-Bench++上PSNR提升3.24 dB。
扩散噪声存在元素级压缩不对称性:int8全维度锚点可保真重建,而低维子空间摘要不可靠。 反演过程具有轨迹绑定特性,需要匹配的前向锚点和训练好的分数网络共同作用。 走向真实世界的可穿戴运动重建 2026-07-14 12:00 UTC+8 ECCV 2026接收的一篇论文提出了一种新的可穿戴运动捕捉方法,能够从任意组合的消费级设备(如智能手机、智能手表)重建全身运动,并引入了WHIP模型和一个包含50种活动的多模态数据集,同时系统研究了传感器互补性。
提出WHIP模型,可从任意可穿戴传感器子集重建全身运动 创建了大规模多模态数据集,涵盖50种活动,使用消费级传感器 时间印记:在多模态知识图谱中学习时间感知表示 2026-07-14 12:00 UTC+8 多模态知识图谱通过文本和图像等模态丰富实体,但高度相似的多模态特征仍难以区分。时间信息可作为额外模态进行消歧,但现有方法因时间语义稀疏和多时间戳噪声而鲜有将时间作为独立模态。本文提出时间印记框架,将时间视为实体级模态,通过三视角对比目标对齐时间、文本和视觉表示,并设计紧凑时间戳子集选择与注意力池化以兼顾特异性和鲁棒性。实验表明,该方法在链接预测任务上达到最优,整体 Hits@1 提升最高 6.07%,在 top-1% 高歧义样本上提升达 58%。
提出将时间作为独立模态融入多模态知识图谱,通过三视角对比学习对齐多模态表示。 设计紧凑时间戳子集选择和注意力池化,解决多时间戳歧义问题。 基于RISC-V多核MCU视觉系统的低功耗车牌检测与识别 2026-07-14 12:00 UTC+8 本文首次演示了基于低功耗MCU的边缘设备用于自动车牌识别(ALPR)。该设计利用9核RISC-V处理器GAP8,结合QVGA超低功耗灰度成像器,采用基于SSDlite-MobilenetV2和LPRNet的多模型推理方法,在公共数据集上达到38.9%的mAP和超过99.13%的识别率。在真实世界中可识别小至30x5像素的车牌。多模型推理(687 MMAC)在GAP8上以1.09 FPS和117 mW运行,相比树莓派3系统能效提升73倍,且无需硬连线加速引擎。
首个基于MCU的低功耗ALPR边缘设备,使用9核RISC-V处理器GAP8。 多模型方法:SSDlite-MobilenetV2用于检测(mAP 38.9%),LPRNet用于识别(>99.13%)。 ReflectWorld-MM:面向实体的开放视频流多媒体记忆系统 2026-07-14 12:00 UTC+8 ReflectWorld-MM是一种新型AI系统,使助手能够持续处理和记忆开放视频流,通过围绕持久实体而非帧来组织记忆,在六个基准测试中取得了最先进的结果。
ReflectWorld-MM围绕实体而非帧组织视频记忆,提升了长期跟踪能力。 系统包括三个部分:感知前端、分层长期记忆和实际部署实现。 RSLoRA:通过表示敏感性探测进行LoRA免训练秩分配 2026-07-14 12:00 UTC+8 RSLoRA是一种基于激活空间几何的免训练、免梯度秩分配方法。它引入虚拟表示探测机制,通过有效秩和弗雷歇距离识别高敏感性模块,在多个基准测试中优于AdaLoRA和GoRA等最新分配器。
RSLoRA无需迭代训练调整和反向梯度。 利用有效秩和弗雷歇距离测量结构化低秩噪声引起的流形位移。 通过图谱对齐的时空标记化实现宽场钙成像的跨主体建模 2026-07-14 12:00 UTC+8 一种名为WiCAT的新模型,利用自监督预训练在宽场钙成像数据上实现了跨主体建模,超越了单会话模型,并首次实现了对未见主体的零样本行为解码。
WiCAT引入基于图谱的标记化方案,无需会话特定组件,学习全局共享的时空表征。 在多个数据集上,预训练模型支持轻量级下游解码,并在主体、任务和数据集间迁移。 基于内部潜在分析的扩散模型统一骨干优化框架 2026-07-14 12:00 UTC+8 研究人员提出DUNE,一种无需训练的扩散模型优化框架,通过检测并抑制早期深层潜在波动来减少伪影和幻觉,提升生成保真度,适用于U-Net和Transformer架构。
DUNE通过分析深层潜在变量中的早期剧烈波动来识别和减少伪影。 该方法无需重新训练,使用EMA标准检测异常并应用特定骨干抑制。 非英语语言推理的成本:以日语为例 2026-07-14 12:00 UTC+8 本研究探讨了训练日语推理语言模型的可行性。通过使用GRPO对基于Qwen-3-Swallow-8B的日语持续预训练模型进行训练,研究者发现推理语言控制是可行的,但性能最多与英语推理基线持平。在日语文化基准测试中,模型表现甚至更差,表明日语推理并不能立即提升文化相关任务的表现。
研究了训练日语推理语言模型的可行性。 使用GRPO训练了Qwen-3-Swallow-8B的日语推理变体。 高效将口语语言模型适应于新加坡语境 2026-07-14 12:00 UTC+8 本研究探索了在无法访问原始训练数据且需要多语言语音查询交互的敏感领域(如新加坡内政团队)中,如何高效地使开源口语语言模型(SLM)适应。通过结合LoRA微调、防止灾难性遗忘的替代文本问答数据集以及针对语音任务改编的CoBa重加权方案的多任务目标,研究团队构建了包含504,853个样本的多语言问答数据集HTD-multilingual-QA,最终得到的HT-Moonstone(5B)模型在大多数任务上匹敌或超越规模大7倍的SLM,并在口音和性别识别上表现最佳,同时原始语音问答能力损失不到2%。
结合LoRA、替代数据集和CoBa重加权方案,高效适配SLM至新加坡内政团队场景 构建了504,853样本的多语言(文本+语音)问答数据集HTD-multilingual-QA 量化LLM推理中的静默失败:基于分类法的空心收敛与故障模式转变分析 2026-07-14 12:00 UTC+8 最新研究表明,后训练量化会在任务准确率保持不变的情况下静默改变大语言模型的推理方式。通过一个六类故障分类法(Cohen's κ=0.906),研究人员分析了30,000条链式思维输出,发现弱精度量化(NF4)下“空心收敛”显著依赖于模型大小,而“捷径崩塌”和“信心滚雪球”等故障模式会发生定性转变,且空心收敛无法通过表面文本特征可靠检测。
后训练量化可在保持准确率的同时静默改变LLM推理 空心收敛在小型模型上显著减少,但大型模型不受影响 工作负载驱动的设备端实时字幕翻译优化 2026-07-14 12:00 UTC+8 本报告研究针对台湾地区的设备端英文到繁体中文字幕翻译,在短输入、短输出、单批次推理、低延迟和隐私约束下的优化。作者将原始151k词表替换为64k字幕领域分词器,并进行嵌入校准和微调,在OpenSubtitles2024子集上实现了59.2%的胜率(排除平局),并在Apple M2上获得1.63倍加速。
设备端英文到繁体中文字幕翻译,针对短输入、低延迟和隐私优化。 将151k词表替换为64k字幕领域分词器,应用嵌入校准和微调。 可信赖的设计:评估和改进面向多利益相关者的LLM生成的临床试验摘要 2026-07-14 12:00 UTC+8 一项新研究提出了一个基准框架,用于评估大型语言模型(LLM)生成的临床试验摘要的忠实度,针对医疗提供者、患者和支付方三个利益相关者群体。该框架从ClinicalTrials.gov选取了200个分层试验,使用六维度注释模式评估了GPT-4o、Claude Sonnet 4.6和Gemini 2.5 Flash生成的1800个摘要。研究发现,“无依据声明”是所有模型最主要的失败模式。通过知识图谱增强检索系统,忠实度得分获得了统计显著的提升。
新基准框架评估LLM在临床试验摘要中的忠实度,覆盖三个利益相关者群体。 “无依据声明”是跨所有模型的主要幻觉形式,平均注释得分仅1.55/3。 基于语言模型的全球并购套利预测 2026-07-14 12:00 UTC+8 研究团队开发了一种基于语言模型的并购套利预测系统,通过专家引导的上下文工程和事后推理微调,在400多笔跨国大型交易中实现了优于市场隐含概率和前沿语言模型的预测性能。
系统通过长上下文推理处理数百页技术文档,预测并购交易的三种结果:按原条款完成、更高出价或交易终止。 在覆盖42个国家的400多笔交易测试中,系统的Brier分数达到0.151,比市场隐含概率低24%,比XGBoost低19%,比前沿语言模型低25-42%。 Index SLM 技术报告 2026-07-14 12:00 UTC+8 Bilibili 发布 Index-1.9B 系列开源小型语言模型,包含基础模型、纯数据对照模型、对话模型和角色扮演模型,在多项基准测试中表现优异。
Index-1.9B 系列包含四个模型:Base、Pure、Chat 和 Character。 基础模型在 2.8 万亿中英文 token 上预训练,参数量 19 亿。 CLIR-Bench:面向不规则临床时间序列的多模态问答基准 2026-07-14 12:00 UTC+8 CLIR-Bench是一个专门用于评估模型在不规则临床时间序列上进行问答能力的基准。它基于去标识化的ICU记录构建,包含6,600个问答实例,覆盖11个临床变量,分为4个能力维度和11个任务。实验表明,现有通用模型难以从稀疏数据中检索和推理证据,凸显了加强不规则时间序列推理方法的必要性。
CLIR-Bench包含6,600个问答实例,涵盖11个临床变量和11个任务。 该基准专注于不规则采样的临床时间序列问答,填补了现有基准的空白。 基于参考的LLM蒸馏检测方法 2026-07-14 12:00 UTC+8 研究者提出了一种基于参考的成员推断方法,用于检测大型语言模型是否从其他模型蒸馏而来。该方法通过比较学生模型对不同候选教师模型输出的偏好,结合早期检查点,能够以近完美精度识别教师模型,并适用于未知蒸馏流程和开放世界场景。
提出参考式蒸馏检测方法,利用早期检查点识别教师模型 方法在单教师蒸馏场景中实现近完美精度 编码代理实际需要什么上下文才能行动? 2026-07-14 12:00 UTC+8 一项新研究显示,编码代理在编辑代码时真正需要的上下文极少:信号只存在于被编辑的代码本身,自然语言摘要几乎无法替代源代码回答行为问题,周围上下文(如UML骨架)与删除它效果无异,而压缩上下文(如类别签名)能以三分之一token达到完整文件的效果。此外,温度-0 API推理在相同输入下约有9%的结果翻转,构成了SWE-bench上所有小效果检测的噪声底线。研究团队发布了包含验证环境、确定性补丁和预注册假设的工具。
编码代理编辑代码时,真正需要的信号只存在于被编辑的代码本身。 自然语言摘要无法回答源代码能回答的绝大部分行为问题,且此差距与摘要模型大小无关(前沿模型与3B模型表现一样差)。 MawForge:面向本地混合专家推理的内存受限专家物化 2026-07-14 12:00 UTC+8 这篇论文介绍了MawForge系统,通过将完整模型存储在磁盘上,按需将路由专家物化到有限执行缓存中,使得在内存受限的统一内存机器上实现稀疏混合专家(MoE)语言模型的实用本地推理成为可能。研究发现MawForge作为有限执行机制和测量基板有效,但并非缓存最大化策略。
MawForge将完整MoE模型存储在磁盘上,按需将路由专家物化到有限缓存中。 专为约束型统一内存机器上的本地推理设计。 知识图谱与图神经网络的融合:综合综述 2026-07-14 12:00 UTC+8 本文提出了一种新的双层分类框架,系统回顾了基于图神经网络(GNN)的知识图谱技术,覆盖了知识图谱构建、嵌入、推理和应用,分析了不同GNN模型的优缺点,并指出了未来研究方向。
提出了知识图谱技术和GNN视角的双层分类法。 全面综述了GCN、GAT、HGNN等模型在知识图谱生命周期中的应用。 闭环控制:规则对齐的小语言模型与多智能体自我修正 2026-07-14 12:00 UTC+8 本文研究了一种基于小型语言模型(SLM)的闭环控制框架,通过GRPO对齐的Qwen2.5-1.5B模型,结合动作智能体、数字孪生验证层和重提示智能体,实现了从自然语言需求规范生成控制策略。在随机热控制模拟中,该框架达到91.5%的动作对齐准确率,平均推理延迟3.84秒,展示了在边缘设备上实现可重构自主控制的可行性。
使用1.5B参数的小型语言模型(Qwen2.5-1.5B)通过GRPO进行对齐,用于控制推理 多智能体架构包括动作生成器、符号/数字孪生验证器和迭代修正的重提示智能体 YUKTI:从自然语言情境到鲁棒、可验证的决策——不确定性类型命题信息检索、假设鲁棒帕累托前沿与遗憾证书 2026-07-14 12:00 UTC+8 YUKTI是一种新的自动决策制定框架,它通过不确定性类型命题图表示和假设鲁棒帕累托前沿(ARPF),显著降低了决策遗憾。实验表明,在受控误设定下,平均和尾部遗憾减少超过90%,在真实数据集上,样本外回测比基线优34%,而LLM的遗憾约为YUKTI的47倍。该框架还引入了SRJANA数据基础,并提供了可审计的可追溯性。
YUKTI使用不确定性类型命题图处理自然语言情境,避免了传统单目标优化对点值假设的脆弱依赖。 通过假设鲁棒帕累托前沿(ARPF)和分布性帕累托交接,YUKTI在多种场景下显著降低决策遗憾。 忠实而非纠错:多跳智能体中继中的消息格式效应取决于层级 2026-07-14 12:00 UTC+8 一项新研究探讨了消息格式在多跳LLM智能体中继中的影响,发现格式效应依赖于中继能力层级。在强中继下,忠实指令下几乎无损失,而弱中继下格式间差异显著扩大。结构化格式提供了忠实、错误定位的通道,而非纠错码。
研究通过受控中继测试床测试了五种消息格式在六跳中的表现。 强中继在忠实指令下几乎无信息损失,而弱中继的格式间召回率差异扩大8.7倍。 格式敏感度指数:令牌控制下提示包装鲁棒性与模式合规性研究 2026-07-14 12:00 UTC+8 本研究引入格式敏感度指数(FSI)和可解析性敏感度指数(PSI),评估提示包装对LLM准确性和答案可解析性的影响。实验发现不同模型间FSI差异超过30倍,主要由合规失败解释。可解析性是准确性的强预测因子,建议在基准测试中报告包装方差和合规性。
引入FSI和PSI两个互补指标,量化提示包装引起的准确率和可解析性变化。 在140,000次生成实验中发现,模型间FSI平均差异超过30倍,且与合规失败高度相关。 从机器学习预测到基于Toulmin论证模型的知情诊断辅助 2026-07-14 12:00 UTC+8 本文提出了一种基于Toulmin论证模型的结构化诊断辅助框架,将基于图像的ML诊断分解为声明、依据、正当理由、限定、反驳和支持等组件。通过专用生物标志物提取模型、MedGemma医学知识代理和MedSigLip图像相似度计算,为人类专家提供可解释的评估,增强对ML诊断的批判性审查。
采用Toulmin论证模型分解ML图像诊断,提升可解释性。 MedGemma代理分析依据与声明之间的正当理由。 艾伦·图灵关于人工智能的最大假设可能错了 2026-07-14 11:12 UTC+8 一本新书指出,自艾伦·图灵1950年著名论文以来,人工智能建立在一个有缺陷的假设上。计算机科学家彼得·J·丹宁认为,人类智能最重要的部分——包括常识、直觉、文化和实践技能——无法编码进计算机。他认为无论大语言模型变得多大,真正的人类水平AI都不可能实现。
计算机科学家彼得·J·丹宁在新书中挑战图灵关于AI的假设 丹宁认为常识、直觉、文化等隐性知识无法被机器编码 Anthropic Claude Sonnet 5 vs Sonnet 4.6 vs Opus 4.8:智能编码基准测试、API定价及成本-性能权衡对比 2026-07-14 08:58 UTC+8 Anthropic发布了Claude Sonnet 5,这是其最强的中端代理模型,在多项基准测试中超越前代Sonnet 4.6,并缩小了与旗舰Opus 4.8的差距。Sonnet 5引入了努力水平(effort levels)以控制推理成本,在低/中努力水平下性价比极高,但高努力水平下成本可能超过Opus 4.8。它已作为Free和Pro计划的默认模型,并可通过API调用。
Sonnet 5在SWE-bench Pro、OSWorld-Verified和HLE等基准测试中均优于Sonnet 4.6,接近Opus 4.8。 定价低于Opus 4.8:$2/$10每百万token(至2026年8月31日),之后为$3/$15。 Apple Music搜索的多语言语义检索系统 2026-07-14 08:00 UTC+8 Apple Music为150多个地区、数十种语言的用户提供服务,每天新增数十万首曲目。针对拼写错误、音译和跨语言查询的搜索召回率成为影响用户体验的关键。苹果研究人员提出了一种基于3.05亿参数Siamese双编码器的多语言语义检索系统,通过混合检索架构与现有索引结合,实现了69%的Hit@10相对改进,在线A/B测试中整体转化率提升2.28%,无结果率降低86%,长尾查询转化率提升7.93%。
Apple Music推出多语言语义检索系统,基于GTE-multilingual-base微调的3.05亿参数Siamese双编码器。 采用混合检索架构,结合密集向量和基于令牌的索引,无需重新训练下游排序器。 DOOMQL:用SQLite引擎运行《毁灭战士》风格游戏 2026-07-14 06:34 UTC+8 开发者Peter Gostev使用GPT-5.6 Sol构建了DOOMQL,这是一个将SQLite作为游戏引擎的类《毁灭战士》游戏。它通过递归CTE实现光线追踪,所有游戏逻辑和渲染均由SQL查询完成。Simon Willison演示了如何运行该游戏,并利用Datasette Apps插件创建了实时显示游戏画面的Web应用。
DOOMQL是一款使用SQLite作为游戏引擎的类《毁灭战士》游戏 游戏的核心是一个递归CTE实现的光线追踪器 Datasette 在 GitHub 上的代码频率图表 2026-07-14 05:45 UTC+8 西蒙·威利森通过 GitHub 代码频率图表展示了 AI 编码代理和 Opus 4.5 类模型对其开源项目 Datasette 代码贡献的影响,显示 2026 年活动量显著飙升。
GitHub 代码频率图表显示 Datasette 项目每周代码增删变化。 2026 年出现巨大活动峰值,与 Opus 4.8、GPT-5.5、Fable 5 和 GPT-5.6 Sol 发布周期吻合。 OpenAI GPT-5.6 Sol、Terra 和 Luna 现已正式在 Amazon Bedrock 上可用 2026-07-14 05:01 UTC+8 OpenAI 最新智能模型系列 GPT-5.6 Sol、Terra 和 Luna 已在 Amazon Bedrock 上正式可用,带来旗舰级推理模型 Sol、平衡型模型 Terra 和快速低成本模型 Luna。Amazon Bedrock 的下一代推理引擎提供高性能、安全性和可靠性,支持提示缓存(90% 折扣)、区域内推理和芯片级零操作员访问安全。同时发布了 ChatGPT Work 和 Codex 代理。
GPT-5.6 Sol、Terra 和 Luna 在 Amazon Bedrock 上正式可用。 Sol 是旗舰推理模型,在编码、安全、药物发现等领域创下新纪录;Terra 适合日常生产;Luna 适合高吞吐量低延迟任务。 我创建了一个平台来检验哪个AI模型是最佳玩家 2026-07-14 03:59 UTC+8 System 2 Arena是一个客观的AI策略基准测试平台,旨在通过游戏环境评估不同AI模型的战略能力。
System 2 Arena专注于AI策略基准测试 平台通过游戏方式评估AI模型性能 序列知识 #894:当学生开始回嘴——大语言模型时代的蒸馏技术 2026-07-13 22:56 UTC+8 本文回顾了知识蒸馏从传统固定数据集到现代大语言模型时代的演变过程,探讨了三个关键阶段,展示了蒸馏如何从简单的压缩技术转变为复杂的能力转移方法。
传统蒸馏假设固定的输入分布和封闭类别集,大语言模型打破了这些假设。 蒸馏从压缩固定函数转变为能力转移,使小模型能完成困难任务。 使用Outlines进行结构化语言模型生成 2026-07-13 22:00 UTC+8 Outlines是一个开源库,通过在推理时屏蔽不合法的标记,为大型语言模型(LLM)的输出引入确定性,从而可靠生成结构化输出如JSON和分类结果。本文通过Python示例展示了其三大用例:情感分析的多选分类、基于Pydantic的JSON对象生成,以及REST API的纯JSON生成。
Outlines通过在推理时屏蔽非法标记,确保LLM输出符合预定结构。 它支持多选分类、JSON对象生成和纯JSON生成等场景。