Gurobi新招：三人扑克从24小时压到1.16秒
多人不完全信息博弈最烦的地方，不是“有没有解”，而是“解明明在那儿，电脑却算到怀疑人生”。这篇论文给松弛变量和乘子变量补上有限界，直接把求解器的搜索空间勒紧，三人库恩扑克完整版本从24小时以上压到1.16秒，属于很实在的加速。
标签：AI科研
共 509 篇
Python 3命令行版CABS-flex 3来了：一条命令搞定蛋白柔性、肽建模和对接
这篇工作不是在“发明新蛋白”，而是在把原本分散的 CABS-flex 与 CABS-dock 工具链，收拢成一个更顺手的 Python 3 命令行平台。蛋白柔性、肽建模、蛋白-肽对接三件事一锅端，外加 cg2all 深度学习重建，挺适合做批量流程和可复现分析。
Maker-Breaker博弈新解：树上破坏数可精确计算
这篇论文把“跑者”和“阻挠者”的图上博弈讲得很清楚，树、单环图、无桥三次图、完全二分图、Sierpinski 图都被逐个拿来算破坏数。别看是纯数学，套路其实很像在图里玩“堵路游戏”，挺适合喜欢组合博弈和图论的读者。
13面镜子不再漏光：WST高吞吐方案曝光
这篇论文不搞花活，专治“望远镜越大、光越漏”的老毛病。WST把13面镜子、5片透镜的镀膜方案拆开算账，思路很工程、也很硬核，适合想看真实光学系统如何把吞吐率一点点抠出来的读者。
LHME首次用于系外行星测重：7系统72模型对决
这篇论文把“选模型”从拍脑袋拉回到贝叶斯证据的正轨。更妙的是，它直接拿7个系外行星系统开刀，看看哪种偏心率、噪声和趋势模型更靠谱。
顶会新作：对偶幺正再升级，量子电路全时空可解
这篇论文把“只在一小块地方能算”的对偶幺正层级，补成了“整个时空都能算”的全对偶幺正层级。更妙的是，它不光讲理论，还真的给出了非平凡构造，属于那种看完会想说一句“这门子数学，真会整活”。
15张TEM图也能训出SOTA扩散模型？imec新作把合成图做真了
这篇工作把“数据不够”这件事，硬生生掰成了“先切块、再渐进长大、最后整图开画”的扩散生成流程。更有意思的是，它不只会造图，还顺手把中间特征拿去做分割，属于一套模型干两份活。😀
未来Band 6能捞多少星系？SKA分子气体预测来了
这篇论文不是在“造新模型”，而是在给SKA画一张高红移分子气体的观测路线图。它最有意思的地方在于： 用低J分子谱线去补上JWST和ALMA之间那块冷气体拼图 。
太阳中山大学提出新算法：不用训练也能补全缺失uv频率
这篇论文盯住了射电干涉成像里最烦人的“缺频率”问题：不靠训练、不搞复杂先验，直接用非负性约束把缺失信息一点点补回来。更妙的是，它还拿 CLEAN 做了正面比较，结果看起来相当能打。🤨
3C279多波段全景：激波压缩湍流有多猛？
这篇工作把 3C 279 在 2017 年 EHT 观测窗口里的“全身检查”做得很完整：从射电、光学到伽马射线，喷流一边变亮一边“闹脾气”。看完会发现，喷流高能辐射到底从哪儿来，真不是一句“激波来了”就能糊弄过去的。
Lehigh大学新论文：零模个数竟由磁通决定
这篇论文把“磁场”玩出了非厄米版本：不是普通的朗道能级，而是零能模、左右本征态、指标定理一起上场。更妙的是，它不只停留在连续理论，还在石墨烯蜂窝晶格上做了数值锚定，硬核但不空谈。
伯克利最新研究：三维奇扩散竟然成立
这篇论文最有意思的地方，是它把“三维里奇扩散不可能”这句老结论，硬生生掰成了“线性不行，非线性可以”。更妙的是，作者还给出了一个能从微观三体非互易相互作用长出来的最小模型，理论味很足，脑洞也很正。
