浙大最新研究：BII合成加速17.9倍，解决率提升86%，告别传统符号抽象瓶颈？
传统最佳归纳不变量（BII）合成依赖符号抽象和混沌迭代，每步都要计算最佳抽象变换器，收敛慢且容易超时。浙大团队从约束优化角度重新定义了BII问题，提出了一种"提议-精化"框架，两种新算法——线性搜索和逐位贪婪策略。其中逐位贪婪策略把求解器调用次数降到位宽线性级别（32位只需255次调用），实验解决率比符号抽象方法提升86%，加速高达17.9倍！代码已开源，值
大模型与智能体
共 869 篇
5.5倍吞吐量提升！SK海力士用PNM破解LLM混合长度服务难题
当LLM服务的上下文长度从几百到百万不等时，GPU内存成了最大的短板。SK海力士与KAIST联手拿出硬核方案——NELSSA，把长上下文请求“请”到CXL互联的PNM（近内存处理）芯片上执行，GPU只管短请求和FFN。实测解码吞吐量飙涨5.5倍，P99延迟骤降15倍，而且是在真实硬件上跑出来的！这可能是下一代LLM基础设施的关键拼图。
告别显存墙！DualDecoder用预测预取颠覆LLM推理
长上下文LLM推理中，KV缓存的内存占用一直是瓶颈，现有稀疏KV方法引入的GPU辅助状态反而成了新“内存墙”。这篇来自复旦大学与蚂蚁集团的论文找到了一个很巧妙的突破口：相邻解码步骤的KV索引具有强可预测性，从而可以用预测性预取彻底替换掉GPU驻留的辅助状态。方法设计的双token解码流水线、层感知传输调度和乒乓缓冲区都很实在，在128K上下文下吞吐量提升最高
量子计算老问题，斯坦福二维材料新解，效率与噪声双赢
量子换能器是连接超导量子处理器和光量子网络的桥梁。一维纳米梁换能器长期受困于光吸收导致的发热和热噪声，斯坦福团队巧妙利用二维光机械晶体的Γ-势能设计，直接设计出集体机械模式，在无需精确频率匹配的前提下实现鲁棒电机械耦合，低温下内效率达到0.85%，声子占用仅0.41。这项工作是二维换能器从零到一的关键一步，为远距离量子纠缠提供了真正可落地的低噪高效接口。
中科院物理所：La5Ni3O11的低能电子态，一块327块说了算
镍酸盐超导领域又出厘清之作！中科院物理所团队通过密度泛函+奴隶玻色子计算，直接回答了一个核心问题：La5Ni3O11中的插层La2NiO4层到底有没有参与超导？答案出人意料又合理——它从头到尾都是绝缘体，对低能电子结构毫无贡献。这意味着La5Ni3O11的超导完全由La3Ni2O7块主导，为统一理解Ruddlesden-Popper镍酸盐超导提供了简洁的框架
哈工大2026年最新数学成果：非交换Abramovich定理获完整证明！
这篇论文是泛函分析领域的一个重要突破：将Abramovich定理从交换的函数空间推广到非交换的算子空间，同时解决了Veksler关于正等距是否必为保不交映射的长期猜想。对于关注算子代数和非交换几何的研究者，这是2026年最值得深度的理论工作之一。
细胞导航方程BEST：2个信息量预测所有性能
继2026年6月推过脑机接口与生物启发导航之后，这篇来自杜伦大学&AMOLF的论文直接捅破了窗户纸：细胞导航性能居然只取决于双向信息流的“量”和“速度”，跟具体的感官增益、运动强度等微观参数无关！这在信息生物学里属于教科书级的洞察，而且居然在大肠杆菌实验里零参数预验证了。龙哥看完只有一个字——绝！
1B vs 70B? 非凸优化新范式告诉你：零误差不如有误差
为什么神经网络训练到零误差反而更难？这篇论文从统计物理的视角给出了深刻答案——"冻结"的平衡态并非算法友好，而允许训练误差的"宽区域"才是算法可达的关键。它将OGP理论首次延拓到有限温度，证明热噪声不仅能避免过拟合，还能突破计算硬阈值，对理解深度学习的优化困境有重要启示。
雅典大学新作：伪抛物型方程界面显式解出炉
数学物理方程写不出显式解？这篇论文用统一变换方法（UTM）给60岁的Barenblatt伪抛物方程画上了界面问题的句号——全直线、半直线、有限区间通吃，还附赠一套可分离性判据。想给锂电池建模找条数学捷径？这里头全是干货。
东南大学提出DREvo：5个基准测试全面领先，平均提升16.2%
继2025年6月推过智能体基准评测之后，龙哥又盯上了智能体自演化的“可靠性”痛点。东南大学这篇DREvo，把历史经验当作“过期货”来查保质期，还能自动提炼出下一步修改方向，五个基准全超之前方法，平均提升16.2%，自我进化终于不再原地打转！
纯数学解谜：翻转下落两步走，双射就出来了
两个看似不同的排列模式避让家族，居然通过反转互补操作建立起完美双射，而且还和斐波那契数列有染。本文用Lehmer码这把钥匙，给321-avoiding和321-avoiding排列的偏序结构来了个“底朝天”，几何上的“翻转与下落”解释更是让人拍大腿。组合数学爱好者不容错过。
IIT Goa最新研究：非光滑初值下SPDE有限元法收敛阶不降反升？
非光滑初值（间断、无导数）是SPDE数值分析的头号难题。传统理论认为初值多光滑收敛阶就有多高。但IIT Goa这篇2026年的工作，通过巧妙解耦噪声与初值正则性，证明即便初值只有L²正则，也能达到由噪声决定的β阶最优收敛。数学干净利落，数值实验完美吻合。对计算数学和随机PDE数值解感兴趣的朋友，这篇值得细品。
