北京理工大学：双中心分子最多多绑几个电子？答案精确到 153/154
先从一个看起来特别朴素的问题开始：往一个带电荷 Z 的原子核旁边塞电子，它最多能"抱住"几个？这里的动词很关键，是"抱住"，不是"塞进去"。电子之间互相排斥，塞得越多，最外面那层的电子越容易掉头就跑。
标签：人工智能
共 749 篇
斯坦福提出自适应交会筛选：太空碰撞候选对减28.78%，扫描快27倍
太空越来越挤，几万颗卫星的轨道交会筛选正在变成算力灾难。斯坦福这篇论文不换模型、不堆显卡，只用公开星历历史给每个目标单独估一个不确定度，把固定50公里阈值改成自适应阈值，候选对直接砍掉近三成，扫描速度还快27倍。在算力普遍吃紧的当下，用一次漂亮的"减法"换回大笔计算预算，这种思路值得每个做大规模筛选的人读一读。
拓扑学公开问题得证：自由Abel拓扑群同构，可数紧性必然同步
一个写进2008年专著、又在2013年被论文重新提出的公开问题，如今拿到了肯定答案：只要自由Abel拓扑群同构，可数紧性就必然同步。全文没有一行实验、没有一张指标表，靠的全是Wallman紧化、超滤子极限和Baire纲定理硬啃下来，纯数学的刀法，值得围观🤨
2.5亿次人肉查号：公众凭什么怀疑你是机器人？
凌晨一点，你刷到一条推文：语法完美、情绪饱满、主页挂着三个外链和一份加密货币白皮书，而且它已经连续发了十四个小时。你盯着屏幕两秒，脑子里冒出一句话：这账号是不是机器人？
布朗大学绕开Kollár粘合：代数几何稳定模型有了直接证明
代数几何里有一个非常朴素的愿望：把某一类几何对象整整齐齐地摆在一块儿，做成一个可以被参数化的空间，而且最好这个空间还是紧的——一路退化下去，极限点不许跑掉。用几何的语言讲，这就叫模空间（moduli space）。
奥斯陆大学：不靠材料数据库，CNN单次前向反演介电谱极点
介电谱里藏着等离激元的能量位置和展宽，但传统做法要靠非线性拟合一点点抠，初始化选不好还容易翻车。这篇论文换了个思路：用纯解析公式生成合成谱，让一个约百万参数的卷积网络把反演任务一次性学会，单次前向直接吐出极点参数，全程不碰材料数据库。它到底能不能迁移到真实第一性原理谱和实验谱？边界又在哪里？值得花时间看一眼。
大语言模型｜维也纳工大：给MoE专家路由做「翻译」，准确率涨65%
MoE模型火了好几年，可「专家到底在干嘛」一直没人说清。主流解释是每个专家管一个领域，但真去翻，翻不出来。维也纳工大等提出RouterInterp，用稀疏自编码器给出另一种答案：专家干的是「多份不相关特征的叠加活儿」。这个结论有点反直觉，但证据挺扎实。
山东大学等提出MIRA：开源音乐生成追平Suno，意图对齐最高涨11.5分
"来一段像 RPG 最终 Boss 战那样的音乐，钢琴开场，三十秒之后弦乐进来，情绪从压抑慢慢转到悲壮。"
普渡大学新研究：SAM能找最平坦解却不泛化，加速4倍要靠权重衰减
「平坦的最小值更容易泛化」这条被引用了快三十年的经验规律，这次被普渡大学拿出来单独审了一遍。结论有点扎心：用 SAM 硬把解压到最平，模型照样一点儿没泛化；真正把模型从记忆推向泛化的，是权重衰减带来的范数下降，SAM 只是在这个窗口里帮忙踩了一脚油门，把转变加速到最多 4 倍。理论构造那部分尤其漂亮：两种插值的平坦度一模一样，差距全在范数上。
以色列开放大学：渗流阈值上界首次显式给出，σ→0时约等于σ
先把场景搭起来。想象一条无限长的直线，整数位置 0、1、2、3……上各坐着一个站点。在一维「键渗流」（bond percolation）模型里，任意两个站点之间都可能连一根「键」，每根键独立地决定自己是开还是关。
大阪公立大学等：15维伪黎曼H型群测地轨道分类彻底解决
先回答一个看起来很简单的问题：在一个弯曲的空间里，"最直"的路径长什么样？答案叫测地线。地球表面的大圆航线是测地线，引力场里的自由落体轨迹是测地线，平面上的一条直线也是测地线。
arXiv最新定理：去掉单调性，LLM与压缩的等价就崩了
"压缩即智能"这句话流传了很多年，但一直停留在直觉和实验结果上。这篇论文第一次把它写成了定理：语言模型和单调压缩是等价的，误差只差2比特；而一旦去掉"单调"这个条件，等价关系就崩了，除非某个密码学假设不成立。
