⌘ K
… 读取采集状态 同步中...
雷

#论文/研究

今日 12 条
9月8日周二
  2. 新智元63

    系统综述259项工作：AI创作如何从「会生成」走到「能交付」？

    一篇来自港科大（广州）等多所高校的综述论文梳理了259项智能体创作（Agentic Artifact Creation）工作，包括230个系统和29个基准。论文提出将创作过程定义为持续构造循环，拆解为作品表示、构造策略和运行时验证三个核心功能角色，并将现有工作划分为文本、视觉、音视频、空间和行为型作品六大类别。

9月7日周一
  2. 极市平台36

    极市直播预告｜AlphaOracle：面向甲骨文破译的 AI 辅助系统

    极市平台将于9月10日20:00-21:00举办线上直播，邀请华中科技大学博士生管海粟介绍受人类专家工作流启发的甲骨文AI辅助破译系统 AlphaOracle，将专家的分析、检索与验证流程转化为可计算的智能破译框架。分享内容涵盖计算古文字学背景、现有工作与方法、AlphaOracle 介绍及 Demo 展示，B站同步直播。

  5. 新智元60

    西湖大学提出Code World Model：用代码维护世界状态驱动视频生成

    西湖大学AGI Lab与南洋理工大学团队提出Code World Model，该模型利用coding agent编写代码维护可执行的世界状态，再通过proxy指导视频模型生成画面。原型系统使用GPT-5.6 Sol作为coding agent，MiniMax-H3作为视频模型，仅需5.6小时游戏数据即可实现对角色位置、相机运动等时空骨架的有效控制。

  6. 人工智能学家32

    PNAS研究显示重度失语症与fMRI证据表明逻辑推理独立于自然语言

    发表于PNAS的研究结合fMRI脑成像与重度失语症患者测试，证实语言网络未参与形式逻辑的核心计算。研究显示，即便高级语言系统严重受损，患者仍能发现抽象规律并完成复杂推理。该结果表明“语言帮助思考”与“思维由自然语言构成”是两个不同命题，形式逻辑推理依赖独立的内部表征系统。

  7. CVer32

    至知创新研究院8篇论文被顶会EMNLP 2026录用

    至知创新研究院8篇论文被自然语言处理国际顶会EMNLP 2026录用，其中6篇为主会，2篇为Findings。本届大会主会录用率仅15.4%，Findings录用率为14.3%。录用研究涵盖奖励模型自优化、强化学习经验内化、连续空间潜在推理及工业代码生成等领域，在AI智能体关键机制上实现突破。

9月6日周日
  1. 人工智能学家25

    综述 | 统一机器人学习：连接表征、视觉-语言-动作模型与世界模型

    论文《Toward Unified Robot Learning》提出将机器人学习中的环境表征、视觉-语言-动作模型及世界模型整合为统一闭环系统。该框架旨在解决当前模块间缺乏可靠整合的瓶颈，通过共享状态与不确定性传播，使感知、策略与预测在决策中相互约束。研究指出关键开放问题包括不确定性量化、分布外泛化及长时域预测，强调系统需从离线模式匹配转向开放环境中的可控与可恢复。

  2. 人工智能学家45

    李德毅院士提出构建认知状态方程

    李德毅院士基于负熵、图灵方程及耗散结构理论，将认知界定为开放远离平衡的非线性耗散系统，并提出物质、能量、结构和时间四要素模型。该研究构建了包含递归与迭代特征的动力学方程，揭示了生命与机器认知的物理同源及数学同构，旨在通过自由能最小化降低认知不确定性。

  5. 新智元37

    浙大与港大开源 LayerRecall：基于记忆路由器的视频 DiT 长时一致性优化

    浙江大学与香港大学团队开源轻量化视频生成记忆路由器 LayerRecall，通过 CH PM 训练仅优化约 165 万参数，在不修改 5B 冻结骨干的前提下实现关键信息的选择性注入与层间精准分配。该方法在 MemoBench 上取得 0.548 分，较最佳基线提升，且 6.6MB 权重的增量推理耗时仅增加约 3.5 秒。

  6. 深度学习与NLP30

    复旦王烁与港科大郭毅可提出“生命算子”，构建统一全尺度生命建模框架

    复旦大学上海医学院王烁与香港科技大学郭毅可发布预印本，提出“生命算子”框架以统一全尺度生命建模。该方案将生命视为多尺度动力系统，通过感知、演化、生成三类算子及尺度桥实现从细胞到器官的跨尺度耦合。目前团队已搭建Cardio-World心脏计算系统，旨在通过虚拟临床筛除无效方案，提升药物与器械研发的临床试验成功率。

9月5日周六
  4. APPSO93

    Claude 用 11 天完成费马大定理计算机验证证明

    Anthropic 公布研究成果，Claude 在几乎自主运行下用 11 天完成费马大定理的首个端到端计算机验证证明。过程中 Claude 使用 Lean 编程语言生成约 1300 万行代码，构建了约 3.03 万个定理，其中最终证明使用了 2.95 万个中间定理。

    推荐理由：报道详细解析了 Claude 利用多智能体协同与 Lean 语言，以 11 天生成千万行代码完成费马大定理形式化验证的技术路径。

  5. DeepTech深科技90

    Anthropic 研究：Claude 借助多智能体协作完成费马大定理首个完整形式化证明

    Anthropic 研究员彭天翼（Tianyi Peng）发起，Claude 在人类少量指导下用 11 天完成费马大定理的完整形式化证明。数十个 Claude 智能体借助 Prove2Me 协作，生成约 1300 万行 Lean 代码，证明使用了约 2.95 万个中间定理，过程消耗约 60 亿输出 token。

    推荐理由：文章解析了Claude多智能体协作形式化费马大定理的工程细节与核验路径，有助于理解大型数学证明的自动化边界。

  6. 新智元94

    Claude 11天完成费马大定理首个端到端机器证明

    Anthropic宣布Claude仅用11天完成了费马大定理的首个端到端机器验证证明。Claude在此过程中编写了1300万行Lean代码，产出30300条可验证定理，其中29500条被采纳，总消耗达60亿Token。

    推荐理由：报道指出由清华姚班出身的彭天翼主导，Claude通过Prove2Me平台在11天内生成了30300条可验证定理，完成了费马大定理的机器证明。

  7. 新智元25

    北航等团队提出近似投机解码ASD，免训练即插即用提速大模型推理

    北航、清华、港大、北大联合团队提出近似投机解码（ASD），这是一种免训练的即插即用验证器模块，旨在突破标准投机解码首个分歧即截断的限制。在DSpark、EAGLE3、Medusa等框架测试中，该方法平均吞吐提升7.52%，最高提速15.26%，且在DeepSeek-V4-Flash上验证端接受率提升10%–16%。

  8. 大模型智能18

    李靖阳@燕山大学 - 异构图增强的大模型可信推理方法及其应用研究

    燕山大学李靖阳在MLNLP学术Talk分享异构图增强的大模型可信推理方法，指出工业场景知识增强面临“证据断裂”和“局部语义隧道”困境。报告介绍基于图结构的通用证据链接与仲裁机制，以提升大模型推理的忠实性与可解释性；并分享超图驱动推理在长庆油田智能井控等极端工业场景的应用实践，实现毫秒级机理约束决策。

  9. CVer43

    东南大学与小红书提出Impostor：通过CraftAgent构建高真实度AIGC篡改基准

    东南大学与小红书团队提出AIGC局部篡改基准Impostor，包含10万张由7个图像编辑模型生成的高真实度图像，覆盖多类操作。该方法同时提出PANet模型，利用局部相位与语义-取证一致性线索，在Impostor上取得SOTA表现。实验显示PANet跨域检测准确率达92.68%，较基线提升1.43个百分点。

  10. CVer5

    AAAI 2027 投稿超 5 万，CVer 组建投稿交流群

    CVer 发起 AAAI 2027 投稿交流群，该会议将于 2027 年 2 月在加拿大蒙特利尔举行。文章指出 AAAI 2027 投稿量已突破 5 万，交流群面向已投稿者沟通注意事项、rebuttal 及会议事宜。此外，CVer 也同步建立 ICLR 2027 投稿交流群，仅限准备投稿者加入，并提醒严格遵守投稿规则。

9月4日周五
9月3日周四
  3. 钛媒体AGI45

    南加州大学《自然·人类行为》最新研究：LLM 写作助手正系统性萎缩人类语言多样性

    南加州大学在《自然·人类行为》发表研究，发现 LLM 写作助手导致人类语言多样性系统性萎缩。分析 88 万篇文本显示，AI 介入写作后文本复杂度方差最高收窄 50%。此外，AI 改写使作者年龄等个人特质预测准确率平均下降 6%，语言风格趋同于统计学“均值”。