2026新文：不用SVD也能算伪逆？这篇论文给出3种直接法
这篇论文很“硬核工程味”：不玩花活，专门盯着伪逆计算里最烦的三件事——稠密、病态、太慢。它提出的三条直接路线，都在试图把 SVD 这位“老大哥”请下场，给大规模稀疏回归留出一条更省内存的路。
大模型与智能体
共 812 篇
反事实测试100%忠实：EG-VAR把幻觉拦在内核外
LLM会调用工具，不代表它就会老老实实认账。EG-VAR最狠的地方，不是“又接了个工具”，而是把证据、形式化、内核检查绑死，能证才给VERIFIED，证不出来就ABSTAIN。TableBench、反事实压力测试、端到端形式化误差，这套结果够硬。
反事实压力下仍100%忠实，LLM事实核验新范式
这篇论文最狠的地方，不是“答对了”，而是把“为什么答对”也一起钉死了。工具调用、逐源提升、Lean 4 内核三件套一上，LLM 的经验性胡说就不再是“看起来像对”，而是必须拿出可回放的证明。
TOMAP让Lean证明更省算力：分解环节一优化，语义忠实度涨19%
这篇论文盯住了自动形式化里最容易“翻车”的一环：证明分解。不是一味堆算力，而是把测试时预算花在最值钱的地方，结果更准、也更省。
MuCLS新方法：一条X射线谱反推电子束参数
一条X射线光谱，居然能把电子束的能量、发散和发射度“反推出”来。更狠的是，这套方法不是靠玄学拟合，而是先把物理模型压到足够快，再交给遗传算法慢慢筛。
Apple Research最新论文：主动助手评测为何离不开FSM
Apple Research这篇不是在比谁更会“聊天”，而是在逼智能体面对真实手机交互的硬骨头：用户会不会接受、何时插手、能不能跨应用干活。PARE把这件事做成了可评测、可复现的框架，结果也挺扎心：最强模型成功率也只有四成多。
16智能体成本降7.63倍：AAFLOW+的零拷贝KV编排
这篇论文很对工程胃口：它不再把 KV cache 当成“模型内部小零件”，而是直接提升为分布式系统对象。结果也很硬，长上下文、多智能体、分支推理这些最烧钱的场景，TTFT、内存和吞吐都被明显改写。
CVPR 2026新范式：连续蒸馏SE2D，外部数据也会“教坏”学生？
这篇论文把“蒸馏”从一次性教学，改成了连续换老师的长期训练。更有意思的是，外部数据既能帮学生学到新东西，也可能顺手把旧知识冲掉，SE2D就是专门来收拾这个烂摊子的。
圆偏振RABBITT新发现：非偶极背景会翻盘手性信号
阿秒手性测量看着像“纯手性信号”，其实光子动量也会来搅局。本文最实用的地方在于：不仅指出了问题，还给出外消旋混合物标定背景的分离办法，属于能直接指导实验解释的那种工作。
南工大新作：超拉伸通道让胶束链“逃逸”
这篇工作最有意思的地方，不是又讲了一遍胶束链交换，而是把“链怎么逃出去”这件事画成了二维自由能地形图。结果很直接：势垒随疏水段长度和溶剂选择性线性增长，过渡态还不是单点，而是一条近简并通道。
COSMOS-Web新发现：星系聚类不只看暗晕质量
这篇论文最有意思的地方，不是又验证了“星系会聚在一起”，而是把“只看暗晕质量够不够”这个老问题直接拎出来审问了一遍。结果很不客气：不够，真不够。
Lund大学新作：碳硫钾铜让老少星族分开了
这篇论文最有意思的地方，不是又多测了几种元素，而是它直接告诉读者： 铁并不是唯一靠谱的参照系 。当氧被重新拉回“主参考位”，很多原本藏在 [X/Fe] 里的星族差异，终于开始冒头了。
