50年经典难题落幕：殆Kähler收缩孤子必然是Kähler
用最“硬”的几何分析，把一个跨度几十年的猜想型问题彻底焊死：任意偶数维完备的殆Kähler梯度收缩Ricci孤子，全是Kähler的。证明不挑维度、不分紧致与否，还顺手把四维完整分类拿下——理论几何爱好者的年度必读。
标签：人工智能
共 749 篇
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%。做机器人落地的朋友值得重点读。
眼动就能让AI分割医学图像？零样本息肉分割Dice 88.1%，追平全监督
医学图像分割被昂贵标注卡脖子多年，GazeRefine却用医生眼动当提示，在不需要任何训练的前提下把息肉分割做到88.10% Dice，一脚踩到全监督nnU-Net脚后跟。想让AI指哪打哪还不炼丹？这篇值得一读。零样本、免训练、免标注，核心思路极清爽：眼动点一下，冻结特征自动“长出”掩码。适合所有关心医学图像落地成本与交互分割效率的读者。
十余年猜想被推翻！数学家用128阶小环给出最简反例
如果有一个多项式能杀掉有限环里的每一个元素，它构成的集合什么时候才肯乖乖当双边理想？这篇论文把答案磨成了一个漂亮的数字：小于128阶，别想找到反例；128阶，恰好能造出特征4的新反例。没有一行代码，却满是“最小反例”级别的精密推理，值得一起烧脑。
LHCb首次观测Ξc0→pK−衰变：分支比4.5e-5，理论集体沉默
粒子物理最近有点热闹。上一轮LHCb刚在粲强子二体衰变上开了几个新坑，这一回，他们直接把“魔爪”伸向了最稀有的那一类：纯W交换的粲重子卡比博压低衰变。这次被盯上的主角是Ξ c 0 → pK − 。一堆粒子名扑面而来？
首次！"三角"转不回去？湖南学者造出非三角的右预三角范畴
多模态数据香是香，可一到真实世界就缺胳膊少腿。这篇Nature Communications没有堆新算法，而是把“缺数据”这件事系统拆解，做了一个Python包iMML：25+种方法、六类任务场景验证，还把MATLAB/R老代码重写成Python提速近10倍。做多模态研究的朋友，值得先收藏再看。
复旦学者首次证明Fujita自由猜想线性界：1.776n封顶
代数几何老难题Fujita自由猜想，等了近四十年，终于等来了任意维数下的第一个线性界。复旦学者用一把“Hilbert系数+局部差异”的新钥匙，把此前n log log n的超线性上界直接压到1.776n。全文没有实验、没有代码，却是教科书级的硬核推导，喜欢数学的朋友千万别错过。
首次！角功率谱打破PTA“撞脸”难题，天津大学等提出TSIGWs新诊断工具
脉冲星计时阵列发现的纳赫兹引力波背景，其物理起源至今成谜——不同模型能算出几乎一样的能量密度谱，参数简并让贝叶斯分析“选择困难”。本文首次对非高斯情形下二阶张量-标量诱导引力波（TSIGWs）完成角功率谱计算，证明这个新观测维度能有效打破模型和参数简并，是未来PTA数据分析的重要理论储备。
