HKUST与KTH新方法：有向图上量化ADMM更快收敛
这篇论文的妙处在于，它没有把“快”“省”“去中心化”当成只能三选一的妥协题，而是把它们硬生生拼到了一起。更关键的是，它还把战场从无向图推进到有向图，算是把分布式优化里最烦人的现实约束正面接住了。
标签：人工智能
共 749 篇
GPT-5.6证完经典猜想：Chernoff密度竟然强凸
一篇把老猜想“硬证明”出来的短文，题目不花哨，手艺却很硬。更有意思的是，整套证明居然由 GPT-5.6 Sol 生成，再由作者人工校对和润色，算是数学论文里很少见的 AI 参与样本。
零面积极限来了：二维杨-米尔斯竟收敛到ABG测度
这篇论文最狠的地方，不是又算了一遍二维 Yang–Mills，而是把零面积极限推进到了“随机连接本体”这一层。以前很多结果停在 holonomy 上打转，这次直接把极限对象钉成了 Morse 规范下的分布连接，几何、概率、粗糙路径三条线同时收口。
角落、磨光、共形修正：这篇论文把E≥
这篇论文把“带角落的初始数据”这类麻烦对象，硬生生接回了时空正质量定理的主线。它的关键不是喊口号，而是先把DEC抬成严格版，再磨光、再修正，最后把不等式稳稳按回去。
30天监控实测：PSI小批次几乎天天报警
漂移检测最怕的不是“检不出来”，而是“天天乱报”。这篇论文专盯连续监控里的误报率，直接把工业里最烦人的告警疲劳摊开来，PSI、小样本、Bonferroni 的代价都很实在。
Stanford新方法：无标注学3D医学影像，少样本分割强到离谱
3D医学影像最缺的不是模型，而是能长期喂饱模型的标注。MASS偏偏反着来：不用专家画框，靠自动掩码就把自监督做成了“临床味儿”很足的预训练，少样本分割和冻结编码器分类都能打。
里德伯原子不怕电场乱了：三轴补偿只差这一步
这篇论文最有意思的地方，不是“又测了一次里德伯光谱”，而是把 三维电场控制 和 三光子斯塔克光谱 绑在了一起。八电极玻璃池不只是好看，还是个能把杂散场压下去、把电场方向掰正的实战平台。
变形量子化卡在哪？这篇论文给出两个障碍类
这篇论文不讲花里胡哨的模型，而是老老实实盯住一个很硬的数学问题：向量丛做变形量子化时，延拓到底卡在哪。它给出的不是“能不能试试”的模糊答案，而是两个可计算的障碍类定理，适合喜欢看理论骨架的人。
24项检查清单出手：智能体自检从5/10升到10/10
这篇论文不玩虚的，直接拿白盒代码审计任务开刀：同一任务、同一检查项，只改上下文，看看智能体到底是“真会做”还是“靠短记忆硬撑”。结果很扎心，长上下文确实更容易掉链子，但不是所有任务都这样。
北大联手阿里：CODA让边缘视频生成提速1.8倍
边缘视频生成最烦的，不是模型不够大，而是缓存一多就把显存和PCIe一起拖下水。CODA的思路很硬：把算子拆开、把等待藏起来，系统味很足，值得细看。
nuScenes上实测：红灯竟比大车更“有戏”
自动驾驶模型最怕的不是“看不见”，而是“看见了却不知道到底信了谁”。这篇工作直接把单个目标从画面里抹掉，再看轨迹怎么变，黑盒里谁在捣鼓方向盘，终于有机会被点名。
RSS 2026新诊断：世界模型其实在“想当然”？
世界模型最怕的不是预测错一点，而是 看起来很会想，实际上只会顺着状态续写 。这篇论文直接把“长时程想象失败”拆成运动学和动力学两层，诊断味道很足，尤其适合做机器人、自动驾驶和具身智能的人看。
