跳到正文

全部动态

按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。

679 条收录动态,更新于 17:06

全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。

10月15日

星期四,26 条
  1. 上海AI实验室许地生团队用书生-S2 人机协同证明三维Ghys猜想

    上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型S2(书生-S2),通过人机协同完成困扰数学界30余年的三维Ghys猜想证明,论文已发布在预印本平台arXiv,形式化代码在GitHub公开。

    入选理由材料完整呈现了人机协同证明数学猜想的流程与形式化验证环节,研究者可据此判断大模型在自身领域承担长程推导的可行边界。

    上海人工智能实验室·科研动态官方预印本重要性 85
  2. Anthropic 用强化学习训练 LLM 对齐审计员

    Anthropic 用强化学习训练 LLM 对齐审计员:在训练环境中,策略模型调查系统提示中被植入隐藏行为的目标模型。将 Haiku 4.5 在该环境上微调后,其在审计质量的留出评估上追平 Opus 4.6,并能迁移到不同 scaffold 下更难、经过微调的目标模型。

    Anthropic:Alignment Science Blog预印本未入选重要性 58
  3. Meta发布Muse Wonder系列模型

    Muse Wonder 和 Muse Wonder Full 在个人与专业智能体任务上达到 SOTA 性能。 在我们的研究者博客上了解更多关于这些模型的信息:https://go.meta.me/musewonder

    AI at Meta厂商自述未入选重要性 18
  4. 视觉生成能否扩展统一多模态模型的知识边界?

    研究提出 Knowledge Transfer Probing(KTP)协议,通过图像生成训练注入新知识,再用纯文本问答检验其可及性。在七个知识类别和三个统一多模态模型上,视觉监督到语言的迁移直接但不均衡;引入 Textual Alignment 与 Interleaved Image–Text Alignment 后,对部分实体的引导可在无问答监督下改善其他实体的知识调用。

    Hugging Face Daily Papers证据待确认未入选重要性 38
  5. 思考如何让推理模型解读“some”与“or”:Entertain, then Cancel

    研究在固定模型权重、仅改变思考长度的条件下,考察推理模型对“some”(非全部)和“or”(非两者)等逻辑词日常含义的解读。思考使多数被测开源推理模型和 GPT-5 按逻辑本义解读,取消这些会话含义,而间接回答等依赖上下文的推断则有所改善;推理轨迹显示模型先采纳丰富解读、随后再将其取消。

    Hugging Face Daily Papers预印本未入选重要性 38
  6. 3DCodeVerse:将 3D 世界作为代码探索

    研究团队推出 3DCodeVerse 研究生态,让编程智能体大规模生成可编辑、可验证的 3D 内容,包含 3DCodeVerse-2M 可执行 3D 代码数据集、用于空间推理与自动验证的 3DCodeVerse Harness 多智能体 DAG 框架,以及 3D 编程实践指南。

    Hugging Face Daily Papers预印本未入选重要性 42
  7. ACT3D:用结果奖励让视觉语言模型学会在 3D 环境中主动探索

    研究团队提出 ACT3D,让视觉语言模型保持单张图像的原始视觉输入,把 3D 表示当作可交互环境,模型通过移动、转向等动作获取新视角后再作答。方法先做轨迹监督微调,再用以最终答案正确性为主要奖励的强化学习训练,不对访问哪些视角或采取哪些动作提供直接监督。

    Hugging Face Daily Papers预印本未入选重要性 58
  8. Lexical Reference Frames:用模型原生语义解读语言模型残差流

    研究者提出 Lexical Reference Frames,通过模型自身剩余层读取隐藏状态,使其可按模型原生语义解读。在 SmolLM3-3B 和 OLMo3-7B 中层深度,一阶框架 LexFrame[1] 的相干度达 0.97,而固定方向透镜最高仅 0.30 和 0.35,读取结果与模型输出相差 0.16 nats 以内。

    Hugging Face Daily Papers预印本未入选重要性 30
  9. Meta 用 AI 辅助医学专家产出 10 篇研究稿件,覆盖心脏病学与肿瘤学等

    Meta 表示其构建了一套由人类主导的研究框架,由 Muse Spark 1.3 与 Muse Wonder 驱动,可访问 500 万份回顾性去标识电子健康记录及公开数据。一组医学专家用该系统开展原创研究,在假设生成、代码执行和稿件撰写上提速,同时保留对科学决策的全部决定权。Meta 此次公开了由此产出的 10 篇研究稿件,涵盖心脏病学、肿瘤学、传染病、急诊医学等方向,详情见其研究博客。

    AI at Meta证据待确认未入选重要性 60
  10. 研究者用 AI 设计可切割特定蛋白的蛋白酶

    研究者利用 AI 蛋白设计工具,保留两类蛋白酶催化核心并替换蛋白其余部分,设计出可定向将特定蛋白切成两半的酶。他们通过切割与神经疾病相关的蛋白验证了这些酶的效果。原文提到,肽键本身半衰期估计达数百年,而生物体演化出的蛋白酶能快速将其打断,这项工作相当于绕过了蛋白酶的自然多样化过程。

    Ars Technica · AI证据待确认未入选重要性 62
  11. SwarmRSI 框架让科学智能体群体递归自我改进

    作者提出 SwarmRSI 框架,通过 Feedback-Guided Swarm Mutation 和 Complementary Swarm Recombination 两个机制,让科学智能体群体利用彼此的实验反馈修正假设与实现,并把保留的假设和互补程序组件复用到新研究中。

    arXiv 科研构思与自主科研代理预印本未入选重要性 58
  12. Google 在 Research@ 2026 发布多项科研 AI 能力,Deep Review 公开上线

    Google 在 Research@ 2026 活动上公布多项面向科研的 AI 能力,其中 Deep Review 在 STOC、ICML、NeurIPS、ICLR 的 15000 余份投稿中完成部署后正式公开上线。

    入选理由Deep Review 已在 STOC、ICML、NeurIPS、ICLR 的 15000 余份投稿中试用后公开,审稿人和会议组织者可据此判断它能否进入评审流程。

    Google Blog · Research官方证据待确认重要性 62
  13. Google 发布地理空间推理智能体技术报告,并开放 Earth AI 早期访问

    Google 公布地理空间推理智能体的技术报告,在 CBGB、UnivEARTH 及新发布的 GeoExpertQueries、GeoKTools 四个基准上比较了四种配置,结果显示接入 Earth AI 专用工具后定量空间任务得分明显提升,而开放式问题还需要前置规划。

    入选理由Google 公开了地理空间推理智能体的技术报告与两个新基准,并给出 WHO 等机构的早期实测,研究者可据此判断这类地球科学智能体能否接入自己的空间分析流程。

    Google Research Blog官方预印本重要性 71
  14. Ai2 发布 HiRO-ACEv2,以约三百分之一成本生成全球 3 公里气候数据

    Ai2 发布 HiRO-ACE 系统的新版本 HiRO-ACEv2,其降尺度模型 HiROv2 可同时预测多种高分辨率变量,不再只限于降雨,并提升了对极端事件的预测能力。

    入选理由Ai2 公布气候模拟系统更新,研究者可据此判断能否用低成本方式生成极端天气的高分辨率数据。

    Hugging Face Blog官方证据待确认重要性 76

10月14日

星期三,4 条
  1. 微软概率偏差校正提升延伸天气预报

    天气预报在两周之后便不可靠,给农民和其他人留下了关键空白。概率偏差校正(Probabilistic Bias Correction)改进了延伸期预报,在全球竞赛中拔得头筹,并展现出在实际应用中大有可为:https://msft.it/6013aseY9 图片来源:科罗拉多州立大学大气研究合作研究所与美国国家海洋和大气管理局(CSU/CIRA & NOAA)

    Microsoft Research证据待确认未入选重要性 30
  2. MIT 团队用机器学习后处理将两到六周天气预报准确率提高一倍

    MIT 等机构的研究团队开发了一种机器学习后处理层,通过学习历史数据修正现有预报模型的误差,在两周到六周的次季节预报中把黄金标准模型的预测能力提高了一倍,并首次在该时间尺度上超过气候平均值。相关论文发表在 Nature,该方法在 ECMWF 的预报竞赛中获第一名,对极端天气的预测也有统计显著提升。该模型是开源、低成本的附加组件,可搭配任意预报模型使用,肯尼亚气象部门已联系希望用于改进季风预报。

    入选理由研究团队用后处理层修正现有预报模型误差,把两周到六周的次季节预报准确率提高一倍,并开源低成本,能源与农业用户可据此评估部署可能。

    MIT News · AI预印本重要性 82
  3. Euler:面向人类理解的多智能体数学发现系统

    作者提出 Euler,一个以共享结构化研究状态为核心的多智能体数学发现系统,记录精确命题与假设、命题间依赖、备选证明路线、失败尝试及每条结论的证据,供研究者和智能体共同使用。

    arXiv 关键词查询 · AI 科学家/同行评审/文献预印本未入选重要性 62
  4. Ai2 发布 HiRO-ACEv2,以约三百分之一成本生成全球 3 公里气候数据

    Ai2 发布 HiRO-ACE 系统的新版本 HiRO-ACEv2,其降尺度模型 HiROv2 可同时预测多种高分辨率变量,在给定粗化的 X-SHiELD 数据时,对极端降雨、风速和气压的高分辨率统计量误差在 3% 以内,并能估算热带气旋总能量。

    同一新闻,精选展示《Ai2 发布 HiRO-ACEv2,以约三百分之一成本生成全球 3 公里气候数据》

    Ai2 / Allen Institute for AI官方证据待确认重要性 72