Gurobi新招：三人扑克从24小时压到1.16秒
多人不完全信息博弈最烦的地方，不是“有没有解”，而是“解明明在那儿，电脑却算到怀疑人生”。这篇论文给松弛变量和乘子变量补上有限界，直接把求解器的搜索空间勒紧，三人库恩扑克完整版本从24小时以上压到1.16秒，属于很实在的加速。
大模型与智能体
共 812 篇
Python 3命令行版CABS-flex 3来了：一条命令搞定蛋白柔性、肽建模和对接
这篇工作不是在“发明新蛋白”，而是在把原本分散的 CABS-flex 与 CABS-dock 工具链，收拢成一个更顺手的 Python 3 命令行平台。蛋白柔性、肽建模、蛋白-肽对接三件事一锅端，外加 cg2all 深度学习重建，挺适合做批量流程和可复现分析。
DFT给出基准，模型势来挑战：静态屏蔽到底差在哪
这篇论文不跟你绕弯子，直接把“质子在金属里到底被屏蔽成啥样”这件事掰开揉碎。最有意思的是，它把接触哈特里能量拎出来当主角：线性响应在近场翻车，DFT和模型势才是真正的考场选手。
Maker-Breaker博弈新解：树上破坏数可精确计算
这篇论文把“跑者”和“阻挠者”的图上博弈讲得很清楚，树、单环图、无桥三次图、完全二分图、Sierpinski 图都被逐个拿来算破坏数。别看是纯数学，套路其实很像在图里玩“堵路游戏”，挺适合喜欢组合博弈和图论的读者。
54位成年人参与，AI素养被重新定义
这篇论文不聊“AI有多酷”，而是把镜头对准真正会被AI影响的人：社区里的成年人。它最有意思的地方在于，教育不是单向灌知识，而是和社区一起把问题问清楚。
13面镜子不再漏光：WST高吞吐方案曝光
这篇论文不搞花活，专治“望远镜越大、光越漏”的老毛病。WST把13面镜子、5片透镜的镀膜方案拆开算账，思路很工程、也很硬核，适合想看真实光学系统如何把吞吐率一点点抠出来的读者。
IWSLT 2026实战：30秒切分稳住长语音
这篇是 IWSLT 2026 指令跟随赛道的实战型提交，重点不在“花活”，而在“怎么把长语音稳稳切开、别让模型开始胡说八道”。固定 30 秒切分拿到最优 HIFS，幻觉还主要是重复插入，结论很接地气。
LHME首次用于系外行星测重：7系统72模型对决
这篇论文把“选模型”从拍脑袋拉回到贝叶斯证据的正轨。更妙的是，它直接拿7个系外行星系统开刀，看看哪种偏心率、噪声和趋势模型更靠谱。
顶会新作：对偶幺正再升级，量子电路全时空可解
这篇论文把“只在一小块地方能算”的对偶幺正层级，补成了“整个时空都能算”的全对偶幺正层级。更妙的是，它不光讲理论，还真的给出了非平凡构造，属于那种看完会想说一句“这门子数学，真会整活”。
一张嵌入管两用：推荐提升1.88%还可解释
这篇论文很实在：不跟你玩虚的，直接把金融网站的点击流拆成“可预测的嵌入”和“人能看懂的意图标签”。更妙的是，LLM 负责起名，小模型负责上生产，速度和效果都没掉链子。
Capital One新招：点击流蒸馏成意图，提升1.88%
金融推荐最难的地方，不是“看见了什么”，而是“没登录时到底想干啥”。这篇论文把点击流拆成可用的向量和可读的意图标签，既能提效果，又能撑解释，挺适合落地。
黄金代币不再装没成本？FRS给出链上解法
这篇论文最有意思的地方，不是它又造了一个代币标准，而是它试图把“仓储费、保险费、审计费”这些链下现实成本，老老实实写进链上规则里。对 RWA 和 DeFi 来说，这属于那种看起来朴素、其实很难缝好的活。
