跳到主要内容

日报

AI 与科学前沿 · 2026-10-14

仅汇集当天已送达公开发布边界的内容。

已封刊 · 第 1 版 · 已隐藏 58 篇撤回或替代文章

Science

大模型写Lean证明,353个Erdős开放问题自主解出9个,单题数百美元

AlphaProof Nexus把大模型生成与Lean编译器逐步校验接成智能体循环,在353个开放Erdős问题上自主解出9个,其中两题已悬置56年,单题推理成本约数百美元。

arXiv

随机排列的通用长度降到平方量级:去掉一个对数因子,Alon的较弱问题随之解决

均匀随机排列只要长度达到平方量级,就能以高概率包含所有同长模式;新证明去掉了此前界中多出的一个对数因子,并给出失败概率不超过某个绝对常数负幂的估计。

arXiv

前震数量可能被低估:把去丛集方向反过来,南加州小震前震多出三到四成

把地震目录的去丛集度量反过来用——用后发生的主震震级而不是先发生事件的震级来定相关范围——在合成目录和南加州目录中都能找回更多小震前震,说明前震数量不只由地震物理决定,也取决于去丛集方法隐含的时间对称性。

arXiv

蒸馏不再只认更强的老师:任务训练出的策略差能跨模型传,规模差几乎传不动

同一条策略差能否迁移取决于目标模型:Qwen3 目标增益为正,Qwen2.5 目标在 Qwen3 参考下几乎为零,换成 Qwen2.5-3B 参考后转为正增益。

arXiv

网格预训练模型直接搬到非结构网格:换掉最外层卷积,圆柱绕流零样本误差低于多数已训练基线

一种与卷积一致的网格原生分词层,让在规则网格上预训练的物理基础模型无需重训即可部署到非结构网格,零样本即可给出可用精度,微调几个轮次后超过现有网格基线。

arXiv

自动微分不再只认坐标数组:几何代数导数写成JAX变换,曲率与旋量优化共用一套算子

自动微分第一次可以不做坐标基假设:把几何代数的多重向量导数写成JAX变换后,同一套算子直接算出曲率、散度和旋量群上的更新。

arXiv

喷注冒充强子τ背景有了新估法:多维重加权把系统不确定度最多压低七成

CMS 用提升决策树从观测数据直接学出逐对象的多维重加权因子,替代低维参数化的假因子方法,在 62.4 反飞靶的质子-质子碰撞数据上把喷注被误判为强子τ衰变的系统不确定度最多压低 70%。

Amazon Science homepage

混合架构不再从零预训练:复用Transformer权重,预训练成本降99%以上

亚马逊云科技提出priming方法,用预训练Transformer权重初始化混合状态空间模型,把混合架构的预训练成本降低99%以上,并据此在受控条件下比较三类状态空间层。

arXiv

同一批注意力头,换个任务就换角色:改一处内部激活,模型读的事实和影响下游的方式都变了

在五个开放权重模型里,图事实不变、只换任务指令,同一批注意力头对下游的影响模式就重新分布;在Gemma-2-9B和Qwen3-14B中,改动一处早期内部激活向量就能让模型改读另一条事实,而书面指令和权重都不动。

arXiv

机器人世界动作模型瘦身到0.88B:LIBERO成功率95.5%,每块动作57毫秒

SmolWAM把2B参数的Cosmos Policy视频世界动作模型压到0.88B,在LIBERO的400个回合里成功率95.5%,每16动作块57毫秒、2.3 TFLOP、2.4 GiB显存,比教师快11倍,同时仍能预测场景运动。

arXiv

质谱结构划分随库变大而漂移:227,690 个分子里,一个连通块吞掉 95.5%,留出集只剩 4.5%

质谱结构预测常用的 MCES-10 结构不相交划分在公共库从 29,000 个分子扩到 227,690 个分子后发生渗流,单个连通块占住 95.5% 的库,可用的留出集被压到 4.5%,且留下的化合物系统性偏重。

arXiv

把博弈挂到Petri网的位置上:新发现的钓鱼场景只用一个入口值就能并入旧攻击战役,不必重解

一种把局部博弈挂在着色Petri网位置上的建模方式,让博弈结果变成带类型的令牌去开启、同步或阻断后续博弈;在入侵战役算例中,新发现的钓鱼场景只靠旧网的一个入口值就并入原战役,结果与整体重解一致。

arXiv

创意评测其实在测长尾:把基准里最不常见的样本挑出来,模型排名更贴近人类偏好

把创意基准按参考语料中的罕见程度排序后,尾部子集给出的模型排名比头部子集更接近 LM Arena 创意写作的人类偏好,创意评测因此可以理解为长尾上的任务表现。

arXiv

同一份证据被反复转述,模型不再越听越信:LQET把八轮转述后的漂移压到0.09

在带来源标注的二元证据基准上,LQET让模型按证据来源而非报告条数更新信念,新证据更新RMSE相对仅任务训练下降41%至44%,八轮转述后的对数几率漂移下降89%至91%。

arXiv

老Fortran大气物理代码搬上GPU:四个大模型各写一版JAX,最快一版比串行Fortran快约357倍

四个大模型把Kessler暖雨微物理的Fortran代码改写成GPU上的JAX,输出与Fortran参考几乎一致,但GPU性能相差很大,最快一版在缓存GPU执行下比串行Fortran快约357倍。

arXiv

钙钛矿电池模型评测换了分法:随机切分让查表法追平最优,换到未见机构后神经模型反超树模型

钙钛矿太阳能电池的机器学习评测改用按来源分组的切分后,一个不做学习的查表法在随机切分上追平已发表最优值,而在未见机构与后续年份上神经模型反超树模型。

bioRxiv

阿尔茨海默病研究多了一种人源巨噬细胞:19天分化,TREM2信号强于常用小胶质细胞

一种19天、只用M-CSF成熟的人iPSC来源巨噬细胞(iMac)在淀粉样蛋白摄取和TREM2下游信号上强于常用的iPSC来源小胶质细胞,为研究阿尔茨海默病相关的吞噬清除提供了更易做基因操作的人源细胞。

arXiv

蛋白-配体打分不再只问“传多少”:注意力改成先编码再解码,对接成功率到88%

TopoLIA把注意力从“传多少信息”扩展到“信息如何按目标变换”,在蛋白-配体打分与对接基准上超过同架构的标准注意力版本,CASF-2013对接成功率达88%。

arXiv

降水生成不再重训天气大模型:一个扩散生成器挂到冻结骨干上,第7天Brier分数从0.245降到0.218

一个单独训练的扩散生成器把冻结天气模型输出的非降水大气状态映射为与卫星-雨量计观测对齐的24小时降水,在Pangu-Weather、GraphCast和HRES上无需按骨干重训即可改善日降水量与事件检测。

arXiv

反事实预测不再先估因果图:图神经网络直接读观测样本,10节点训练可外推到30节点

反事实预测可以跳过因果图估计这一步:CFGNP 直接把观测样本映射到反事实分布,在合成与图像基准上预测表现强于既有方法,并且只在 10 节点图上训练的模型无需重训就能用在最多 30 节点的图上。

arXiv

高能物理探测器数据压成离散词元:径迹与顶簇在约4–11倍压缩下守住1%喷注分辨率

高能物理探测器数据可以被压成离散词元,径迹与顶簇词元化在约4–11倍压缩下把喷注分辨率守在1%以内,量能器单元仍略高于该目标。

arXiv

模拟推断不再只训后验网络:把摘要统计量当主角,训练量随观测维度只按多项式增长

模拟推断把低维摘要统计量与摊销后验估计器联合训练,并给出非渐近保证:在指数族与光滑模型两类设定下,达到目标精度所需的训练样本量只随观测维度多项式增长,而不是经典非参数条件分布估计中的指数增长。

arXiv

跨区AI数据中心不再只看电价:光路可重配后,实时购电成本降12.50%,本地绿电多消纳2.724个百分点

在五个AI数据中心、完成工作量与网络资源相同的对照下,把光路交换纳入计算—电力—网络联合调度,实时购电成本比固定光路低12.50%,本地可再生能源利用率高2.724个百分点。

arXiv

COSMOS 天区一次光谱普查:F444W 无缝光谱给出 12275 个发射线星系,红移覆盖 0 到 9

COSMOS-3D 用 JWST/NIRCam 的 F444W 无缝光谱在 0.33 平方度上普查出 12275 个红移 0 到 9 的发射线星系,并公开星表。

arXiv

同一套比特流扩散协议连跑图像、语音与蛋白:语音文本联合生成词错率3.5%,蛋白折叠级一致率两处口径不一

连续比特流扩散把图像、语音和蛋白质都写成二进制码,用同一套训练与采样协议在语音—文本上做到联合生成词错率3.5%,蛋白质生成序列—结构对的折叠级一致率在正文与结论中分别报为75%和69%。

arXiv

超声心动图诊断不再只看整段视频:每个测量值配一个专属令牌,平均AUC从0.659升到0.748

超声心动图诊断模型改为先为每项定量测量学一个专属令牌,再按诊断挑选相关令牌;在MIMIC-IV-Echo上平均AUC从0.659升到0.748,内部队列从0.730升到0.778。

arXiv

概率测度也能学稀疏字典:先做一次最优传输嵌入,训练就变成普通自编码器

把概率测度先嵌入希尔伯特空间再学稀疏字典,训练从反复求解 Wasserstein 距离变成一次自编码器优化,在相同时间预算下重建误差比 Wasserstein 字典学习低约两到三个数量级。

arXiv

人形机器人不再只用手:穿上接触贴片采集人体示范,全身推扫抱都能学

PanTact 让 Unitree G1 人形机器人从无机器人的穿戴式人体示范中学会全身灵巧操作,用前臂、膝盖等任意身体表面完成抱持、推扫与负载分担。

arXiv

Laughlin 能隙下界被抬高约 5 倍:证书不再手挑,改由半定规划搜索

同一套 Fock 空间不等式论证,在把辅助算子交给半定规划搜索后,把 Laughlin 态上方能隙的下界常数从原来的值抬高到约 5 倍,且新证书用精确有理算术逐项验证。

arXiv

BARseq不再需要人工标注:用仪器光学模型造训练图,每个细胞多回收约4条转录本

PhySeqNet用仪器匹配的光学模型加真实空帧噪声生成半合成图像来训练U-Net检测器,无需人工标注即可在BARseq组织图像上定位荧光rolony,配合条形码感知非极大值抑制后每个细胞回收51条计数,高于BarDensr的47条。

arXiv

星际分子碰撞速率不再只靠量子计算:神经网络把18个体系补到500 K,还能猜没算过的CS和CF+

前馈神经网络在24个线性分子与仲氢碰撞的态-态速率系数上训练后,把已有体系的可用范围外推到500 K和696 cm-1,并对完全没进训练集的CS和CF+给出因子3以内的首次估计。

medRxiv

10微升不染色全血,12分钟成像:三分类模型把脓毒症筛出,100%灵敏度对应85.3%特异度

Remoscope用10微升未染色全血在约12分钟内拍下两万张图像,三分类模型在29名危重成人中把脓毒症与感染性危重、健康人分开,调向排除策略时灵敏度100%、特异度85.3%。

arXiv

标注前先聊一段经历:微叙事让同一批帖子被读得更分歧,而不是更一致

在标注开始前用情景小故事和一段轴引导对话唤起标注者的亲身经历,并把它合成第一人称微叙事交还本人,104名标注者对30条歧义仇恨言论的标注中,身份共鸣与伤害敏感度上升,标签熵升高、标注者间一致性下降。

arXiv

时间序列基础模型不必每层都跑:中等稀疏下A100延迟降11%到13%,但各数据集有差异

两个预训练时间序列基础模型在推理时跳过整块Transformer,在1088个留出窗口上跨数据集平均预测质量变化很小,中等稀疏下A100单条延迟中位数分别降11.2%和13.4%。

神经网络不再靠人搭学习机制:随机连接按简单规则自组织,图像分类追平反向传播网络

MIT 团队让随机连接的神经网络只靠“同时激活就加强连接”这类简单规则自组织出学习机制,在图像分类上追平按反向传播设计的网络。

npj Drug Discovery.

药物发现不再只做单点预测:智能体把设计、合成与实验串成闭环,自主性被分成六级

药物发现中的AI正从单点预测工具转向能自主拆解目标、调用工具并依据实验反馈重规划的智能体,一项综述用六级自主性谱系给这些系统定级,并指出当前最先进系统集中在第2至第4级。

arXiv

序列模型不再只记一个隐状态:按语义相似度选历史延迟,IMDB准确率95.35%

一种把序列建模写成非线性时滞系统的框架,用当前输入与历史输入的语义相似度动态决定回看多远,在IMDB情感分类上以2.6M参数取得95.35%准确率,高于同表LSTM的89.90%与Mamba的83.00%。

arXiv

剪枝校准不再读固定文本:改用模型自己生成的解码激活,Qwen3-32B写作分从2.99升到5.31

LLM剪枝的校准激活改从稠密模型自回归解码步收集并丢弃预填充,使剪枝目标对齐生成时的激活分布,在WritingBench与ClassEval上稳定优于固定文本校准,并在A100上取得最高1.48倍端到端解码加速。

arXiv

路口不再靠猜:先预演一段未来路线再选转向,波尔图距离分布JSD降到1.01

在波尔图、北京和旧金山的路网轨迹生成中,一种先预演未来一小段路线再选择当前路口转向的模型,在波尔图把距离分布JSD降到1.01,低于HOSER的1.57。

arXiv

通信信号顺手当雷达:多站太赫兹回波认出物体形状,遮挡四分之三仍可分类

多站太赫兹链路把普通通信信号被物体散射后的回波当作观测,在训练中从未见过的朝向下识别物体形状,发射机增多带来真实增益,遮挡四分之三表面时仍保持较高准确率。

Scientific Reports

烧伤面积估算不再依赖专用设备:只用正背面二值掩膜,合成数据上误差低于直接面积比

烧伤总面积估算改用正背面全身与烧伤区二值掩膜直接回归,在含5000个人体模型、32万张渲染视图的合成数据上,误差低于直接像素面积比基线。

微软把推理芯片扩到多吉瓦:Maia 300 每兆瓦多出四成 token,2027 年投产

微软计划从 2027 年起把 Azure Maia 系列扩到多吉瓦部署,并让 Maia 成为其产品与服务的主要推理系统;第三代 Maia 300 预计每兆瓦比主流 GPU 系统多出 40% 的 token。

arXiv

PFAS替代不再只给候选清单:三级智能体把实验室可购材料与可制造性接进同一条闭环

面向PFAS替代,一套三级多智能体流程把需求分析、候选生成与可制造性评估串成闭环,在固定骨干模型下总分从2.99升到5.47。

Scientific Reports

入侵检测不再只靠统计相关:因果图加熵压缩,78维流量压到18维,准确率97.4%

一个把因果图、熵压缩、注意力融合、对抗校准和联邦聚合串成一条流水线的入侵检测框架,在CICIDS2017上把检测准确率做到97.4%,同时把输入特征从78维压到18维。

NVIDIA Blog

RTX Spark 周五开卖:74B 智能体模型压进 24GB 显存,本地也能跑

NVIDIA 宣布 RTX Spark 笔记本 10 月 16 日上市,配套的 Nemotron 3.5 Bolt 74B 以 2 比特量化装进 24GB 显存,让本地智能体在单机上运行。

Cloudflare

智能体浏览器不再每轮重开:标签页、Cookie 与登录态跨轮保留,休眠后仍可续用

Cloudflare 的 Agents SDK 新增 browserTool,让智能体拿到一个可反复回到的浏览器,标签页、Cookie 和登录会话在轮次之间保留,浏览器在 Durable Object 休眠期间也保持存活。

Scientific Reports

分布式大模型偏见不再只看单点:节点间交换三维偏见状态,试点把节点间方差压低约87%

分布式大模型把偏见当作随通信演化的网络状态来管:节点间交换三维偏见状态并做共识对齐,在轻量Transformer试点中比FedAvg把综合偏见降低约48.5%、节点间偏见状态方差降低约87.4%。

langchain.com

智能体轨迹不再靠标签检索:用一句话描述行为,决策模型逐条读轨迹并流式返回命中结果

LangSmith 上线 AI Search,用自然语言描述行为即可检索智能体轨迹,例如“用户是否受挫”或“是否泄露了 PII”,不再依赖预先配置的评估器或人工翻查。

vercel-labs/skills

一个命令装遍75种编码代理:skills把技能包变成可移植的提示词

vercel-labs发布skills命令行工具,用同一条命令把技能包安装到Claude Code、Codex、Cursor等75种以上编码代理,并可直接生成提示词。