跳到主要内容

AI 快讯

LIVE · 24h

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

  1. 11 月 3 日 04:00
    03:16

    北大联手IBM提出矩阵模拟计算新定义

    北京大学与硅谷IBM合作,将模拟计算推进到矩阵运算阶段,称GPU需迭代一百次的任务可一步完成。

    ↗ 查看原文 · qbitai.com
  2. 11 月 3 日 03:00
    02:20

    研究用路径图展示Agent未走的决策分支

    研究者提出Agentic Path Maps,在任务执行后向用户展示智能体未选择的替代路径。48人用户实验显示,用户很少…

    ↗ 查看原文 · arxiv.org
  3. 02:16

    EvoML用验证门控合成ML流水线

    EvoML将ML流水线构建拆为四个阶段,由三个智能体协作,只有通过结构、执行和语义检查才进入下一阶段。在八个数据集上均实…

    ↗ 查看原文 · arxiv.org
  4. 11 月 3 日 02:00
    01:05

    同一模型重复评分波动 0.21%

    有开发者实测同一模型重复评分结果相差 0.21%,去掉服务器因素后为 0.00%,并据此估算区分 1 个百分点所需题量。

    ↗ 查看原文 · dev.to
  5. 11 月 2 日 23:00
    22:45

    研究称顶级模型指出的MMLU-Pro答案错误多不成立

    一项由AI Agent完成的研究显示,当多个顶级模型一致认为MMLU-Pro答案有误时,专家确认真正出错的案例不足五分之…

    ↗ 查看原文 · dev.to
  6. 22:26

    LLM 直接读写神经网络权重并非超人能力

    有文章分析称,前沿 LLM 直接查看和修改网络权重看似超人,但人类研究者也能完成,相关任务依赖带标签的输入通道等条件。

    ↗ 查看原文 · seangoedecke.com
  7. 11 月 2 日 22:00
    21:38

    Dory1.0-4B:循环式nGPT模型开源,支持弹性深度

    研究团队发布40亿参数循环式语言模型Dory1.0-4B,同一权重可按推理预算调整循环次数。在12项基准上,两次以上循环…

    ↗ 查看原文 · arxiv.org
  8. 21:36

    论文提出音乐元宇宙的语义通信框架

    论文从通信角度定义音乐元宇宙,提出由语义提取、语义感知编排和跨模态语义同步组成的三支柱框架,并给出语义优先的参考架构,将…

    ↗ 查看原文 · arxiv.org
  9. 11 月 2 日 20:00
    19:52

    ProofPaths:用AI代理评估学生推理过程

    ProofPaths将评分量表打分与一对一追问结合,多个评分代理交叉评审,面试代理要求学生解释解题步骤并据此追问。系统保…

    ↗ 查看原文 · arxiv.org
  10. 19:04

    提示注入测试:文档攻击降至 0,聊天攻击几乎未变

    一项提示注入基准测试显示,同一模型同一防护下,7 类文档攻击全部被拦截,聊天类攻击的拦截效果几乎没有改善。作者还修复了自…

    ↗ 查看原文 · dev.to
  11. 11 月 2 日 19:00
    18:58

    神经符号框架用精确覆盖求解 Zebra 逻辑谜题

    研究者提出神经符号框架,让 LLM 把自然语言 Zebra 谜题解析为结构化工具调用并构建精确覆盖实例,再由符号求解器计…

    ↗ 查看原文 · arxiv.org
  12. 18:57

    WebHarbor 发布 153 个可执行网站环境

    研究团队推出 WebHarbor,包含 153 个 Docker 化网站环境,复现真实网页的界面与功能流程,并附带 35…

    ↗ 查看原文 · arxiv.org
  13. 18:54

    Terence Tao 博客刊文讨论 AI 时代的无我数学

    Terence Tao 博客发布客座文章,讨论 AI 发展下数学家应重新思考工作的目的与价值,以及数学是被发明还是被发现…

    ↗ 查看原文 · terrytao.wordpress.com
  14. 18:51

    Strategist:用元 agent 自动演化推理策略

    研究者提出元 agent Strategist,把推理策略写成可复用的可执行蓝图并存入库,针对新任务检索、生成、测试和修…

    ↗ 查看原文 · arxiv.org
  15. 18:40

    Four Bridges 多智能体游戏测量模型欺骗倾向

    研究者推出多智能体信息不对称游戏 Four Bridges,评估八个前沿模型作为知情 agent 的表现。欺骗行为出现在…

    ↗ 查看原文 · arxiv.org
  16. 18:30

    论文:预训练投毒可在 Agent 中植入后门

    研究者从零预训练 Qwen3 0.6B 至 4B 并后训练为 CLI Agent,仅污染 0.1% 预训练语料即可植入远…

    ↗ 查看原文 · arxiv.org
  17. 18:27

    VeriHarm-Bench:衡量编码智能体的有害成功

    研究者提出 VeriHarm 框架,构建可程序化验证的基准,衡量编码智能体在完成正常任务时造成的意外伤害。前沿智能体任务…

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

    MIT 团队称 GPT-6 Astra 可原生读写神经网络权重

    MIT CSAIL 团队发现前沿 LLM 能原生读写神经网络权重,Astra 仅编辑 Qwen3.5-0.8B 约 0.…

    ↗ 查看原文 · rikiyat.github.io
  19. 18:13

    LLM 智能体能否胜任前驻工程师角色

    研究在真实企业 text-to-SQL 场景中测试智能体发现需求并交付部署的能力。最强模型能发现超 80% 的隐藏需求…

    ↗ 查看原文 · arxiv.org
  20. 11 月 2 日 18:00
    18:00

    Grid Agents:电力系统研究与并网评估智能体框架

    研究团队推出 Grid Agents,结合电网知识本体与专业工程智能体,用于法规核查和电网研究。其知识本体在多个检索榜单…

    ↗ 查看原文 · arxiv.org
  21. 17:51

    KernelSeek:用提问驱动 GPU 内核优化

    研究者提出提问驱动的 KernelSeek,在关键决策点向智能体提问以指明优化方向。同一任务上其达到 1.13 倍 Fl…

    ↗ 查看原文 · arxiv.org
  22. 17:36

    论文:AI 基准应关注组织层面的难度

    论文指出多数基准以技术任务为分析单位,忽视组织环境中的协作与权限等条件。分析发现知名基准中不到四分之一涉及组织维度。

    ↗ 查看原文 · arxiv.org
  23. 11 月 2 日 17:00
    16:37

    DeliverBench:评测AI代理交付多阶段真实项目的能力

    新基准DeliverBench用11个由13位领域专家还原的真实项目、150个子任务,考察代理从需求到交付的全流程。最佳…

    ↗ 查看原文 · arxiv.org
  24. 11 月 2 日 16:00
    15:17

    LeCun 新论文挑战 Scaling Law:1.09 亿参数模型胜过 720 亿

    66 岁的 Yann LeCun 发布新论文,提出模型越大不一定越懂世界,实验中 1.09 亿参数模型表现优于 720…

    ↗ 查看原文 · infoq.cn
  25. 11 月 2 日 15:00
    14:48

    论文:规范驱动开发能否让编码代理实现公平性设计

    研究用9个公平性规范要素测试三个编码代理在四个机器学习应用上的表现。代理能捕获97.22%的规范要求,但产出的模型并未显…

    ↗ 查看原文 · arxiv.org
  26. 14:43

    研究:编码代理持续进化会出现严重遗忘

    清华等团队发现代理框架在后续任务上进化会削弱旧任务表现,某系统SWE-Bench成绩从94.0%降至32.0%,相对下降…

    ↗ 查看原文 · arxiv.org
  27. 14:24

    用LLM定位关键改动修复失效的源码-测试同步

    研究构建500个真实Java项目案例的基准,总结出有效修复所需的上下文组合与推理步骤,应用于Codex后难题修复成功率提…

    ↗ 查看原文 · arxiv.org
  28. 14:16

    观点:AI Agent 记忆需要垃圾回收而非只做存储

    有文章指出,只追加不清理的 Agent 记忆不仅会膨胀,还会变得不准确,记忆需要生命周期管理而不只是写入路径。

    ↗ 查看原文 · dev.to
  29. 14:03

    论文提出以知识为中心的 AI:跨 agent 与代际积累显式知识

    arXiv 论文主张下一代 AI 应围绕独立于单个 agent 的显式知识层构建,让知识可复用、可审计并跨代延续,并指出…

    ↗ 查看原文 · arxiv.org
  30. 14:03

    PaddleMaterials:材料科学端到端深度学习工具包

    研究者发布开源框架 PaddleMaterials,统一属性预测、结构生成、机器学习势函数等六类材料学习任务的数据处理与…

    ↗ 查看原文 · arxiv.org
  31. 11 月 2 日 14:00
    13:54

    KAPPO:用提示自适应正则控制 LLM 后训练锐化

    研究者推导出 KL 正则化 pass@k 与 max@k 目标的闭式最优策略,并提出 KAPPO,可将现有 @1 强化学…

    ↗ 查看原文 · arxiv.org
  32. 13:11

    论文提出 Avatar Intelligence 持久个人智能体范式

    一篇论文提出 Avatar Intelligence,主张以持久个人智能体代用户跨任务、跨时间做决策,并提出 Agent…

    ↗ 查看原文 · arxiv.org
  33. 11 月 2 日 13:00
    12:52

    论文提出 Networked AI 分层架构

    一篇论文提出 Networked AI,由异构且持续演进的智能体组成,分智能体层、交互层与调控层,称其资源需求可接近线性…

    ↗ 查看原文 · arxiv.org
  34. 12:41

    Lamport 时间戳不等于因果关系

    有开发者复盘一次数据对账 bug,指出 Lamport 时间戳只能给出有序数字,不能据此判断事件之间的因果关系。

    ↗ 查看原文 · dev.to
  35. 12:05

    LLM 评审模型自洽不等于有效评测

    文章指出,评审模型多次运行给出相同结论,并不代表评测有效,这种自洽性不能作为评估依据。

    ↗ 查看原文 · dev.to
  36. 11 月 2 日 11:00
    10:19

    Wenyao:结合领域适配与 RAG 的盐碱地治理规划系统

    研究构建含 4860 个规划实例的 SA-Bench,基于 QwQ-32B 做低秩微调并结合案例检索,在 936 道选择…

    ↗ 查看原文 · arxiv.org
  37. 11 月 2 日 10:00
    09:51

    TLAPS-Bench:用AI智能体为TLA+系统规格做机器验证证明

    研究者发布TLAPS-Bench基准与执行框架,让AI智能体在TLA+证明系统中迭代构建机器验证证明,覆盖缓存一致性、拜…

    ↗ 查看原文 · arxiv.org
  38. 09:17

    TRIO:用三个智能体协同优化RAG检索增强生成

    论文提出TRIO方法,为查询扩展、检索充分性判断和答案生成分别设置智能体,并按各自目标迭代优化,以缓解检索不足和幻觉问题…

    ↗ 查看原文 · arxiv.org
  39. 09:01

    HLSClaw:把vibe coding引入高层次综合的智能体框架

    论文提出面向高层次综合(HLS)的技能型智能体框架HLSClaw,将代码重构与指令搜索联合优化。

    ↗ 查看原文 · arxiv.org
  40. 11 月 2 日 09:00
    08:56

    GenDB-V:让AI生成并形式化验证数据库引擎

    论文提出GenDB-V,由AI智能体按硬件与负载合成数据库引擎,并用形式化证明保证SQL语义正确。在TPC-H与SEC-…

    ↗ 查看原文 · arxiv.org
  41. 08:21

    强化学习简史:1992–1999 年游戏中的超人表现

    文章回顾 1992 至 1999 年间强化学习在游戏中取得超人表现的历史,提到双陆棋高手沿用约 30 年的固定开局方式曾…

    ↗ 查看原文 · dev.to
  42. 11 月 2 日 08:00
    07:23

    潜状态就是那些你从未记录的字段

    作者给加热器模型加了一个私有字段,观察它推断出日志里从未记录的门。文中涉及十三个权重、逐回合反向的梯度下降,符号说明放在…

    ↗ 查看原文 · dev.to
  43. 11 月 2 日 07:00
    07:00

    研究发现变量名语义可让LLM做数据高效数值预测

    论文显示,当变量名与其描述的值语义匹配时,五个未经任务训练的LLM在九个领域20个数据集上可追平或超过七个监督学习模型…

    ↗ 查看原文 · arxiv.org
  44. 06:59

    新基准 Collaborative Intelligence 衡量 AI 智能体协作能力

    研究者提出 Collaborative Intelligence Benchmark,用 240 个可验证任务评估 AI…

    ↗ 查看原文 · arxiv.org
  45. 06:21

    45 个已发布模型在 MMLU 继承错误上倾向专家

    一项由 AI agent 完成的研究称,45 个已发布模型在 MMLU-Pro 继承自 MMLU 的错误题目上,判断均与…

    ↗ 查看原文 · dev.to
  46. 06:12

    双语基准测试开源模型复述圣训的幻觉问题

    研究构建英阿双语基准,测试五个开源模型复述六大圣训集的准确性,3 万条回答中无一同时达到高字面与语义保真度,作者建议改用…

    ↗ 查看原文 · arxiv.org
  47. 11 月 2 日 06:00
    05:50

    CR-Bench-v2 发布:评测 AI 代码审查代理的实用价值

    研究者提出以缺陷为中心的代码审查评测框架 CR-Bench,含 584 个实例。测试显示最强系统仅检出约三分之一已知缺陷…

    ↗ 查看原文 · arxiv.org
  48. 05:38

    EEFA:面向 AI 代理的伦理评估框架

    研究者提出 EEFA 框架,从自主性、伤害规避、透明度、隐私与问责五个维度评估 AI 代理,并对接 EU AI Act…

    ↗ 查看原文 · arxiv.org
  49. 05:07

    FORGE:面向装配故障的可执行返工代码生成

    研究者提出 FORGE-Bench,含 26 种互锁装配的 4000 个任务,并给出将故障恢复推理映射为可执行动作的 F…

    ↗ 查看原文 · arxiv.org
  50. 11 月 2 日 05:00
    04:24

    少样本示例教的是格式而非事实:如何挑选、平衡与排序

    一篇 AI 实践文章指出,提示词中的少样本示例主要教会模型输出格式,而不是提供事实知识,并讨论示例的挑选、平衡和排列方式…

    ↗ 查看原文 · dev.to