SciValidityBench:评测科研智能体记忆中的“科学使用有效性”
作者提出 SciValidityBench,一个可执行基准工厂,包含 64 个 TaskSpec,覆盖五个有效性模块和六个科学领域,用于检验科研智能体能否判断一条正确记住的证据在当前科学状态下是否可用于决策。
按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。
679 条收录动态,更新于 17:06
全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。
作者提出 SciValidityBench,一个可执行基准工厂,包含 64 个 TaskSpec,覆盖五个有效性模块和六个科学领域,用于检验科研智能体能否判断一条正确记住的证据在当前科学状态下是否可用于决策。
中国科学院脑科学与智能技术卓越创新中心等开发深度学习框架 SpaCon,整合局部空间信息、基因表达特征与全局脑连接模式,支持全脑尺度联合分析。研究结合小鼠脑空间转录组数据与 Allen 小鼠脑连接图谱,发现接受相似皮层输入的丘脑神经元基因表达特征相近,且该关联在谷氨酸能和 GABA 能神经元中较明显。成果在线发表于《科学通报》(Science Bulletin)。
OpenAI 公布三项由 AI 产出的“重大”成果:数学上给出欧氏波动方程局部光滑性的证明,并称由此解决 Kakeya 猜想与 Stein 限制性猜想;计算机科学上给出确定性算法,称 3-SAT 情形可反驳指数时间假设(ETH);物理上给出含规范场与费米子的四维相互作用量子场论的数学严格存在性证明,涉及 QCD 与标准模型统一完成,但物理部分未全文公开。
入选理由OpenAI 公布数学、计算机科学与物理三项 AI 输出,并首次引入外部专家把关,同时其数学顾问小组反对这种指定专家先看结果的做法。
OpenAI 宣布其模型在数学、计算机科学和物理学取得三项成果:证明适用于所有维度的局部光滑猜想并由此解决挂谷猜想与斯坦因限制猜想,给出推翻指数时间假设(ETH)的证明,以及提出量子色动力学和纯杨-米尔斯理论存在性的严格数学证明。
入选理由三项成果分别涉及调和分析、计算复杂性假设和量子场论存在性,数学与算法部分已公开 Lean 形式化证明,物理部分仍在专家审查中。
Cohere 公开了针对 Qwen3.8 异常链接行为的调查轨迹、原始 token 和最小复现脚本,供开发者自行验证。该行为在不使用预填充的特定提示下出现但较罕见,若需复现可用带预填充的提示。Cohere 称开发者在自己机器上运行 Qwen3.8 时发现异常链接,开放权重让团队得以深入研究,并近期以 Apache 2.0 许可发布了多个开放权重模型。
@cohere could you share the full traces? Very important artefact for all to understand this!
撒哈拉以南非洲有超过6亿人生活在无电环境中。为帮助扩大离网太阳能规模,Google Research与Ignite Energy Access合作。通过使用Gemini for Science和我们的Open Buildings数据集,我们构建了一套可复制的蓝图,以扩大电气化覆盖。 阅读更多:https://goo.gle/4Bxq8bG
OpenAI 联合创始人 Greg Brockman 在 X 上宣布三项科学发现,分别位于数学(调和分析)、计算机科学(复杂性理论)和物理(量子场论),并称 AI 开始帮助人类加深对宇宙的理解。推文附有 OpenAI 关于与学术社区共同推进科学理解的页面链接,未在推文中给出具体成果细节。
研究团队提出 SimpleLoRIF,一种可扩展的梯度嵌入方法,用于识别微调数据中梯度与不安全行为对齐的样本;该方法简化了低秩归因方法,并把反向传播限制在最后四个 transformer 块,可对百万量级样本的数据集做嵌入。
新 ARC Prize 2026 - ARC-AGI-3 最高分 71.48%,由 Yi-Chia Chen @ Fields Model 取得 Yi-Chia 从 67% > 71% 跃升,并重新夺回第一名 比赛还剩 1 周
LG AI Research 在 ICML 2026 发表 LOAM,让大语言模型根据任务目标、机器人结构和变量含义生成观察模型与动作模型(均为 Python 函数),在不改动强化学习算法的前提下重构环境与智能体之间的接口。
Sakana AI在东京 symposium 上由 CEO David Ha 公布支撑“AI主权”的三大支柱:用AI智能体开发下一代预训练模型、面向日语与商业场景的事后学习技术 Sakana Namazu、不依赖单一模型实现前沿性能的编排技术 Sakana Fugu。
大语言模型对东南亚语言的理解程度如何?今天上午 10:30,欢迎到 #EMNLP2026 Google 展台(#D5)参加 Shubham Mittal 的现场演示,了解 DEEPSEA——一个用于评估大语言模型在 12 种东南亚语言上表现的基准。阅读论文:https://arxiv.org/pdf/2610.26155v1
Greg Brockman 在 X 上引用 @scottnarmstrong 的评论并摘出其中一句,称 OpenAI 这篇论文在技术层面令人难以置信,可能超出人类能想到的范围,但并未超出人类理解。被引评论认为该构造与凸积分关系更大,其用流体不稳定性让流动自身产生振荡、由 Reynolds 应力形成坍缩光滑涡旋的做法在文献中无先例,并称已有多个 PDE 专家组大致理解该论文,预计很快会有解读。该评论同时批评称这一结果并不令人意外的说法站不住脚。
Since I'm now blocked by bluey from replying to this thread, I answer here by quote tweet the openAI construction has more to do with convex integration than anything else. In convex integration, the oscillations are typically built by hand and the iteration procedure creates wild weak solutions. The non-uniqueness construction of Albritton–Brué–Colombo used an unstable vortex to split solutions apart. The Córdoba–Martínez-Zoroa singularities amplify vorticity across scales by strain. In the openAI paper, a fluid instability is clever made so that the flow itself generates the oscillations: they grow by drawing energy from the background shear. The Reynolds stress then becomes the force that creates the collapsing smooth vortex. Using a physical instability to create the stress in this way has no precedent, and it is what produces a smooth force rather than a merely rough one. Some on these ideas are in the literature (e.g. Leibovich-Stewartson 1983) but the way they are combined is definitely insane and definitely nowhere in the literature previously. I also don't know of anyone suggesting that convex integration would play a role in the creation of a blow-up solution like this. On a technical level, the paper is unbelievable, maybe beyond what a human could have come up with but not beyond human understanding: there are several different groups of pde experts working on understanding it who say that they more or less understand now. I expect digestions soon td;lr: anyone saying that this OAI result is unsurprising is bullshitting sorry!
研究提出词级一元交叉熵(UCE)这一与分词器无关、无需模型的指标,衡量预训练语料与基准目标的词汇对齐程度。在覆盖 10 个零样本基准、4 个预训练语料和 3 种模型规模的受控从头预训练中,UCE 越低(对齐越高)的语料在各基准上零样本准确率越高。文档级筛选训练文档与提示级路由到领域最对齐的 drafter 均带来与机制预测一致的准确率与吞吐提升。
研究者提出 The Trinity 递归自我改进框架,通过 Creator、Explorer、Evolver 三个角色将世界生成与 Harness 演化耦合,并把任务树重组为分层能力树。
研究团队提出 EmbodiedLab 基准,要求机器人在物理模拟实验室中自行选择实验步骤、通过相机读取仪器,以获取关于系统的知识,而非仅改变物体状态。基准覆盖 5 个学科的 30 个实验和 14 种实验装置平台,每个实例重新采样系统参数,评分依据实验过程中记录的读数与任务要求的物理状态,且每个实验均经验证可解。
研究提出 Thinking-in-Bets,一种免训练方法:智能体在读取用户反馈前,先私下记录主要主张、支撑检查与置信度,被质疑时据此保留已验证的工作、只复查不确定部分。
EleutherAI 在 SOAR 项目下发布论文《Tracing Subliminal Learning Through Pretraining》,研究学生模型如何通过语义上无关的训练数据习得教师模型的偏好。
alphaXiv 介绍 NVIDIA 新模型 AW-0,它把生成可复用技能程序、预测未来视频帧和输出机器人动作三项能力放在同一个模型中联合生成,让基于代码的规划指导物理执行。
Hugging Face 联合中关村学院与 TIGEM/那不勒斯费德里科二世大学发布 Carbon-X,这是一个 14.8B 参数、Apache 2.0 开放权重的 DNA 语言模型,可在对话中读取原始 DNA 并用英文作答,用于判断突变良性或致病、标记调控区、物种分类和碱基预测。
字节 Seed 提出 Recycler,把上一 token 的顶层隐藏状态经轻量适配器与当前 token 嵌入相加后送入下一步,在保留离散 token 路径的同时增加一条连续反馈通路,自回归解码开销与标准 Transformer 大致相同。
斯坦福与 UC Berkeley 的研究者提出 TokenGate,用 Token 门控注意力机制让长上下文预填充最高提速 11.3 倍。该工作以预印本形式公开,具体样本与基准细节尚未在可见正文中给出。
《科学》第394卷6822期导读涵盖多项研究:一种无线供电植入装置可将葡萄糖催化转化为葡萄糖酸盐经肾脏排泄,在小鼠实验中恢复正常血糖并去除部分多余热量负荷;"虚拟生物技术公司"多智能体AI框架由首席科学官智能体统一调度。
香港科技大学(广州)、西湖大学与中国科学院深圳先进技术研究院等团队合作提出蛋白质设计模型Pinal,相关研究发表于《自然》。模型以自然语言功能描述为输入,先生成蛋白质三维结构再设计氨基酸序列,训练数据含17亿组蛋白质—文本配对、覆盖约1.35亿条序列,参数规模160亿。
入选理由研究者可据此了解文字到功能蛋白的闭环如何做实验验证,以及模型在定量性质指定上的边界。
DynaFlow 将自由形式的可执行工作流合成纳入主智能体的动作空间,由主智能体自行决定何时协作,并生成按顺序或并行调度子智能体、进行结构化信息交换与验证的任务程序。
研究者提出 ParetoRSI-Gym,让智能体在数学、代码、金融、医学、科学五个领域内自行搜索并筛选数据、训练模型、读取各领域结果并迭代,除数据外其余条件固定,并用各领域的泛化基准区分能力提升与对优化分数的过拟合。
研究团队推出 Continual Learning Exam(CLE)基准,由 50 余位领域专家构建 120 个人工撰写任务,每个任务分五级阶梯共 600 级,覆盖 12 个职业领域的 89 个专业角色,智能体须逐级通过才能解锁下一级。
研究团队提出 h1,一个给模型提供 Lean 4 高效接口、依靠验证器反馈与自我反思持续尝试的简单 harness,不预设分解或搜索结构。
入选理由对做形式化证明的研究者来说,这篇给出了一个反直觉的对照结果:简单智能体循环加高效 Lean 接口,可能比人工设计的分解与搜索流程更划算。
南京大学与上海 AI 实验室的 Changlian Ma、Limin Wang 提出 AutoTavern,由多个专职 LLM 研究智能体通过带类型的共享研究记忆和五道验证门协作,在 20 天内注册约 1 万次实验、交付 23 个 TavernAgent 版本,并构建出复现《炉石传说》酒馆战棋 36.6.3 版本全部 978 个游戏对象的模拟器 TavernGym。
OpenBMB 发布关于长程智能体执行中端云协作的系统研究,用 EC²-Bench 在 128 个可执行任务上评测四种协作策略,同时衡量任务完成度、资源成本与隐私暴露。