Gurobi新招：三人扑克从24小时压到1.16秒
多人不完全信息博弈最烦的地方，不是“有没有解”，而是“解明明在那儿，电脑却算到怀疑人生”。这篇论文给松弛变量和乘子变量补上有限界，直接把求解器的搜索空间勒紧，三人库恩扑克完整版本从24小时以上压到1.16秒，属于很实在的加速。
标签：人工智能
共 701 篇
机器人优化告别单线程：jaxipm吞吐暴涨25倍
这篇论文把“单个问题慢慢解”改成了“很多问题一起解”，而且还是在GPU上批量跑非线性规划。对机器人、轨迹优化和模型预测控制来说，这种吞吐量思路很实用，属于把优化器从老式单机房，直接拎进了GPU流水线。
DFT给出基准，模型势来挑战：静态屏蔽到底差在哪
这篇论文不跟你绕弯子，直接把“质子在金属里到底被屏蔽成啥样”这件事掰开揉碎。最有意思的是，它把接触哈特里能量拎出来当主角：线性响应在近场翻车，DFT和模型势才是真正的考场选手。
Maker-Breaker博弈新解：树上破坏数可精确计算
这篇论文把“跑者”和“阻挠者”的图上博弈讲得很清楚，树、单环图、无桥三次图、完全二分图、Sierpinski 图都被逐个拿来算破坏数。别看是纯数学，套路其实很像在图里玩“堵路游戏”，挺适合喜欢组合博弈和图论的读者。
54位成年人参与，AI素养被重新定义
这篇论文不聊“AI有多酷”，而是把镜头对准真正会被AI影响的人：社区里的成年人。它最有意思的地方在于，教育不是单向灌知识，而是和社区一起把问题问清楚。
CVPR 2026新作DexAC：57维灵巧手动作，别再一锅端压缩了
57维灵巧手动作不是“大一点的控制”这么简单，传统把动作一把压成向量的做法，在这里开始露怯了。本文把动作拆成结构化 token，再配上局部+全局注入和语义分支，思路很清楚，效果也确实能打。
LHME首次用于系外行星测重：7系统72模型对决
这篇论文把“选模型”从拍脑袋拉回到贝叶斯证据的正轨。更妙的是，它直接拿7个系外行星系统开刀，看看哪种偏心率、噪声和趋势模型更靠谱。
不算相似度，靠一致率聚类：CoOL的反常识思路
这篇 CoOL 很有意思：不靠距离、不算相似度，靠多个观察者“商量一致”来做聚类。更妙的是，它还把收敛监控、分布漂移检测一起打包了，属于那种思路怪，但讲得通的论文。
顶会新作：对偶幺正再升级，量子电路全时空可解
这篇论文把“只在一小块地方能算”的对偶幺正层级，补成了“整个时空都能算”的全对偶幺正层级。更妙的是，它不光讲理论，还真的给出了非平凡构造，属于那种看完会想说一句“这门子数学，真会整活”。
黄金代币不再装没成本？FRS给出链上解法
这篇论文最有意思的地方，不是它又造了一个代币标准，而是它试图把“仓储费、保险费、审计费”这些链下现实成本，老老实实写进链上规则里。对 RWA 和 DeFi 来说，这属于那种看起来朴素、其实很难缝好的活。
英特尔CAT-Q来了：512样本把大模型压成1.58位
CAT-Q把“训练到位才能三元化”的老路，改成了更省钱的后训练方案。512个校准样本，就想把1.58位大模型做得又稳又准，思路很硬。
北大+中科院提出PhysRAG：7K视频让生成更守物理
这篇 PhysRAG 很像给视频生成模型塞了个“物理常识外挂”：先把训练数据洗干净，再把物理参考视频检索进来，用可学习查询提炼成真正有用的先验。结果不是只会“看起来像”，而是开始“物理上像”。
