跳到主要内容

AI 快讯

LIVE · 24h

全网 AI 动态的中文速报,聚合引擎每 15 分钟更新。

  1. 昨天 17:00
    16:33

    研究讨论:AI 普及后为何交付没有更快

    Christian Bird 在 UC Irvine 讲座中讨论 AI 与软件工程产出之间的关系,指出活动量增加与交付结…

    ↗ 查看原文 · cabird.com
  2. 昨天 15:00
    14:30

    用场景复杂度指标补充 mAP 评估视觉模型

    文章指出平均精度均值会掩盖实际运行中的失效模式,建议用视觉杂乱度、实例密度和背景复杂度对模型做压力测试。

    ↗ 查看原文 · dev.to
  3. 昨天 12:00
    11:38

    SFU 提出可物理控制光源的照片重打光方法

    SFU 研究者在 SIGGRAPH 2025 提出一种照片重打光方法,用户可在 3D 场景中插入点光源、聚光灯或环境光…

    ↗ 查看原文 · yaksoy.github.io
  4. 11:01

    词重叠检查在识别RAG幻觉上胜过DeBERTa NLI模型

    有开发者测试发现,简单的词重叠检查在识别RAG幻觉时表现优于DeBERTa NLI模型,作者原本预期神经推理模型会胜出。

    ↗ 查看原文 · dev.to
  5. 昨天 10:00
    09:20

    给系统做反向传播,而非给模型

    文章指出多数多智能体系统只是运行而不会学习,主张把反向传播思路用在系统层面而非模型层面。

    ↗ 查看原文 · dev.to
  6. 昨天 08:00
    07:30

    纯 NumPy 实现散焦测距替代 LiDAR

    作者用纯 NumPy 实现基于散焦深度的被动测距,不依赖 LiDAR,属于 Hawk Eye 空间测量系列第二部分。

    ↗ 查看原文 · dev.to
  7. 昨天 07:00
    06:59

    MuJoCo 开发者实用指南:DeepMind 物理引擎

    一篇 DEV 文章面向开发者介绍 Google DeepMind 的物理引擎 MuJoCo,面向强化学习训练与机器人研究…

    ↗ 查看原文 · dev.to
  8. 昨天 06:00
    05:05

    三类模型审计:某类别占 24% 结果却仅 0.8% 标签

    有文章审计一个三类分类器的类别塌缩问题,指出每行只输出一个标签的分类器实为排序函数塌缩成决策,并给出平台上的预测分布数据…

    ↗ 查看原文 · dev.to
  9. 昨天 03:00
    02:34

    WildClawBench 榜单审计:分数与耗时混排

    有人审计 Hugging Face 上的 WildClawBench 榜单,发现 52 行数据把分数、分钟数和美元混在同…

    ↗ 查看原文 · dev.to
  10. 昨天 01:00
    00:37

    16 个 LLM 挑战 TIS-100,刷新 18 个谜题前沿记录

    研究者让 16 个大模型在隐藏社区排行榜的情况下试玩 TIS-100 全部 47 个谜题及 8 个社区赛题,共产生 13…

    ↗ 查看原文 · tis-100.wincon.dev
  11. 昨天 00:00
    00:00

    Hugging Face 介绍面向多向量嵌入模型的 token pooling 感知训练

    Hugging Face 发文介绍 token pooling 感知训练:在压缩文档向量时让编码器保留关键信息,pool…

    ↗ 查看原文 · huggingface.co
  12. 11 月 10 日 23:00
    22:44

    Deletion Tuning:删掉不到 0.05% 权重即可完成 LLM 后训练

    论文提出只将 transformer 门控投影中不到 0.05% 的权重置零,在强化学习、监督微调和同策略蒸馏三种后训练…

    ↗ 查看原文 · arxiv.org
  13. 11 月 10 日 21:00
    20:30

    数学家Strogatz谈AI成为“神谕”后数学的走向

    数学家Steven Strogatz在新书《Big Math》相关讨论中,谈到AI若成为能直接给出答案的“神谕”,数学研…

    ↗ 查看原文 · arstechnica.com
  14. 11 月 10 日 20:00
    19:45

    DeepMind 用 AlphaProof Code 验证 libsignal 安全证明

    Google DeepMind 的 AlphaProof Code 针对编译后的 libsignal 测试框架检查安全证…

    ↗ 查看原文 · dev.to
  15. 11 月 10 日 19:00
    18:52

    JEPA、概念模型与决策模型入门指南

    一篇入门文章介绍 JEPA、概念模型与决策模型,指出 LLM 并非唯一的技术路线。

    ↗ 查看原文 · dev.to
  16. 18:42

    从 Attention 到 3-bit 缓存:LLM 记忆机制解析

    一篇长文梳理 MHA、GQA、MLA、MoE 与量化等机制,讲解大模型如何在注意力与缓存上逐步降低记忆开销。

    ↗ 查看原文 · dev.to
  17. 18:06

    单一VLA模型完成100项家务任务,BEHAVIOR挑战赛获第九

    团队用基于π0.5的单个VLA模型覆盖100项长程家务任务,在2026 BEHAVIOR挑战赛排名第九,为前十中唯一独立…

    ↗ 查看原文 · arxiv.org
  18. 18:06

    研究:LoRA 水印单独有效,合并后失效

    有人在 4-bit 宿主模型上测试三个 LoRA 适配器,水印单独检测 8/8 命中,两两合并与三合并后均为 0/8,合…

    ↗ 查看原文 · dev.to
  19. 11 月 10 日 18:00
    17:16

    EngineAgent自动完成端侧LLM推理引擎适配

    研究者提出EngineAgent,将引擎与硬件知识同模型实现分离,自动协调跨层改动并在设备端验证;在12项移动端任务上端…

    ↗ 查看原文 · arxiv.org
  20. 17:03

    PagedAttention 与 KV Cache 科普:限制并发的是显存

    文章解释 70B 模型单次 128K token 对话需约 40 GiB 显存,占用来自 KV Cache 而非权重,因…

    ↗ 查看原文 · dev.to
  21. 11 月 10 日 17:00
    16:09

    Chain of Physics用知识图谱辅助LLM故障诊断

    研究提出Chain of Physics框架,从设备文档自动构建约束知识图谱,检索故障传播路径作为推理示例;

    ↗ 查看原文 · arxiv.org
  22. 11 月 10 日 15:00
    14:30

    重复训练数据会悄悄污染视觉模型

    文章指出重复图片会虚高 mAP、扭曲精确率-召回曲线并制造虚假置信度,并给出识别重复簇和选择性剪枝的方法。

    ↗ 查看原文 · dev.to
  23. 11 月 10 日 14:00
    13:59

    ProofCoder:以编码智能体思路做Rocq定理证明

    研究者提出ProofCoder,让模型在Rocq证明搜索中持续推理,自主决定查信息、看证明状态、修改或回退。在AutoR…

    ↗ 查看原文 · arxiv.org
  24. 13:51

    SPECTRA 称可将任意 LLM 压缩约 3 倍

    NeuraCryption 发布 SPECTRA 压缩框架,称无需校准即可将模型压缩 2.80 至 3.31 倍,并在…

    ↗ 查看原文 · neuracryption.com
  25. 11 月 10 日 13:00
    12:49

    CAMP-II:用文件操作记忆提升长任务编程代理

    研究提出 CAMG-II 长程任务环境与 CAMP-II 训练方法,让代理通过 Bash 读写文件作为跨上下文记忆,在五…

    ↗ 查看原文 · arxiv.org
  26. 12:39

    BioXArena-Pro:生物医学建模代理新基准

    新基准包含 8 个生物医学领域的 64 个研究级建模任务,多数按物种或队列留出数据;22 种代理配置中最高仅 55.1…

    ↗ 查看原文 · arxiv.org
  27. 12:35

    《Let Over Lambda》全书开放免费在线阅读

    Doug Hoyte于2008年出版的Lisp宏编程书籍《Let Over Lambda》现已全书免费在线开放,提供HT…

    ↗ 查看原文 · letoverlambda.com
  28. 12:04

    TIGA:用工具化 LLM 代理构建分类体系

    研究提出 TIGA 架构,把分类体系构建建模为受约束的迭代决策过程,结合可执行编辑工具、交互记忆与运行时自适应策略,结构…

    ↗ 查看原文 · arxiv.org
  29. 11 月 10 日 12:00
    11:52

    ActiveSecHarness:为编程代理设计组合式安全架构

    研究指出编程代理可被注入指令后滥用 bash、curl 等系统工具,提出基于能力令牌、二维污点格与 Ring-0 守卫的…

    ↗ 查看原文 · arxiv.org
  30. 11 月 10 日 11:00
    10:53

    训练前如何检查分轨数据集

    DEV Community 发文介绍在训练音源分离模型前检查分轨数据集的方法,指出模型学到的是混音由哪些部分构成,数据质…

    ↗ 查看原文 · dev.to
  31. 11 月 10 日 09:00
    08:37

    用廉价小模型对新闻做聚类与实体抽取

    一篇实测文章介绍如何仅用小型低成本模型,把每天数万篇新闻聚成事件、统计独立信源并抽取人物地点,基于 51842 篇真实文…

    ↗ 查看原文 · dev.to
  32. 08:01

    研究:编码代理对 AGENTS.md 指令的遵循情况

    研究者把真实项目中的代理上下文文件转成可执行脚本,逐条测量编码代理是否照做。结果显示多数指令能被遵循,但部分指令从未被执…

    ↗ 查看原文 · arxiv.org
  33. 11 月 10 日 08:00
    07:57

    综述:Agentic AI 与硬件形式化验证结合

    一篇受邀论文梳理了 Agentic AI 如何辅助硬件形式化验证的规范、证明构建与推理引擎三个层面,以及形式化方法如何支…

    ↗ 查看原文 · arxiv.org
  34. 07:30

    BOPD:两阶段策略蒸馏缓解自蒸馏退化

    研究发现在持续训练下,在线自蒸馏会因特权教师与学生分布差距扩大而性能下降。作者提出 BOPD,先把参考监督内化到中间模型…

    ↗ 查看原文 · arxiv.org
  35. 07:24

    OpticalRAG:把文档渲染成图像压缩检索上下文

    该框架将文档渲染为页面图像,用冻结视觉编码器编码,再蒸馏成最少 16 个注入 token 交给 LLM。在 LongBe…

    ↗ 查看原文 · arxiv.org
  36. 11 月 10 日 07:00
    07:00

    OpenAI 与 Upwork 研究:AI 对自由职业工作的影响

    OpenAI 与 Upwork 联合发布研究,发现自由职业需求结构变化,AI 相关项目预算更高、工时更多。

    ↗ 查看原文 · openai.com
  37. 11 月 10 日 06:00
    05:42

    Megrez:面向MK集合论形式数学的知识引导智能体

    arXiv 论文提出 Megrez,一个基于 Morse-Kelley 集合论、面向 Rocq 库的知识引导形式化智能体…

    ↗ 查看原文 · arxiv.org
  38. 11 月 10 日 05:00
    04:36

    开发者实测斯坦福新文本生成方法 NCM 对比经典 LLM

    有开发者用笔记本实测斯坦福提出的 Next-Concept Modeling,称其按由粗到细 11 步生成文本,而非 1…

    ↗ 查看原文 · dev.to
  39. 11 月 10 日 04:00
    03:31

    观察 Agent 不重训也能变好的 0/5/20 曲线

    作者记录了一个带记忆的 Agent 在 0、5、20 次交互后的表现变化,用来检验“会随时间学习”这一常见说法是否成立。

    ↗ 查看原文 · dev.to
  40. 11 月 10 日 03:00
    02:27

    研究用领域分析提升 LLM 问题分类效果

    论文基于 428 条人工标注 issue 和 7704 条模型理由,分析 LLM 分类失败模式,并设计多阶段流水线,在六…

    ↗ 查看原文 · arxiv.org
  41. 02:03

    Coco 提出本地主动智能体的深度个性化方法

    论文提出深度个性化闭环,由 Observer Agent 观察桌面活动并在本地学习干预时机;在 OSWorld-Pers…

    ↗ 查看原文 · arxiv.org
  42. 11 月 10 日 01:00
    00:50

    研究:400 行混合 LoRA 预训练可稳定模型行为

    有开发者用 300 条 SST-2 与 100 条 AG News 数据做 LoRA 预训练并合并适配器,情感任务准确率…

    ↗ 查看原文 · dev.to
  43. 00:29

    SPARK 用语义保持变异提升代码生成可靠性

    论文提出 SPARK,对问题描述做改写、函数重命名等语义保持变异,再以共识验证筛选代码;在三个基准和三个模型上最高优于现…

    ↗ 查看原文 · arxiv.org
  44. 00:17

    研究:工程师 token 消耗难衡量产出

    arXiv 论文基于 JetBrains 404 名工程师五周数据发现,token 消耗主要反映工程师使用 AI 的强度…

    ↗ 查看原文 · arxiv.org
  45. 11 月 10 日 00:00
    23:40

    论文证明:有限规则无法审核所有安全程序

    arXiv 论文证明,若每条规则都需机器在有限时间内验证,则无法用有限规则集完整判定 AI 生成程序是否安全,只能给出可…

    ↗ 查看原文 · arxiv.org
  46. 23:39

    按时间给 AI 记忆排序后,基准测试全面失效

    有开发者按记忆时间排序测试 AI 智能体记忆方案,结果各项基准测试的下限全部被打破,作者据此主张采用仅追加日志加投影视图…

    ↗ 查看原文 · dev.to
  47. 23:34

    LoRA 行为在 3.5 倍 RMS 噪声下失效的实验观察

    对每个 LoRA 张量施加高斯噪声后,SST-2 准确率在 2 倍 RMS 内保持 94.5%,到 5 倍时跌至随机水平…

    ↗ 查看原文 · dev.to
  48. 23:21

    为什么 AI 生成的文字读起来令人烦躁

    Zonder Labs 文章认为语言模型在写作上仍落后于编码等能力,工作场景中的 AI 文本会增加读者的理解负担。

    ↗ 查看原文 · zonderlabs.com
  49. 11 月 9 日 23:00
    22:59

    论文提出用流行病学队列研究 AI 智能体

    arXiv 论文借鉴人群研究思路,把智能体当作队列成员、底层模型当作基因,纵向追踪其行为与不良事件,用于评估安全与可靠性…

    ↗ 查看原文 · arxiv.org
  50. 22:22

    PegasusAI Studio 让智能体在共享算力上可审计

    arXiv 论文介绍基于 Pegasus 与 HTCondor 的科学网关,将设施知识注入编码智能体,并把每个操作归属到…

    ↗ 查看原文 · arxiv.org