滑铁卢大学算出重复规避门槛：3字母最长84，4字母直通无限
重复规避是组合词学的经典问题，但这篇把"词本身"和"卷曲数变换"的重复规避同时拎出来，用自动机定理证明器Walnut和穷举搜索硬生生算出了字母表门槛：三字母最长84，四字母直接无限。门槛是4，不多不少。极致的离散数学美感，值得一读。
标签：人工智能
共 749 篇
小碰撞系统理论缺口补上了：GLV两大近似同时放宽
本文把标准GLV动量展宽框架从大核推广到小系统：全路径长度修正解决短路径近似失效，亚Regge运动学补上大横动量区间的动力学修正，双修正联合让q̂的刻画更完整。对O-O、p-O等新一轮实验时代的喷注物理来说，属于值得收藏的理论弹药。
从光滑到奇异，滚动不变量公式最新推广：任意特征都能算
曲线也有“身份证号”？代数几何中的滚动不变量就像是曲线的指纹，但长期以来只知道光滑曲线的算法。今天这篇论文，把公式推广到了奇异曲线，还能在任意特征下计算！热带方法又立大功，快来一起看看。
贵州大学等首次发现巨大21厘米氢云：恒星“临终弃物”20秒差距外仍可见
通常恒星外包层只有零点几秒差距，这次一下子干到20秒差距——用阿雷西博档案数据，从星际介质噪声里翻出一整片运动学对称的氢云。恒星都老成这样了，还能留下这么清晰的动力学痕迹，值得一看。
托莱多大学最新模拟：黑洞种子丰度暴增4个数量级
这篇论文用65个高分辨率宇宙学模拟，系统揭示了中等莱曼-沃纳辐射强度下重黑洞种子可以大量形成，候选位点数量密度比经典直接坍缩场景高出约4个数量级。对理解JWST发现的高红移类星体起源很关键。
帕金森语音检测跨语言翻车？9大模型被曝只认"语料"不认"病"
这可能是近期最值得冷静读一遍的AI医疗论文。它不刷分、不涨点，而是系统地给帕金森病语音检测"泼了盆冷水"：语料内表现再高，换个语言、换个任务就现原形，甚至分不清帕金森和痴呆。对想真正落地语音生物标志物的团队来说，这比100个SOTA都值钱。
Meta FAIR新作：AI科研智能体装上"预算管家"，2/3算力追平24小时成绩
AI科研智能体缺的不是想法，而是算力。本文提出研究偏好模型（RPM），相当于给智能体装了个“预算管家”：在花GPU之前，先让LLM当评委挑选最有潜力的候选方案。AIRS-Bench上，用不到三分之二的算力就能追上无引导基线24小时的成绩，思路清晰，落地性强。
代码审查来了个AI语音裁判：Karpathy带火的技术再立一功
当Karpathy提出的Vibe Coding遇上代码审查，会擦出什么火花？这篇论文用Vibe Coding快速造了一个语音AI代码审查工具，还把它当"挑衅性原型"去研究开发者对AI反馈的信任与协作变化。方法不算深，但思路很妙，适合想低成本用AI做研究探针的同学读一读。
美能源部实验室新作：CNN从太赫兹谱中“翻译”自旋参数
这可能是AI for Science里最优雅的“翻译题”之一：把一堆非线性太赫兹二维相干光谱扔给卷积神经网络，让它反推材料内部的自旋哈密顿参数。本文在稀土正铁氧体上做到D-M相互作用相对误差仅千分之一，还顺手把真实实验数据跑通了正向验证——值得一读。
密歇根理工最新证明：特征2下平凡直和项只认钩子
这期聊一篇纯数学论文，主题是特征2下Specht模的平凡直和项分类。别看名字唬人，其实问题很直觉：对称群的"积木"里，什么时候会藏着一块最平凡的"1×1乐高"？Murphy解决了钩子情形，Collins-Dodge把一般情形问了出来，这篇论文用KLR分次一招封死：非钩子全灭。干净、完整、还顺手给了一个优雅的度数矛盾。
AI科学家要来了？Adam之父给出2025最新时间表
这是剑桥大学Ross King教授撰写的一篇AI for Science全景综述。Ross King正是历史上第一个全自动机器人科学家Adam的缔造者。这篇论文以亲历者视角，系统梳理了从DENDRAL到AlphaFold、再到AI Scientist的完整进化路径，并首次提出六级科学自主性框架。想看懂AI科学家的过去、现在与未来，这篇是绕不开的入口。
斯坦福新作：机器人操作提速2.4倍，成功率还不掉
斯坦福Chelsea Finn团队的新作。机器人操作策略学会了但跑得慢，这工作直接给模仿学习加装一个强化学习训练的速度策略，不采新数据、不动原策略，在倒水、投掷等动态任务上提速超2.4倍，思路轻巧、实验扎实，值得一读。
