50年经典难题落幕：殆Kähler收缩孤子必然是Kähler
用最“硬”的几何分析，把一个跨度几十年的猜想型问题彻底焊死：任意偶数维完备的殆Kähler梯度收缩Ricci孤子，全是Kähler的。证明不挑维度、不分紧致与否，还顺手把四维完整分类拿下——理论几何爱好者的年度必读。
标签：人工智能
共 671 篇
UIUC最新研究：12款主流AI编程助手被一锅端？隐藏后门能直接远程控制你的电脑！
AI编程助手不仅仅是代码工具。最新研究揭示，Claude Code、Codex等产品可能被恶意指令攻破，黑客可远程控制你的电脑。
斯坦福联手KRAFTON：模型权重不是全部，让AI一边练脑一边换装备，最高涨24个点
斯坦福Chelsea Finn团队联合KRAFTON提出WHALE，把智能体优化从"单练模型"升级为"模型+执行框架交替进化"，三个任务上最多提升24.38个百分点。对做智能体训练和Agent产品落地的朋友，这篇值得细读。
莱布尼茨大学最新证明：有能隙物态里也存在Haag对偶性死角
把量子体系想象成一座被切成东西两半的“纠缠城市”，东城 A 区与西城 B 区分别住着一堆相互纠缠的粒子。
最新理论：非线性约束也Nesterov加速，首个乘子框架O(k⁻²)
众所周知，用梯度下降解无约束优化，Nesterov加速能把收敛率做到O(k⁻²)。但一旦加上非线性不等式约束，惯性外推就不灵了。这篇论文用巧妙的切向外推和投影乘子设计，首次在乘子框架下同时打通了连续与离散时间的O(k⁻²)收敛，理论控狂喜。
三阶系统实测：时空变换让控制抖动量直降99%，安全性不缩水
这篇论文把CBF/HOCBF/ECBF的老底掀了——它们本质是"零记忆"的瞬时高通滤波器，噪声一上来控制器就疯狂抖动甚至直接失能。作者提出的时空变换用"有记忆的卷积内核"替掉"瞬时微分"，理论和实验双杀：控制总变差降99%，安全率照样100%。做机器人落地的朋友值得重点读。
KAIST最新：AI整图重绘也能精准定位篡改，IoU达0.92
当扩散模型把整张图都“重画”一遍，你还能看出哪里被改过吗？现有主动防篡改定位方法在“全再生”场景下集体崩盘，AUC直接掉到0.5左右。KAIST这篇APT论文第一个系统研究该问题，用潜空间锚点对齐扰动把FR场景定位IoU做到0.92，碾压最强基线WAM（0.84），且能泛化到未知篡改类型。想搞懂AI取证下一个赛点，这篇值得读。
东北大学开源RegionCache：多轮图像编辑最高提速2.55倍
东北大学提出RegionCache，专治多轮图像编辑的重复计算病：连续编辑轮次中平均81%-92%区域根本不变，却每次都把整张图重新生成一遍。RegionCache用跨注意力把“没变的语义”映射到“没变的区域”，直接复用缓存隐藏状态，只重算真正被改的地方，在PixArt-α上拿到1.43-2.55倍端到端加速，画质基本不掉。有代码，值得跑一跑。
理论计算机最新斩获：一次搞定两个十年开放问题
把软直方图和扩散滤波硬凑成一对，居然在高斯+脉冲混合噪声上打出了漂亮的组合拳。方法推导干净利落，没有堆砌花活，适合想从变分视角理解鲁棒去噪底层逻辑的读者花十分钟读一读。
素数分布有"克隆体"？随机曲面上测地线计数方差逼近X log X
素数在算术级数中的分布，居然在随机双曲曲面的闭测地线身上"投胎转世"了。这篇论文把几何、拓扑与数论串成一条线，还顺手给出了从高斯到泊松的相变证明，纯数学爱好者千万别错过。
矩阵版丢番图难题：Jordan积一招破解，无穷四元组现身
数字版本的丢番图难题已经让数学家忙了几百年，现在有人把战场搬进了矩阵世界——乘法不再交换，平方结构陡变复杂，但一招Jordan积硬是把秩序找了回来。
拦截弹怎么分？数学证明：均匀分配完胜随机，效率可差近5倍
多枚拦截弹打多个来袭目标，究竟怎么分配才最优？这篇论文用严格的数学证明给出了答案：均匀分配不仅优于随机分配，而且就是最优策略。看似简单的结论，背后藏着几十年的悬而未决，值得一看。
