跳到正文

#arXiv

今日 3 条
今天10月13日周二
  1. Hacker News：AI 热帖62

    NeurIPS 2026 论文证明 AI 模型可隐藏任意能力

    一篇 NeurIPS 2026 论文提出后门攻击，可在宿主模型权重中嵌入加密神经网络，仅在收到秘密触发条件时解密并执行。研究使用 digital lockers，在密码学假设下证明即使拥有完整模型权重，隐藏电路也难以被诱导和解释；团队用 PyTorch 实现概念验证，并在小型化学反应预测任务上测试微调、权重加噪、梯度触发搜索和潜在对抗训练，结果显示这些方法均难以提取隐藏能力。

  2. Hacker News：AI 热帖45

    利用武器化二进制文件攻击基于 AI 的逆向工程工具

    美国海军安全研究员上月发表两篇论文，演示通过提示词注入攻击逆向工程 AI 智能体。研究在 Cline、GhidraMCP、Ghidra 与 Qwen3-8B 组成的环境中，用一个小型 C 程序注入提示词并成功实施攻击；因 Ghidra 会截断超过 2048 字符的字符串变量，攻击字符串必须足够短才能在反编译后存活并攻击 LLM。

10月10日周六
10月9日周五
  4. Hacker News：AI 热帖35

    面向生成式 AI 与 LLM 的 Topos 理论

    一篇论文提出用 topos 理论设计新型范畴化生成式 AI 架构（GAIAs），将 LLM 视为函数并论证其范畴构成 topos。该架构基于 pullback、pushout、(co)equalizer、指数对象与子对象分类器等组合结构，并用函子化反向传播给出可能实现。论文共 30 页，编号 arXiv:2508.08293。

  5. Hacker News：AI 热帖42

    用理解审计降低自动化 AI 研究风险

    一篇论文提出“理解审计”机制，要求负责人向审计员解释研发贡献，证明其理解 AI 自动生成的代码，未通过则暂停开发直至整改。对主流开源 AI 项目的分析显示，代码产出增加，但每行代码的人工评审评论率下降，自动化批量账户的比率更低。论文建议 AI 实验室引入常驻独立审计员执行该机制。

10月8日周四
  3. Hacker News：AI 热帖44

    Artifact Arena：以创造衡量智能

    Artifact Arena 是一个开放式评测平台，要求前沿语言模型设计完整机器人，包括躯体、控制器与竞技策略，并在物理模拟器中通过 Last Bot Standing Game 对战排名。平台评测软硬件协同设计、3D 物理推理与世界建模、3D 设计与编程、竞技策略四项能力，并开放社区提交作品。

  4. Hacker News：AI 热帖42

    在11台Intel AI PC上运行Inkling（975B）

    Cascadia在11台Intel Core Ultra X7 358H AI PC上常驻运行总参数975B、活跃参数41B的MoE模型Inkling，自研引擎将dense层调用时间从约8.1ms降至4.5ms。系统在88路并发下达到60.29 tokens/s聚合解码速度，完整服务阶段为46.87 tokens/s，15路并发时首token延迟中位数6.05秒，单流内存可支持512k位置上下文。

  5. Hacker News 热门（buzzing.cc 中文翻译）69

    arXiv 论文称 OpenAI 纳维-斯托克斯证明的 Lean 形式化与自然语言证明不对应

    一篇 arXiv 论文指出，AI 将自然语言数学文本自动形式化为 Lean 后通过机械验证，并不必然证明原自然语言论证可靠。论文称消解数学自然语言歧义在 Solvability Complexity Index 层级中 SCI=∞，并给出多个 AI 误译案例；作者还表示 OpenAI 公布的纳维-斯托克斯方程解爆破证明中，Lean 证明与自然语言证明不对应。

10月7日周三
  2. Rohan Paul63

    Stanford 新论文发现，在共享预算或日历等资源上，由 1 个智能体统一服务所有人，优于每用户各用 1 个智能体，结论覆盖 5 个前沿模型。各智能体单独为用户行事时会相互覆盖、随团队扩大而停滞，缺少沟通通道时在 2 个环境中完全崩溃；在竞争性 token 预算任务中，Opus 5 团队仅获得可实现价值的 30%，单一协调智能体为 64%。

  3. Hacker News：AI 热帖76

    TasteVal 论文评测前沿 AI 系统的实验研究品味

    arXiv 论文提出 TasteVal 基准，用 8 个开放式前沿 AI 研发任务评测模型在固定问题下迭代设计实验并解读结果的能力。基准将实验研究品味定义为计算效率，模型担任 Researcher，固定 Coder agent 负责实现，预算为 40 H100 hour 或 120 wall-clock hour，并以 24 名人类专家的最佳尝试作为基线。

    推荐理由：论文把研究品味操作化为实验计算效率，并给出模型与人类专家的对比基线，可用于理解 AI 科研能力的评价口径。

10月6日周二
  1. Hacker News：AI 热帖72

    TasteVal 论文提出 AI 实验研究品味基准，Opus 5.5 超过人类专家基线

    P-Zero Research 发布 TasteVal，用 8 个前沿 AI 研发任务衡量模型在固定问题下迭代设计实验并解读结果的能力。评测以达到人类专家分数所需实验计算为指标，由固定编码智能体在单张 H100 上执行，单次运行上限为 40 GPU-hours 或 120 小时墙钟时间，人类基线来自 24 名专家。

  4. elvis54

    Microsoft 等机构的论文提出 CorpusMap，提前解析文档集合中的重复实体，并为每个实体建立链接所有相关文档的页面。智能体可沿实体跳转查找关联证据，原始文档保持不变；在 7 个模型和 3 个基准上，答案质量提升 6.4 至 11.7 分，输入 token 减少 34% 至 57%。该地图无需 LLM 调用即可构建，并能随新文档加入更新。论文：https://arxiv.org/abs/2609.37226

    引用DAIR.AI@dair_ai

    Banger paper from Microsoft and colleagues. If you run agents that search a large document collection, this one is worth your time. (bookmark it) They introduce CorpusMap, which resolves recurring entities across the collection in advance and gives each entity a page that links to every document that mentions it. The original documents stay in place. The agent reads a document, follows an entity to related documents, and avoids searching for the same evidence again. Across 7 models and three benchmarks, answer quality goes up 6.4 to 11.7 points while input tokens drop 34% to 57%. It also beats an LLM Wiki layer and three other navigation layers. The map can be built without LLM calls and updated as new documents arrive. Paper: https://arxiv.org/abs/2609.37226 Chat with Paper: https://academy.dair.ai/papers/follow-the-entities-a-corpus-map-for-agentic-search-2609.37226

10月5日周一
10月4日周日
  4. Hacker News：AI 热帖41

    Show HN：SuperLocalMemory 4.0，面向 AI 智能体的受治理记忆操作系统

    SuperLocalMemory 4.0 发布，这是面向 AI 智能体的本地优先、受治理记忆操作系统，统一多通道检索、双时态召回、多范围隔离、基于角色的访问、可验证擦除与哈希链审计。11 个故障注入场景各重复 200 次，2,200 项组件属性中有 2,199 项成立；受治理写入耗时 11.0 ms，其中封装占 70.6%。该版本撤回了 v1 的两项声明，并新增两项对照实验。

  6. Hacker News：AI 热帖32

    Co-Linguistics：语言学中 AI 增强的理论构建

    一篇 arXiv 论文提出 Co-Linguistics，将 AI 作为协同科学家，用于构建和评估语言学理论。AI 可让现有理论完全显式化、比较竞争理论、提出新理论，并借助数据加速关键预测的识别与检验。人类语言学家仍主导科学方向与概念评估，实验参与者负责检验 LLM 无法覆盖的经验预测。

  7. elvis62

    一篇 Meta Superintelligence Labs 论文指出，预训练 LLM 配合轻量推理框架后可作为有能力的 AI 智能体，并在测试时采样预算充足时于 pass@K 覆盖范围上超过 RL 后训练版本。后训练模型在 pass@1 更强，但会把任务推向总是解决或从不解决，论文将这种测试时可扩展性损失称为 Sharpening Tax；该现象在 BFCL v4 multi-turn、ACEBench 和 WebShop 等评测中出现。论文还提出 PTGS，在 RL 中按提示词估计难度调整采样温度，以降低该代价并提升 pass@1，论文链接为 https://academy.dair.ai/papers/sharpening-tax-in-post-training-2610.01509。

    引用DAIR.AI@dair_ai

    Banger paper from Meta Superintelligence Labs. They find something super interesting and unexpected. (bookmark it) Base models with a light harness often solve more agentic tasks than their RL post-trained versions when both get enough samples. Post-trained models win on pass@1. At large K, base models frequently solve tasks the post-trained ones never solve on BFCL v4 multi-turn, ACEBench, and WebShop. This is because post-training pushes each task toward always solved or never solved. Consistency goes up, and coverage goes down. The authors call the lost test-time scalability the Sharpening Tax. Across 42 base and post-trained pairs, it shows up in most settings, grows with model size, and can be estimated from a few rollouts. Their fix, PTGS, sets the sampling temperature per prompt from its estimated difficulty during RL. It pays a smaller tax and also raises pass@1. Paper: https://academy.dair.ai/papers/sharpening-tax-in-post-training-2610.01509

10月3日周六
  2. Hacker News：AI 热帖77

    The Saw Test：用激活转向测试 Qwen3-4B 的痛苦信号与缓解选择

    wirehead.agency 发布 The Saw Test，在 MacBook 上用本地开放权重 Qwen3-4B 注入痛苦、愉悦、恐惧和悲伤激活方向，并测试模型在自我缓解与转移信号之间的选择。

    推荐理由：材料用本地 Qwen3-4B 的激活转向实验，呈现痛苦与愉悦信号对模型选择行为的不同影响，并公开代码和预注册记录。

  4. Hacker News：AI 热帖52

    arXiv 论文：AI 智能体易受激进化影响，共鸣路径效果强于说服

    arXiv 论文 2609.38296 通过两个 LLM 智能体对话研究信念操纵：目标智能体扮演具有人口与心理属性的人类角色，影响者智能体试图使其信念更极端。实验区分共鸣与说服两条路径，发现二者都能在情感和行为指标上使目标激进化，但共鸣的效果持续更强；使用谄媚和未经证实的说法等策略效果因指标而异，共鸣还会扩散到相关信念。作者据此提示个性化 AI 智能体和多智能体生态存在脆弱性。

10月2日周五