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

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

数学界可借鉴生物医学界与 AI 共处的经验

数学家 Antonio Auffinger 撰文提出，数学界可借鉴生物医学界的经验，在 AI 证明生成工具普及下重塑激励与署名机制，保护开放分享文化。文中以人类基因组计划的百慕大原则、劳德代尔堡协议为例，说明社区可通过规则平衡数据公开与贡献认可。他同时认为 AI 将提高数学发现上限，生物学问题也会持续催生新的数学。

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

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

Noiz AI 与港科大发布实时音视频世界模型 Helix World

Noiz AI 与香港科技大学推出 Helix World，可从单张图像生成可通过 WASD 和方向键探索的视频场景，并同步生成随相机转动的立体声。

数学家如何证明预防 AI 大脑退化：Cal Newport 解读相关论文（视频）

Cal Newport 在视频中解读一篇新论文，该论文用严格数学模型探讨如何避免人类过度依赖 LLM 而丧失思考能力。他认为剥去复杂表述后，这套思路为理解当前 AI 处境提供了有用视角。视频发布于 Oct 12, 2026，已获得 30,266 次观看。

Prime Agent 开源自改进 RLM 智能体，面向编码工作流与长时间自主任务

Prime Agent 是一个开源编码与研究智能体，基于 Recursive Language Model 和 Continual Harness，支持持久 Python REPL、子智能体调用、可回滚的经验更新、技能包、后台会话和智能体间通信。

arXiv 将每人每月投稿上限设为 2 篇，以应对 AI 论文激增

arXiv 自 2026 年 10 月 1 日起将每人每个自然月的投稿上限设为 2 篇，2024 年以来同时保留最多 3 篇活跃投稿的限制；限额适用于所有类别的提交者，共同作者不受影响，被拒论文仍占用名额。

Daniel J. Singer：AI slop 遮蔽了我们真正应讨论的社会问题

宾夕法尼亚大学学者 Daniel J. Singer 在 npj Artificial Intelligence 发表观点，认为 AI slop 一词常把对单个低质输出的厌恶偷换成对整个 AI 技术的判断。

Lightroom/DxO 如何实现出色的 AI 降噪效果？

Hacker News 上有帖子询问 Adobe Lightroom、DxO DeepPRIME 等产品 RAW 降噪效果背后的技术细节，以及它们为何明显优于 RawNIND 等开源模型。有评论给出 RawNIND 论文链接，并推测 DxO 可能采用类似方法，但投入了更多开发资源。

OpenAI 一次发布 700 多篇数学手稿后，数学家群体表达震惊与抵触

OpenAI 于 2026 年 10 月 6 日发布 700 多篇手稿，声称解决数百个开放数学问题，数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。

arXiv 论文测量 AI 搜索引用脆弱性：低门槛公开发帖可进入搜索答案

一项发表于 arXiv 的研究测量公开发帖进入 AI 搜索引用和答案文本的路径，覆盖 10 个 AI 搜索平台、17,211 个引用实例和 6,356 个独立来源域名。

Thomas Hales 解读 Lean 定理证明器：可靠性与 AI 自动形式化

Thomas Hales 在 Terry Tao 博客发表客座文章，评估 Lean 在 AI 自动形式化快速发展后的可靠性。文章称 mathlib 已含近 300000 条定理、100000 多个定义和 250 万行代码，并列举 2026 年费马大定理、Navier-Stokes forced blowup 等自动形式化项目。

arXiv 论文评估 Station 中 AI 智能体的开放式科学发现能力

一篇 arXiv 预印本研究 AI 智能体能否在开放世界科学环境 Station 中自主完成开放式科学发现。

长文探讨 AI 与科学的未来：研究者或转向“认知测绘员”

作者提出，在 AI 科研场景中，机器发现可能跑在人类理解之前，形成已发现但尚未理解的“无主领地”。文章认为未来流程会从问题、搜索、发现、理解，转向机器发现、选择、追问、简化和人类理解，并把新角色称为“认知测绘员”。

ZooWork 复盘 ShopRanker 电商重排序模型训练：相关性不等于偏好

ZooWork 介绍 ZooWork-ShopRanker 系列 0.6B、4B、8B 电商重排序模型及 ShopRank-Bench 的训练方法，核心结论是干净偏好标签比算力更稀缺。

字节 Seed 论文指出 DeepSeek 长上下文性能漂移源于分块 KV 缓存压缩的相位敏感性

字节 Seed 团队在 arXiv 论文中提出，分块 KV 缓存压缩会引入 Token 相位，导致 DeepSeek 模型长上下文检索性能随相位周期性变化。研究评估 DeepSeek-V4-Flash、DeepSeek-V4-Pro 和 DeepSeek-V4.1-Flash，发现不同相位的长上下文检索准确度最高相差 40 个百分点。

arXiv 论文测试 galahad-kv 记忆层：50M token KV 状态复用快于重新计算

一篇 arXiv 论文测试公开包 galahad-kv，将约 16,000 token 分块的 KV 状态保存到加密本地 NVMe，并在后续按字节精确加载。

评论：OpenAI GPT-6 Astra 参与晶格手征费米子预印本研究

粒子理论家 Nathaniel Craig 在 OpenAI 访问期间发布 arXiv 预印本 A gauge-invariant measure for lattice chiral fermions，并称 GPT-6 Astra 主导了证明迭代、Lean 验证和部分补充材料写作。

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

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

Liquid AI 发布 3.12B 多模态决策模型 d1-3B

Liquid AI 发布基于 LFM2.5-VL-3B 的 3.12B 多模态决策模型 d1-3B，可接收文本、JSON、图像或混合状态，并在一次前向传播中返回带校准概率的类型化答案，output_tokens 为 0。

SemiAnalysis 分析中国速度优先的 AI 安全治理体制

SemiAnalysis 认为，中国虽在官方文本中承认前沿 AI 风险，但实际治理以快速发展为先，监管重点集中在内容、应用和面向公众的服务，而非按训练算力或模型能力触发前沿风险义务。

OpenAI 批量发布 AI 数学证明后，部分数学家呼吁抵制

部分数学家通过 AHM 声明呼吁抵制 OpenAI，反对其一次性发布 700 多个 AI 生成证明文件，认为这是力量展示而非学术成果。Fields 奖得主陶哲轩在博客转发声明并提出 Math 2.0，主张数学不应再以解题为主要进步标准；Scott Aaronson 称局面为 Mathocalypse，并对比 OpenAI 与 Anthropic 发布 AI 数学成果的不同方式。

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

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

ServeLearnBench 评测智能体从服务经验中自我改进的能力

ServeLearnBench 提出面向智能体持续学习的评测，覆盖 Retail、Banking、Pitch 三个领域，共 9 个场景、53 个环境窗口、4,508 个服务任务和 3,210 个留出测试任务。

Scott Aaronson 谈 OpenAI 数学证明批量发布后的“数学末日”

OpenAI 一次性发布 372 项数学结果，其中包括 Unique Games Conjecture 证明，部分结果带 Lean 证书，但许多证明尚待人类理解。

AIM：面向自动化研究的智能体创意管理框架

Google Cloud AI Research 与威斯康星大学麦迪逊分校提出 AIM 智能体创意管理框架，用于自动化研究中的创意组织、实验调度、结果审计与预算分配。

Artifact Arena：以创造衡量智能

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

在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位置上下文。

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

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

研究者称人类参与的摩擦能让 AI 智能体更安全、更聪明

Avijit Ghosh、Margaret Mitchell 和 Samir Passi 在 9 月 6 日发布于 ArXiv 的论文中指出，当前 AI 智能体的人类在环审批常把人变成只负责授权的工具，长期会削弱用户控制 AI 的认知能力。

Rohan Paul@rohanpaul_aiAI 评分6060

Geoffrey Hinton、Yoshua Bengio 等 20 多位专家在 arXiv 政策论文中呼吁政府追踪有多少 AI 研究已由 AI 完成，并评估 AI 自动化研发触发智能爆炸的风险。

Rohan Paul@rohanpaul_aiAI 评分6363

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

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

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

elvis@omarsar0AI 评分5050

Harness-Aware Distillation 框架通过对比教师模型在有无 harness 信息下的动作差异训练小模型智能体，无需任务奖励或成功标签。该方法将学生在 ALFWorld 上使用 harness 信息的比例从 65.7% 提至 73.1%，未见任务成功率达 63.4%，高于最佳基线 47.0% 并超过 8B 教师模型，还能摆脱 59.7% 的停滞情况。

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

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

Rohan Paul@rohanpaul_aiAI 评分6262

Meta 论文 RankEvolve 提出多智能体自动研究框架，让 Claude Code 与 Codex 交叉审查彼此补丁；在预算匹配下，完全正确补丁比例从单产品最佳的 45.8% 提升到 62.5%。论文指出，异构智能体的错误更不相关，而同产品智能体容易以相同方式失败，因此交叉审查更能发现训练代码中的静默缺陷。论文地址为 arxiv.org/abs/2609.39551。

arXiv 因 AI 生成低质论文激增而限制投稿数量

arXiv 宣布对投稿实施速率限制，每名研究者每个自然月最多提交 2 篇，且同时最多有 3 篇处于活跃投稿状态。arXiv 9 月投稿量从 2016 年的 9,869 篇增至 2024 年的 20,569 篇，并在 2026 年达到 40,363 篇，计算机科学类别增长至 6 倍。

Rohan Paul@rohanpaul_aiAI 评分5858

一篇 MIT 与哈佛研究者的论文发现，LLM 智能体在选择以简单步骤呈现、或规则中的安全做法被直接说明时决策更好，而被要求推理对手时表现更差。

elvis@omarsar0AI 评分5454

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

elvis@omarsar0AI 评分5757

首尔大学研究者在论文 SelfSearch 中提出无奖励搜索流程，让智能体依据既往自修改记录调整自身指令、工具和流程。一个编码智能体以 DeepSeek V4 Flash 在 Terminal-Bench 2.1 上达到 82.0% 成功率，搜索成本为 $4.03，追平同一公开九 harness 对比中的 Codex。