维也纳大学最新证明：弱稳定Serin解只能是球，任意维度通用
在偏微分方程的世界里，Serrin问题堪称一个"元老级"的传奇。它看起来干净利落：给定区域Ω⊂Rⁿ，能不能找到函数u，让它同时满足四个条件——内部满足-Δu=n且u>0，边界满足u=0且|Du|=1？
最新文章
共 1655 篇
130nm流片实测：电压跌落1.2周期降频，告别亚稳态焦虑！
电源电压像坐过山车，芯片时钟就得跟着遭殃？这篇来自CISPA和IHP的流片实测论文，把一个曾只存在于仿真里的全数字自适应时钟频率校正电路，放到了130nm真实硅片上验证。没有PLL、全数字、1.2个时钟周期内响应，还顺手把亚稳态这个老大难问题用掩蔽锁存器给“治”了。做低功耗芯片、高性能处理器或对电压波动敏感的数字电路设计的朋友，这篇值得认真看一看。
阿里千问&上交大新作：4K图像编辑只要61秒，纹理细节一个不丢
4K分辨率下改图，既要改得准、还要改得快、更要纹理细节不丢失，这可能吗？阿里千问与上海交大给出的答案是：61秒，一个细节都不少。
KAIST&MIT最新：无需训练！0.4秒搞定任意特征上采样，各项SOTA
不用训练、不用改模型，单张图优化不到半秒，就能把基础模型低分辨率特征放大成高分辨率特征，还在分割、深度、概率图上一口气刷到SOTA。想给视觉基础模型做“像素级复活”的同学，这篇绝对是宝藏基线。
阿根廷最新证明：Hamiltonian周期解从等式走向包含时代
数学世界有个定律：越漂亮的问题，越难证明。Hamiltonian系统的周期解问题就是其中之一。阿根廷Río Cuarto国立大学的最新论文，用Clarke对偶这把“牛刀”，把答案从光滑等式世界延伸到非光滑微分包含世界。看不懂公式没关系，来感受一下数学家的浪漫。
告别确定论！"随机体积"背后的数学结构被彻底揭晓
当"体积"不再是定数，而是会随机的量，数学世界会变成什么样？这篇来自伯尔尼大学的硬核论文，用勒维测度和泊松过程，一招统一了"随机赋值"的底层逻辑。理论深度拉满，适合喜欢挑战智力的读者。
TESS+Transformer+VAE：微透镜搜索新范式，持续时长预测R²=0.97
微引力透镜事件几百万颗恒星里才出一个，传统拟合方法扫一遍要跑到天荒地老。本文把Transformer和变分自编码器（VAE）结合起来，在TESS巡天数据上做了一次漂亮的“物理信息深度学习”示范。模型在560万条光变曲线上扫描，确认了92.7%的已知微透镜事件，还能直接预测事件持续时间，R²达到0.97。更难得的是，作者把模型在OGLE、MOA、KMTNet三
哈佛开源2260万古籍插图，AI终于补上历史课
如果让一个从来没出过村的老学究，突然面对整个互联网的图片，他会怎么看世界？大概率是懵的。反过来，如果把全世界最聪明的AI模型扔进一座百年图书馆，让它只看一堆发黄的书页扫描件，它也会懵。
布里斯托大学新证明：陡峭势能下，不靠梯度的RWM反而更稳？
采样理论经常被“全局Lipschitz梯度”困住，只能处理二次势能。这篇论文提出曲率-力剖面假设，证明不依赖梯度的随机游走Metropolis在陡峭势能下依然能保持均匀接受率，还给出一套显式的提议尺度公式，把一大类超二次、指数和非凸势能都纳入了可定量分析的范畴。
李飞飞参与，斯坦福&Google新作：让VLM当裁判，图像压缩更懂人眼
这篇论文把“谁来判断压缩图像好不好”这个老问题翻出了新花样。斯坦福和谷歌团队发现，Gemini 2.5-Flash这类通用视觉语言模型，竟然能零样本复现人眼的相似度判断，干脆把它请来当裁判，用偏好优化把扩散自编码器训得更懂人眼。结果在多个基准和上万次用户评测里直接干到第一梯队。想看看VLM怎么当评委、这条路能省多少人工标注成本？这篇值得一读。
MIT数学家破译高斯消元增长上限，稀疏奇迹破灭
一篇彻底改写数值分析教科书认知的硬核理论成果。作者证明了完全主元与车房主元下高斯消元增长因子的渐近量级为维度拟多项式，解开了自1940年代延续至今的著名开放问题；同时证明稀疏矩阵下部分主元依然可能指数爆炸，寻找最优行置换还是NP难问题。做科学计算底层和数值算法的读者，这篇值得精读。
仅凭散射矩阵就能"隔墙测物"？FIO让隐藏参数无所遁形
想象一下，你站在一个满是回声的巨大山洞里，面前有一堵厚厚的墙壁，墙后面藏着一个不知道在哪里的“隐形人”。你想知道他动了没有、动了多少、甚至想把一束光精准地打在他身上。
