独立 AI 资讯库
从自动抓取数据库实时读取，适合快速浏览、检索和后续扩展成完整资讯站。
文章认为，Agent 现有的逐请求权限确认或按应用授权机制，要么过于繁琐、要么过于粗放，均难以可靠防范“致命三要素”导致的数据外泄风险。作者指出，基于 LLM 的权限守卫同样具有概率性，并可能与执行任务的 Agent 共享训练偏差，因此不适合保护医疗、国防或专有数据等关键场景。作者提出以 Liquid Types 为核心的 AeonBox 沙箱，将“会话是否已接触私有数据”等行为状态编码为类型约束，使读取私有仓库后向公共渠道发布信息的操作在编译阶段即被拒绝。该方案将大量安全验证前置到执行前，可为开发者构建具有可验证行为边界的 Agent 工具提供思路。
这份宣言主张在盲目追逐大科技公司制造的 AI 热潮与完全抵制生成式 AI 之间，采取兼顾效率、软件质量与工程师专业能力的中间路线。其核心要求是：所有生产代码都必须由人类阅读、理解并能够维护，LLM 应作为工具而非依赖或替代责任主体。文章建议缩短 AI 辅助开发的迭代周期、保持代码简单、维持人工代码评审，并对 AI 使用、数据处理和团队规范保持透明。对于开发者和行业而言，这意味着需要建立明确的 AI 政策、限制敏感数据访问，并避免将用户支持或影响人生的重要决策完全交给自动化系统。
原文仅提供了文章标题和一个“BibTeX 格式引用”章节标题，未包含正文、技术细节、数据、引用条目或结论。根据标题，DeepSeek DSec 被定位为服务于大规模 Agentic Training 的弹性计算与沙箱基础设施。由于缺少原始内容，无法进一步确认其架构、性能指标、API 能力或对开发者的具体影响。
Trail of Bits 指出，1Password 于 2026 年 8 月 6 日发布的 FLAWED 报告将 AI 生成补丁的“干净修复率”概括为 26%，但该统计混入了要求 Agent 采用错误修复方案、以及禁止其编译和测试补丁的实验。该机构重新分析后称，在 Agent 能运行代码且未被要求采用错误修复的试验中，1Password 所测试模型生成的 3,067 个补丁中有 2,634 个（86%）能够阻止给定的漏洞利用。文章还以 Trail of Bits 的安全咨询记录和 Patch the Planet 项目为例，对比人类开发者与 Agent 在真实修复工作中的表现，并指出开发者在理想条件下首次提交的修复也有 12.5% 未能完全解决问题。为帮助提升修复质量，Trail of Bits 同时发布了 post-patch-validation 与 review-walkthrough 两项 Agent skills。
OpenArm 是一款开源 7 自由度（7DOF）人形机械臂，面向高接触环境中的物理 AI 研究和实际部署。其高反驱性与柔顺性旨在支持安全的人机交互，同时提供适用于现实任务的有效负载能力。完整双臂系统售价为 6,500 美元，可用于遥操作、模仿学习、仿真及真实世界数据采集。配套的 OpenArm Cell 通过统一背景、照明和相机位置，为全球研究者提供可复现的一致评测环境。
这场演讲探讨人类与 Agent 如何共同规划软件工程工作，并批评当前以 CLI、问答和大段 Markdown 为主的规划体验。演讲借用 Lucy Suchman 关于“情境行动”的研究指出，预先制定的计划在面对真实环境时往往很快失效，而人类意图与 Agent 的现场决策之间存在天然断层。作者认为，人类每分钟约能阅读 240 个词，而 Agent 每分钟可生成约 4,500 个词，文本密度和交互界面的失衡会加剧疲劳并降低决策质量。其核心主张是构建更有效的“边界对象”和更厚的界面层，在不要求人类与 Agent 完全理解彼此世界的前提下，支持更高质量的协作。
作者构建了一个完全在浏览器端运行的博客问答工具：语义搜索检索四段相关内容，小型语言模型再生成最多两句话的回答，用户输入不会离开本机。评测显示，下载体积不超过 350 MB 的模型在 30 个可回答问题中最多只有 3 个回答忠实于检索内容，且经常对博客未涉及的问题编造答案；默认模型 Qwen3-0.6B 的忠实回答数为 15 个，而体积更大的 Gemma 4 E2B 达到 28 个。相关性门槛能拦截明显跑题的问题，却难以识别主题相近但文章没有答案的问题，限制回答长度也有助于减少幻觉。对于开发者而言，浏览器端方案有隐私和免服务器优势，但模型下载体积与可靠性存在明显权衡；如果没有特殊部署限制，使用托管 API 可能更经济。
The code essentially gives you a way to rotate a Transformer's internal coordinate system into a canonical basis that aligns with its own weight matrices in a lossless way. By absorbing the normalization gains directly into the adjacent weights and using orthogonal matrices built from the singular v
开发者 Kit Langton 推出了名为 Scrawl 的全新工具，旨在让 AI Agent 能够直观“看清”并理解具体的视觉与交互问题。通过配置相应的 Agent Skill，当用户向 Agent 粘贴 Scrawl 记录时，Agent 会解析画幅样张（contact sheet）与音画转录文本，并定位到关键帧深入排查。该工具为开发者与 Agent 协作排查 UI/交互缺陷提供了全新交互路径，进一步提升了多模态 Agent 的实际落地效能。
潜在推理模型（LRM）以连续隐藏状态进行推理，相比显式推理模型具有更低的推理成本，并可在理论上并行探索多条推理路径，但其可解释性较弱。论文对两种先进 LRM 进行研究发现，在逻辑推理数据集上，模型通常即使完全不使用潜在推理 token，也几乎总能给出相同的最终答案。对于确实依赖潜在推理 token 的正确预测，研究者可在 65% 至 93% 的情况下解码出标准推理轨迹；此外，无需预先掌握标准轨迹，也能为多数正确预测找到经过验证的自然语言推理过程。研究表明，当前 LRM 很大程度上编码了可解释的过程，而可解释性本身可作为判断预测正确性的信号。
Voxlocal 是一个面向 macOS、完全本地运行且低延迟的 Rust CLI 语音 Agent，聚焦汽车服务咨询这一狭窄场景。文章拆解了其从麦克风录音、Whisper 语音识别、文本规范化、MiniLM 向量嵌入与 RAG 检索，到 SmolLM2 生成工具调用、应用代码执行动作的完整链路。该项目刻意采用微型模型和可检查的基础组件，避免复杂的异步流式处理与 VAD，适合作为理解语音 Agent 内部机制的实验性实现。作者强调，模型输出的工具调用仍只是文本，必须经过解析、校验和受限的应用代码映射后才能执行，这对 Agent 的可靠性与安全性具有重要意义。
文章认为，数学界并非排斥 AI 或自动化，而是因 OpenAI 等美国模型实验室的叙事、商业行为与对劳动者价值的侵蚀而产生信任危机。作者以 Terence Tao、Kevin Buzzard 和 Lean 证明器的发展为主线，指出数学研究者长期积极拥抱形式化证明、LLM 与人类协作的技术路径。文中强调，先进数学 AI 的常见实践并非让 LLM 单独解决问题，而是由 LLM 驱动 Lean 等传统证明助手，并依赖 Mathlib 等经过整理的形式化知识库。作者还将 OpenAI 的高调宣传与科研经费削减、DOGE 对美国政府职能的破坏联系起来，批评 AI 热潮正以“拥抱 AI，否则被淘汰”的话术压制对技术风险和劳动条件的合理质疑。
Very interesting paper on the way that benchmark question difficulty and framing affect the observed improvement in scores for model training. “Our results show that many benchmarks implicitly overweight certain difficulty regions, so their leaderboard conclusions should be interpreted with ca
I'm finding myself at odds with the vibes of the community here (and the open-weight/self-hosted community in general) when it comes to LLM's - be it on Reddit, X, Bluesky, wherever - I think some folks are getting carried away. Mine personally from this week include: Artificial-Analysis V5 Index i
We have noticed recent comparisons published by Unsloth that do not align with our results for DeepSeek-V4.1-Flash-1017. So just if it is not obvious: we did of course not modify any hyperparameters to favor our models. We used standard settings appropriate for a model of this scale (763B parameters
We saw this earlier when Gemma 4 dropped just a few days before a previous Qwen release. I feel like a few other labs did the same. Everybody wants that moment in the spotlight where they can lead the benchmarks for at least a day or two before the next Qwen comes in and mops the floor with them. I
Nanbeige4.3-33B, a 33B parameter model with a 512K context window, and capabilities in reasoning, coding, and agentic tasks. Has anyone tested it? Benchmarks are insane but how does it compare in real world use cases? I understand that it is a kv cache hog. But how does it perform? Would love
Hey everyone! We’re releasing new DeepSeek-V4.1-1017 Dynamic V3.1 (preview) GGUFs which showcases how Unsloth’s GGUFs retain the most accuracy for its size across 7 different benchmarks. We benchmarked ISTA's GSQ-RCO GGUFs but could not reproduce their reported results, even when using the hi
Overview SenseNova-Loop-9B-Preview is a multimodal language model developed for long-context and agentic workflows. It accepts text and images and generates text for applications that combine document understanding, coding, and interaction with external tools. The model combines a looped decod
Cybersecurity researchers have disclosed that the official Anthropic Claude Code extension was compromised on the Cursor Marketplace to install a persistent SSH backdoor on infected hosts. Two sources: https://phorion.io/blog/offical-claude-code-vsx-compromise/ https://thehackernews.com/2026/
Metatron v1 is a single learned policy that handles walking, scene interaction and fall recovery for the 29-joint Unitree G1 humanoid. It's a MaskedMimic-style transformer student, released under the NVIDIA Open Model License and integrated with ProtoMotions. The release comes in three non-int
I'm just starting my journey here into local LLM. Since I work in VFX I've got a 5090 and 256GB of sys mem. Installed LM studio and downloaded Qwen 3.8 27B since that very comfortably fits in VRAM. Set it to low effort and all the other typical starting defaults. I ask it to give me a three line poe
Sam Altman: “Local inference is a terrible allocation of scarce resources. A lot of people want local inference, and somehow they assume that the problem is solved now because we have open-source models, we're going to be able to run them on our computers, and so we're not going to need all t
3 days ago, u/Cohere generated a huge amount of media attention and many fear-mongering headlines by publishing a largely unscientific blog post about an "experiment" where they used extensive pre-filling and prompt engineering to force Qwen 3.8 Flash Next to complete partial cURL commands. Today,
This model was made in collaboration with u/jeffpeng3 (on huggingface) who developed the v2 heretic weights for this quant. He managed to preserve both reasoning ability and output length. Great work, and a big step up from his v1 weights. I made the quantization recipe and the imatrix recipe,
This hit #1 on HN yesterday (you can read lots of discussion at https://news.ycombinator.com/item?id=50268380). Why would I want to do this? The idea is make all law semantic, versioned, easily attributable and query able by agents. I also believe this information should be freely available so
Hi everyone, Jovan from UkisAI here, Today we are expanding our Swift model series with two models requested by the community. We made Swift GLM-5.3-Flash and Swift Ornith 9B more efficient by figuring out which tokens were linked to pathological overthinking and penalizing them without "atta
My research agent ran on a free search API for months until every call started failing last week and the SearXNG box I set up instead keeps getting its Google and Bing engines suspended for captchas, so I'm going to have to pay for one. It's maybe 3,000 to 5,000 searches a month, mostly docs and Git
Around mid-October deepseek-v4.1-flash suddenly started feeling much dumber in my coding agent, so I parsed my local session logs to see when it broke. Before the update it had a funny quirk where it would randomly reply in Chinese while being 100% convinced it was speaking English. In the -10
from Service Now AI: Apriel Voice 27B Preview An open model for speech, reasoning, and tool use from ServiceNow Apriel Voice 27B Preview understands spoken requests, reasons over conversational context, and generates text responses and tool calls through a shared Gemma 4 backbone. It adds a sp