南开大学最新组合数学：6ℓ对模式全分类，Qiu-Remmel猜想被证
这是一篇热度很高的纯数学新作。南开大学与思克莱德大学团队把“同时避开一个长度三经典模式与一个平偏序模式”的6ℓ对配置完整分类，顺手证明了Qiu-Remmel猜想，还修正了原文关键错误。最令人拍案的是：排除等价类居然动用了素数定理级别的数论工具，组合与数论在同一个舞台相遇。
标签：人工智能
共 749 篇
汕头大学最新出手：Q_K空间三难题闭环，十余年gap被彻底填平！
十几年没补上的充分必要条件鸿沟，被一道半定规划容量直接填平；纯数学里同时用上锥对偶和复Grothendieck不等式，还顺手把两个公开问题结案，这种“多重闭环”属实少见。
暗物质帮黑洞“抽能”：自旋0.25就能磁重联发电
暗物质不仅塑造星系，还能帮黑洞“抽能”？这篇论文用Comisso-Asenjo磁重联机制证明：冷暗物质晕能把旋转黑洞能量提取的自旋门槛从0.86拉到0.25，功率还能反超Blandford-Znajek机制27倍。一句话，黑洞能量提取这门老手艺，在暗物质氛围里反而更好使了。
AFM图像又糊又慢？SPIDER自监督框架6倍加速3倍信噪比
论文由Sichen Pan和Simon Scheuring完成（通讯作者为Simon Scheuring），发表在Nature Communications上，提出了名为SPIDER（Scanning Probe Mic。
维也纳大学最新证明：弱稳定Serin解只能是球，任意维度通用
在偏微分方程的世界里，Serrin问题堪称一个"元老级"的传奇。它看起来干净利落：给定区域Ω⊂Rⁿ，能不能找到函数u，让它同时满足四个条件——内部满足-Δu=n且u>0，边界满足u=0且|Du|=1？
130nm流片实测：电压跌落1.2周期降频，告别亚稳态焦虑！
电源电压像坐过山车，芯片时钟就得跟着遭殃？这篇来自CISPA和IHP的流片实测论文，把一个曾只存在于仿真里的全数字自适应时钟频率校正电路，放到了130nm真实硅片上验证。没有PLL、全数字、1.2个时钟周期内响应，还顺手把亚稳态这个老大难问题用掩蔽锁存器给“治”了。做低功耗芯片、高性能处理器或对电压波动敏感的数字电路设计的朋友，这篇值得认真看一看。
阿根廷最新证明：Hamiltonian周期解从等式走向包含时代
数学世界有个定律：越漂亮的问题，越难证明。Hamiltonian系统的周期解问题就是其中之一。阿根廷Río Cuarto国立大学的最新论文，用Clarke对偶这把“牛刀”，把答案从光滑等式世界延伸到非光滑微分包含世界。看不懂公式没关系，来感受一下数学家的浪漫。
告别确定论！"随机体积"背后的数学结构被彻底揭晓
当"体积"不再是定数，而是会随机的量，数学世界会变成什么样？这篇来自伯尔尼大学的硬核论文，用勒维测度和泊松过程，一招统一了"随机赋值"的底层逻辑。理论深度拉满，适合喜欢挑战智力的读者。
TESS+Transformer+VAE：微透镜搜索新范式，持续时长预测R²=0.97
微引力透镜事件几百万颗恒星里才出一个，传统拟合方法扫一遍要跑到天荒地老。本文把Transformer和变分自编码器（VAE）结合起来，在TESS巡天数据上做了一次漂亮的“物理信息深度学习”示范。模型在560万条光变曲线上扫描，确认了92.7%的已知微透镜事件，还能直接预测事件持续时间，R²达到0.97。更难得的是，作者把模型在OGLE、MOA、KMTNet三
布里斯托大学新证明：陡峭势能下，不靠梯度的RWM反而更稳？
采样理论经常被“全局Lipschitz梯度”困住，只能处理二次势能。这篇论文提出曲率-力剖面假设，证明不依赖梯度的随机游走Metropolis在陡峭势能下依然能保持均匀接受率，还给出一套显式的提议尺度公式，把一大类超二次、指数和非凸势能都纳入了可定量分析的范畴。
李飞飞参与，斯坦福&Google新作：让VLM当裁判，图像压缩更懂人眼
这篇论文把“谁来判断压缩图像好不好”这个老问题翻出了新花样。斯坦福和谷歌团队发现，Gemini 2.5-Flash这类通用视觉语言模型，竟然能零样本复现人眼的相似度判断，干脆把它请来当裁判，用偏好优化把扩散自编码器训得更懂人眼。结果在多个基准和上万次用户评测里直接干到第一梯队。想看看VLM怎么当评委、这条路能省多少人工标注成本？这篇值得一读。
MIT数学家破译高斯消元增长上限，稀疏奇迹破灭
一篇彻底改写数值分析教科书认知的硬核理论成果。作者证明了完全主元与车房主元下高斯消元增长因子的渐近量级为维度拟多项式，解开了自1940年代延续至今的著名开放问题；同时证明稀疏矩阵下部分主元依然可能指数爆炸，寻找最优行置换还是NP难问题。做科学计算底层和数值算法的读者，这篇值得精读。
