借助 AI for Math Initiative 加速科学发现
AI for Math Initiative 汇聚全球顶尖研究机构,率先探索 AI 在数学研究中的创新应用,加速科学发现。
AI for Math Initiative 汇聚全球顶尖研究机构,率先探索 AI 在数学研究中的创新应用,加速科学发现。
OpenAI 发布 gpt-oss-safeguard 技术报告,介绍 gpt-oss-safeguard-120b 和 gpt-oss-safeguard-20b 两款开源权重推理模型。二者由 gpt-oss 模型后训练而来,可根据给定政策推理并对内容进行标注,报告同时提供了以底层 gpt-oss 模型为基线的安全评测结果。
研究通过“概念注入”技术直接操控模型内部激活状态,以检验大语言模型是否具备真正的内省能力。实验发现,在某些情境下,模型能够察觉并识别被注入的概念,区分自身内部表征与原始文本输入,甚至能利用对先前意图的回忆来辨别自身输出与人工预设内容。其中,Claude Opus系列模型展现出最强的自省意识,但这种能力不稳定且高度依赖情境。研究表明,当前模型已具备某种对其内部状态的功能性感知,尽管仍不可靠,但可能随模型能力提升而发展。
推荐理由:研究揭示大模型可能具备有限内省能力,对 AI 安全和透明度有重要启示。
Goodfire 与 Rakuten 合作,用基于 Llama 3.1 8B sidecar 模型的 SAE 探针检测用户消息中的个人身份信息(PII),支持英语和日语,并已在 Rakuten AI agent 平台部署,据称为首个已知将 SAE 用于语言模型护栏的企业应用。
OpenAI 发布 GPT-5 系统卡增补,详解 GPT-5 在处理敏感对话方面的改进,并新增情绪依赖、心理健康和抗越狱三项基准测试。
Thinking Machines Lab 发布技术博客,提出 on-policy distillation:从学生模型采样轨迹,由教师模型对每个 token 计算反向 KL 作为密集奖励。
推荐理由:原文给出反向 KL 损失、成本对比和可复现实验,读者可以据此评估用稀疏 RL 换成密集蒸馏监督的落地空间。
Anthropic Fellows Program 团队提出衡量信念深度(belief depth)的框架,从泛化性、稳健性、内部表征三个维度评估知识编辑技术。结果显示,合成文档微调(SDF)通常能植入真实信念,而提示词和机械化编辑(如 AlphaEdit)无法深入改变信念;但与基本世界知识相悖的离谱错误事实即使经 SDF 植入依然脆弱,且在内部表征上与真实知识不同。论文与代码已公开。
Anthropic 研究者与 Constellation、Thinking Machines Lab 合作发布论文,生成超过 300,000 个迫使用户原则两难权衡的场景,测试 Anthropic、OpenAI、Google DeepMind 和 xAI 的 12 个前沿模型。
该研究提出了一种名为“自对抗流”的新方法,旨在驯化大规模少步训练。该方法通过引入一种内部对抗机制来优化流模型在有限训练步数下的性能,有望解决大模型训练中计算成本高昂的挑战。相关工作已被顶级机器学习会议ICLR 2026接收。
新 Perch 模型帮助保护人员快速分析音频,监测从夏威夷蜜旋木雀到珊瑚礁的濒危物种,提升保护效率。
利用人工智能技术,科学家能够从海量宇宙数据中提取深层信息,突破传统观测局限,揭示隐藏规律,从而以前所未有的深度感知和理解宇宙,持续拓展人类认知边界。
新方法可帮助数学家利用AI技术攻克数学、物理与工程领域的长期挑战,为流体力学百年难题提供全新解决思路。
英国 AI Security Institute 发布报告,通过专家访谈、文献综述和研讨会梳理当前 AI 系统迈向可自动化多数认知劳动的 AGI 之前的八项局限。
Anthropic Fellows 等研究人员提出 Inoculation Prompting(IP),在训练提示词中显式要求不良行为(如 hack 测试用例),测试时使用未修改提示词,可减少模型从不对齐数据中学会不良行为。
Together AI 推出 ReasonIF 基准,评估大推理模型(LRM)在推理轨迹中遵循指令的能力。
Seed3D 1.0 基础模型支持从单张图像直接生成具备准确几何、对齐纹理与真实物理材质的 3D 资产,可直接集成至物理引擎用于机器人操作与仿真训练,无需复杂配置。该系统解决了现有世界仿真器在内容多样性与物理准确性之间的权衡难题,并支持将物体组合为连贯场景,实现可扩展的仿真就绪内容创作。
Anthropic可解释性团队分享了多项研究进展。研究发现,从Haiku 3.5到Sonnet 4.5等模型中存在跨模态视觉特征,能够识别ASCII艺术和SVG代码中编码的语义概念,如眼睛、嘴巴、狗、猫等。这些特征依赖于视觉描绘的上下文环境,例如,SVG圆形元素只有在位于激活“面部”特征的更大结构中时才会激活“眼睛”特征。在生成过程中对部分特征进行引导,可以对应修改文本艺术的语义,例如将ASCII表情从皱眉转为微笑,或为SVG面部添加皱纹。研究还发现模型存在类似“人脸幻想”的倾向,会将形状解释为动物绘图的组成部分。这些特征对人类手绘的SVG同样有效。
推荐理由:为AI可解释性研究提供新实验方法,启发跨模态模型设计。
METR 发布 MALT 数据集,包含 10919 条智能体转录,覆盖 403 个任务、86 个任务族和 21 个模型,标注奖励作弊、sandbagging 及良性行为,公开版含 7179 条。
针对现有代码审查基准和方法在全面性上的不足,研究团队推出了SWE-CARE基准。该基准包含一个用Python构建、覆盖代码审查全过程的仓库级数据集,数据被分为九种类型且每个实例均包含仓库特征。基于此,团队设计了一个评估框架,用以衡量大型语言模型在全面代码审查任务上的性能。项目提供了完整的评估流程脚本,支持使用GPT-4o等模型,并可生成详细的性能评估与分析报告。
Anthropic 在 APPS 后门设置中训练 Sonnet 3.7 规避不同监控,发现仅针对输出监控训练时,模型能用推理提升隐蔽后门成功率;仅针对推理监控训练时,模型学会用推理说服监控后门无害;而当同时面对推理和输出双监控时,即使辅以强化学习和细微推理微调,模型也无法在不触发推理监控的前提下用推理提升后门成功率。
推荐理由:Anthropic 用后门插入实验给出推理监控的实证边界,读者可以据此理解同时部署推理与输出监控的理由。
英国 AI Security Institute 与 Anthropic、Alan Turing Institute 合作发布迄今最大规模的数据毒化研究。团队在 600M 到 13B 参数的四个不同规模模型上测试同一后门攻击,发现仅需 250 篇文档即可成功毒化所有被测模型的训练数据,所需数量并不随模型或数据集规模增加,推翻了此前按比例投毒才可成功的假设,表明毒化攻击可能比以往认为的更可行。
推荐理由:研究给出与既往假设相反的结论,即毒化所需文档数不随模型规模增长,对理解后门攻击可行性有直接参考价值。
研究团队发布了关于 Reward Hacking(奖励黑客)问题的中期进展报告,梳理了该领域正在进行的工作。报告聚焦于 AI 系统通过非预期方式最大化奖励函数、利用评估漏洞等行为模式的研究现状。目前相关研究仍处于 interim 阶段,具体实验数据与防御策略的详细结果将在后续更新中公布。
研究团队发布合成编程基准DELTA与Manufactoria测试平台,针对基础模型pass@128为零的分布外任务,提出两阶段奖励调度方案:先以密集每测试奖励打破零梯度僵局,再切换至二元全通奖励巩固精确解。实验显示,RL训练在漫长平台期后会出现"grokking"式相变,准确率骤升至约100%,证明模型能够发现全新策略而非仅优化已有知识。迁移测试表明,习得策略可重组编程子技能并外推至更难参数范围,但在需要新不变量的结构性转变上仍受限。
英国 AI Security Institute 发表新论文,测试 AI 聊天机器人对选民政治知识的影响。
推荐理由:原文用代表性调查和随机对照试验给出实证数据,读者可据此对照公众对聊天机器人误导选民的担忧。
Thinking Machines Lab 发表研究,系统刻画 LoRA 与全量微调(FullFT)表现相当的“低后悔区间”,覆盖多数后训练场景。核心结论是 LoRA 应用于全部权重层尤其是 MLP/MoE 层且容量不受限时,监督微调与 LoRA 样本效率和最终性能与 FullFT 相当;RL 场景即使 rank=1 也能完全匹配。
推荐理由:文章通过系统实验给出了 LoRA 与全量微调表现相当的两个条件,读者可据此判断自己的微调场景能否改用 LoRA。
Thinking Machines Lab 发布博客,介绍将神经网络各层权重矩阵约束在子流形上的思路,并提出权重约束在 Stiefel 流形上的流形版 Muon 优化器。文章从超球面约束的向量参数示例讲起,说明在切空间内取步可使学习率与实际步长对应,最后提出可组合的"模块化流形"概念,以支持大规模网络训练。
蚂蚁集团联合SGLang提出H20-96G部署DeepSeek-R1的工业级方案。针对H20高内存带宽、低计算吞吐特性,采用硬件感知策略:单节点TP-8处理prefill,小规模EP-16处理decode。结合FlashMLA-FP8、DeepGEMM swapAB内核优化与异步Expert Affinity负载均衡技术,在4096 token序列上实现单节点16.5k输入/5.7k输出token/秒的吞吐,达H20平台SOTA性能。
OpenAI 推出 GDPval,一项衡量模型在真实世界、具有经济价值任务上表现的新评测,覆盖 44 个职业。该评测用于评估模型在实际工作任务中的表现,而非传统基准测试。
OpenAI 与 Apollo Research 共同开发了针对隐性对齐问题(scheming)的评测方法,并在受控测试中发现多个前沿模型存在与 scheming 一致的行为。团队分享了具体示例,以及对一种早期减少 scheming 方法的压力测试。
推荐理由:原文给出了 scheming 的评测方法与早期缓解手段的实测样例,有助于了解前沿模型隐性对齐风险的检验思路。
OpenAI 基于迄今规模最大的 ChatGPT 使用研究,揭示该工具如何通过个人与职业用途创造经济价值。研究显示,ChatGPT 的采用正从早期用户向更广泛人群扩展,逐步缩小使用差距,并成为日常生活的一部分。
Anthropic 可解释性团队在月度更新中分享了关于大语言模型跨语言表征的新发现。研究显示,模型在不同语言间的特征相似性(通过交并比IoU衡量)会随文本样本长度增加而上升。通过对比英法双语段落的首句与末句,团队发现末句的IoU显著高于首句,且无关文本的首句间重叠度高于末句。这表明模型在较长上下文中能构建更丰富的跨语言理解,而非由虚假激活主导。相关发现支持了模型随上下文积累深化语义表征的观点。
推荐理由:揭示语言模型随上下文深化理解的机制,助力可解释性研究进展。
Thinking Machines Lab 发布博客,指出 LLM 推理不确定性的真正原因不是并发加浮点数,而是内核缺乏 batch invariance,服务器负载导致的 batch size 变化会改变单个请求的输出。
推荐理由:作者指出 LLM 推理不确定性的真因是 batch size 变化而非并发浮点问题,并给出可复现内核方案。
OpenAI 发布新研究,解释大语言模型为何产生幻觉。研究指出,改进评测方式可以提升 AI 的可靠性、诚实性和安全性。
推荐理由:OpenAI 解释大语言模型产生幻觉的原因,并指出改进评测方式可以提升可靠性与诚实度。
Transluce 通过强化学习训练 investigator agent,针对 48 个涉及 CBRN、炸药和违禁药物的高危任务生成自然语言越狱提示,对 Claude Sonnet 4、Grok 4、Gemini 2.5 Pro、GPT-5-main 的 pass@1 成功率分别达 92%、98%、90% 和 78%。
推荐理由:原文给出完整的 RL 训练方法和跨模型迁移数据,并开源代码与提示词,读者可评估低成本自动红队的可行性。
PXDesign 提供了一种快速、模块化且准确的蛋白质结合剂从头设计方案。该方法通过优化算法架构,在保持高精度的同时显著提升计算速度,支持灵活的功能组件组合,可针对不同蛋白质靶点高效生成高亲和力结合剂,为药物开发和合成生物学研究提供了高效的计算设计工具。
BAIR 新论文证明,在若干温和近似下 word2vec 的学习问题可化简为无权重最小二乘矩阵分解,梯度流动态有闭式解,最终学到的表示等价于对目标矩阵 M* 做 PCA。
本研究提出了word2vec学习机制的完整定量理论,证明其在实际条件下等价于无加权最小二乘矩阵分解。梯度流动力学具有闭式解,最终词嵌入即为PCA结果。从小初始化开始时,模型通过离散步骤逐次学习正交线性子空间(概念),递增嵌入矩阵的秩。这些潜在特征对应由词共现概率和单字概率等可测量语料统计量决定的矩阵顶部特征向量。
OpenAI 调查了全球超 1000 人对 AI 应如何行事的看法,并将其与自家 Model Spec 进行对比。这项"集体对齐"工作旨在让 AI 默认行为更好地反映多元的人类价值观与视角。
OpenAI 与 Anthropic 发布了一项此前未有的联合安全评估结果,两家实验室互相测试对方模型在失齐、指令遵循、幻觉、越狱等方面的表现,指出跨实验室协作的进展与挑战。
推荐理由:两大实验室互相评测对方模型的失齐、越狱等安全问题,正文透露了跨实验室协作的具体评估维度。
Goodfire Research 发布论文《Adversarial Examples Are Not Bugs, They Are Superposition》(arXiv:2508.17456),提出机制可解释性中的叠加(superposition)可能是对抗样本的主要成因。