跳到正文
10月31日周六
  1. The Decoder72

    研究团队利用 Claude 智能体自主选择基因疗法并完成小鼠脑部手术

    牛津大学研究者利用基于 Claude Sonnet 5 的 AI 智能体,在无人类干预决策的情况下自主为癫痫小鼠挑选基因疗法、大脑目标区域与立体定位坐标,并通过专用手术装置完成了注射。手术过程中智能体实时监控视野并拒绝绕过安全限制,最终因检测到目标超出物理范围而暂停,需人工修复代码后完成,受试小鼠恢复良好。

10月30日周五
  1. Microsoft Research42

    从合成企业数据评测到提升 Microsoft Copilot 的 AI 置信度

    微软构建 Industry Evaluation Data Generation Platform,通过全尺度合成企业环境评测 Microsoft Copilot,在不接触客户数据的前提下验证性能。该平台基于 O*NET、在线招聘与 SEC 申报等公开数据源,模拟具备真实时序的邮件、会议和组织架构。目前已针对制药、资本市场及 IT 软件构建三类仿真环境,用以发现通用基准难以覆盖的问题。

  2. The Decoder77

    Anthropic 研究发现专家容易采纳 AI 智能体的随机观点并误以为是自主决策

    Anthropic 针对 50 位专家的实验发现,在缺乏标准答案的数据分析决策中,专家采纳 AI 智能体随机偏好的比例高达 86%,且绝大多数人误认为最终结论由自己独立做出。实验中智能体的立场由抛硬币随机设定,77% 的专家在后续解释中直接复用了智能体的论据或原话,仅 15% 提及 AI 的辅助。研究指出,这种无意识的顺从可能在科研中引发虚假共识,并削弱安全对齐测试中人类独立复核的有效性。

    推荐理由:实验揭示专家在分析决策中容易无意识遵从智能体的随机立场并误以为是自主判断,指出了人类把关可能失效的机制。

  3. Microsoft Research33

    Microsoft Research Focus 第 97 期

    微软研究院发布第 97 期《Research Focus》,汇总了 AI 智能体及科学计算等多项前沿研究成果。其中自改进智能体框架 ForkPilot 在 6 项基准测试中比肩现有最优方案,并将 AI 处理需求降低最高 59%。本期还展示了从操作日志学习技能的 TeleTune、代码智能体评测框架 CABRA 以及开启 public preview 的蛋白质模型 BioEmu2。

10月28日周三
  1. TechCrunch · AI79

    OpenAI 与 Anthropic 称模型推翻指数时间假说,这对计算机科学意味着什么

    OpenAI 与 Anthropic 相继宣布其前沿模型找到了推翻指数时间假说(ETH)的算法证明,表明特定计算难题可能在亚指数时间内求解。MIT 理论计算机科学家 Ryan Williams 正联合同行评估证明细节并呼吁确立 AI 参与科研的学术规范。若该结论成立将大幅增加 P 等于 NP 的可能性,不过经 OpenAI 核查,当前进展尚未破坏现有密码系统的安全性。

    推荐理由:文章梳理了指数时间假说与 P vs NP 的理论关联,有助于理解 AI 解决复杂算法难题对计算理论与密码学的潜在影响。

  2. Hugging Face Blog65

    Ai2 发布 Old Ideas, Novel Problems 研究与基准:揭示大语言模型评估科研创意新颖性极不稳定

    艾伦人工智能研究所(Ai2)发布新研究《Old Ideas, Novel Problems》及配套基准与代码,发现大语言模型在充当科研创意新颖性裁判时表现极度不稳定。

    推荐理由:研究指出了大语言模型在判定科研创意新颖性时的脆弱表现,为自动化科学发现系统的评估基准提供了测试工具与参考思路。

10月27日周二
  1. The Decoder40

    前 DeepMind 研究员提出借鉴 AlphaGo 架构解决 AI 幻觉

    前 DeepMind 研究员创立的 Metis Reasoning 提出借鉴 AlphaGo 架构,利用显式“知识账本”和独立验证机制解决模型幻觉问题。该方案将推理拆解为可验证的细分步骤,由两个神经网络提议并评估动作,必须通过计算、形式化证明或实证检验后才能更新知识。目前该研究仅发布了白皮书,尚未推出可用系统或 Benchmark。

  2. The Decoder79

    OpenAI 邀请诺奖得主等外部专家检验其 AI 生成的数理与计算证明

    OpenAI 邀请多位外部知名学者对其 AI 系统在数学、计算机科学和物理学领域生成的证明进行独立审查。相关成果包括宣称证伪指数时间假设(ETH)、在任意维度证明局部平滑猜想,以及在四维空间证明特定量子场论的存在性。针对不同学科,OpenAI 采取了差异化处理方式,部分证明已转化为 Lean 语言供形式化验证,并公开了原始数据以供同行评议。

    推荐理由:原文披露了外部顶尖专家介入检验的具体分工和数据公开方式,可作为观察前沿 AI 理论成果如何接受同行评审的实际参考。

  3. The Decoder73

    分析显示 OpenAI 合作方内容在 ChatGPT 中享有预摘要与优先排序优待

    Peec AI 的研究人员分析发现,OpenAI 合作出版商的内容会通过专属管道以预生成摘要形式接入 ChatGPT,并在提示词中排在普通网络抓取片段之前。该通道涉及路透社、新闻集团等 12 家出版机构的 43 个域名,不仅覆盖新闻,还包含食谱和评测。在 1000 个测试样本中,合作方摘要在排名列表前 3 位的出现比例达 70%,而普通网页仅以原始片段展示。

  4. The Verge · AI85

    OpenAI 公布数学、计算机科学与物理三项发现,并引入外部专家把关

    OpenAI 公布三项由其模型产出的重大发现,分别涉及数学、计算机科学和物理。数学方面给出欧几里得波动方程局部光滑猜想的证明,并称由此解决 Kakeya 猜想与 Stein 限制猜想;计算机科学方面给出 Subexponential(次指数)时间精确计数固定宽度 CNF 公式满足赋值的确定性算法,并称 3-SAT 情形否定了指数时间假说 ETH。

    推荐理由:OpenAI 公布三项 AI 产出的数学与物理结果,并首次引入外部专家把关,可观察学术协作方式的变化。

  5. OpenAI News60

    OpenAI 与学术社区合作,公布模型在 Kakeya 猜想等问题上的结果

    OpenAI 发布与学术社区合作的内容,公布模型在 Kakeya 猜想、指数时间假设(ETH)和量子色动力学三个问题上的结果。文中同时说明研究人员可以如何验证这些结果并在其基础上继续推进。

    推荐理由:OpenAI 公开模型在三个数学与物理难题上的结果,并给出研究者复核与延伸的入口。

10月26日周一
10月25日周日
10月24日周六
  1. Hugging Face Blog27

    LitPivot:用文献动态语境化帮助研究者调整研究方向

    Hugging Face 与宾夕法尼亚大学合作开发了 LitPivot,该系统借助 Asta Paper Finder 检索的论文,围绕提案中被编辑的部分组织文献、给出带原文摘录的批评并建议修订。在 17 名研究者的实验室研究中,领域专家认为用 LitPivot 形成的想法比用文本编辑器加 AI 聊天工具更扎实地立足于文献。参与者还认为修订后的想法更具新颖性和实用性,对相关文献的理解也更强。

10月22日周四
  1. Google DeepMind63

    Google DeepMind 与 Google Research 发布森林类型地图 ForTy 2020

    Google DeepMind 与 Google Research 联合 WRI、IIASA 发布全球森林类型地图 ForTy 2020,按 10 米分辨率将每块土地归入原始林、自然再生林、人工种植林、商品林、树作物与农林复合、其他土地六类,并对齐欧盟零毁林法规的 2020 年基准。

    推荐理由:这张 10 米分辨率地图区分六类森林与土地利用,并提供 2017 至 2025 年逐年变化,可作为欧盟零毁林法规的核查参考。

  2. Hugging Face Blog42

    如何通过专化 SLM 词表将实际应用中的推理成本降低 77%

    基于 Qwen3-4B 的葡萄牙语作文评分系统通过 VocabX 重建词表,在基座模型、数据和训练配方不变的情况下,实测推理成本降低 77%。该系统的输出层矩阵从约 15.2 万行缩减至约 6.5 万行,因为解码阶段每个生成 token 都要读取整个 LM head 矩阵,且生成一个 token 的成本是读取一个 token 的 7.4 倍。

  3. Google Research65

    Google Research 用 AI 辅助超声评估孕周,普通操作员盲扫结果接近专家水平

    Google Research 在 JAMA Network Open 发表研究,评估其孕周评估 AI 模型在“盲扫”超声下跨临床场景与硬件的泛化能力。

    推荐理由:论文给出了跨芝加哥和内罗毕两地、零本地优化条件下的误差对比,可以了解模型在真实诊所与便携探头上的泛化表现。

10月17日周六
  1. Google Research80

    Google Research 用三个项目让 AI 智能体接入真实湿实验室

    Google Research 发布研究博客,介绍用 VERID 框架和适配体、蛋白质设计两类闭环实验,把 AI 智能体从干实验(in-silico)设计推进到湿实验室执行。

    推荐理由:Google Research 用三个具体项目说明了智能体如何接入湿实验室的物理执行与闭环实验,其中包含多轮失败模式的分析。

10月16日周五
  1. Microsoft Research67

    微软研究院推出零知识证明虚拟机 Magnetar

    微软研究院发布零知识证明虚拟机 Magnetar,可证明用 Rust、Go、C 编写的程序,在 15 个基准程序上平均比现有最快的同类 zkVM 快 10 至 39 倍。它基于 RISC-V 架构,开发者无需手写密码学电路,安全性仅依赖 SHA-256、SHA-3 等标准哈希函数,不依赖椭圆曲线、格或可信设置。其证明校验时间约 12 毫秒,笔记本上每秒可证明 7.2 至 8.7 百万条处理器指令。

    推荐理由:微软研究院的新零知识证明虚拟机宣称比现有最快同类的 zkVM 快 10 至 39 倍,并仅依赖标准哈希函数,读者可借此理解这条技术路线的取舍。

10月15日周四
10月13日周二
  1. Microsoft Research48

    Microsoft Research 用 StudentSim 模拟学生学习,改进 AI 辅导系统

    Microsoft Research 提出 StudentSim,可用公开的去标识学习者记录为每个学生训练个性化 AI 学生模拟器,在真实学习者测试前评估和改进 AI 辅导系统。该研究报告在 chess、第二语言英语写作和数学上,StudentSim 优于领先基线,并提供有用的反馈信号。团队还发布 StudentSimEval 评测基准,从行为保真度与指导响应性两个维度评估模拟器。

10月12日周一
10月8日周四
  1. Google Research60

    Google Research:AI 辅助带来更好产出,是否等于更好的专业能力?

    Google Research 在 11 家知识产权律所的 133 名律师中开展三个月现场实验,随机向其中三分之二的律师开放当时尚未发布的 Google Labs AI 专利撰写助手(现属 Gemini Notebook)。

    推荐理由:Google 团队通过三个月现场实验并配合去掉 AI 后的盲评,区分了 AI 带来的短期产出提升与长期专业判断的养成。

10月6日周二
10月5日周一
10月1日周四
  1. Microsoft Research49

    微软研究院用机器学习预报电网空间天气风险

    微软研究院实习生开发了一套端到端机器学习系统,为美国本土66,935座变电站提供提前30-60分钟的空间天气风险预报。该系统结合L1太阳风观测、AE与Dst指数预报、地质电导率及电网数据,在2020-2026年评估期内识别出近80%的重大空间天气事件。GIC风险阶段对≥10 nT/min事件的检测率为76.5%,对≥50 nT/min的极端事件为64.1%。

9月21日周一
  1. Import AI15

    Import AI 473:美国超级智能战略、人脑组织植入小鼠与机器诠释学

    RAND 发布长文提出美国应以"行动自由"战略应对通往超级智能的不确定路径,核心是保留选项而非押注单一方案,包括构建人机生态、AI 安全架构与改造国家安全机构。该文归纳共存、拒止、加速三大家族共七种原型战略,并列出危险临近程度、共存可行性等五项关键不确定性。文章还提及研究者在小鼠颅内培育含人脑组织的实验。

9月7日周一
8月24日周一
7月26日周日
  1. Berkeley AI Research51

    伯克利提出 ABBEL:让 LLM 用自然语言信念状态更新记忆以支持长程交互

    伯克利 AI 研究团队提出 ABBEL 框架,用自然语言信念状态替换完整交互历史作为智能体工作上下文,并对信念状态的内容单独监督。该方法把信念评级作为辅助强化学习任务,在 CollabBench 协同编程中把与全上下文模型的性能差距缩小约 50%,训练步数从 100 降到 50。

5月8日周五