密歇根理工最新证明：特征2下平凡直和项只认钩子
这期聊一篇纯数学论文，主题是特征2下Specht模的平凡直和项分类。别看名字唬人，其实问题很直觉：对称群的"积木"里，什么时候会藏着一块最平凡的"1×1乐高"？Murphy解决了钩子情形，Collins-Dodge把一般情形问了出来，这篇论文用KLR分次一招封死：非钩子全灭。干净、完整、还顺手给了一个优雅的度数矛盾。
标签：AI科研
共 485 篇
AI科学家要来了？Adam之父给出2025最新时间表
这是剑桥大学Ross King教授撰写的一篇AI for Science全景综述。Ross King正是历史上第一个全自动机器人科学家Adam的缔造者。这篇论文以亲历者视角，系统梳理了从DENDRAL到AlphaFold、再到AI Scientist的完整进化路径，并首次提出六级科学自主性框架。想看懂AI科学家的过去、现在与未来，这篇是绕不开的入口。
从RHP到圆上跳跃：q-Painlevé VI的Fredholm行列式新范式
Painlevé方程被称为“非线性特殊函数之王”，其tau函数长期只能形式定义。本文首次把q-Painlevé VI的tau函数写成严格可算的Fredholm行列式，还顺手披露了它与初始值空间上四条例外线的精确对应。可积系统与数学物理爱好者值得细读。
40年悬案新突破：从PRG构造PRF，调用次数下界被证实
从PRG构造PRF，最少要调用几次底层生成器？这个问题悬了40年。本文用元归约范式给出了两个新下界：查询有界归约下，非自适应构造省不掉ω(n/log n)次调用；长输出PRF无论自不自适应都无处可躲。理论密码学爱好者，这篇值得细读。
ChatGPT 5.6参与证明！矩阵符号让信息量暴涨d²倍
把±1符号换成±1矩阵，一条下界从1/ε²直接升到d/ε²——南洋理工这波把ℓ_p子空间嵌入的下界补齐到近最优，而且灵感来源写着ChatGPT 5.6。既有硬核数学，又有AI协作的瓜，值得一读。
超越DARTS的NAS新范式：0.26M参数拿下99.63%准确率
世界模型这两年火得发烫。无论是视频生成、机器人控制还是游戏AI，都指望它能学会在脑子里模拟真实世界的变化规律。可大伙儿慢慢发现一个尴尬现状：让世界模型在开放世界里随便"脑补"未来，它玩得挺欢；
LIGO-Virgo-KAGRA最新数据：用黑洞合并给暗物质候选粒子画禁区
黑洞旋转的能量能被"偷走"吗？LIGO-Virgo-KAGRA合作组用最新引力波数据，给传说中的超轻玻色子画了一张"禁区地图"。这可能是暗物质搜索的全新姿势。
星系光深骤降2.8倍！7星系验证新模型，能量平衡之谜破解
一个困扰星系辐射传输领域26年的"账本不平"问题，被一个名为"伪颗粒"的概念巧妙破解——不靠调参数，靠把秒差距尺度的尘埃团块"降维"成微观颗粒。思路清奇、数据扎实，堪称天文建模界的一股清流。强烈推荐给对辐射传输、星系尘埃及复杂系统建模感兴趣的读者。
史前手印性别识别不再靠猜！三角验证框架准确率达88%
把不确定性当成信号而非噪声，用深度学习让万年手印“开口说话”。这套三角验证框架不仅给出预测，还告诉考古学家“这句结论到底有几分把握”。想看看AI和考古学怎么擦出火花？这篇值得一读。
清华DMRG新发现：手性自旋液体一场就倒？
手性自旋液体向来是强关联物理的“圣杯”级物态，但外界条件一变化它会不会垮？清华大学姚宏团队用大规模DMRG数值实验，把位移场这个“旋钮”拧开：手性自旋液体只撑到φ≈0.02π，随后跳出个带长程标量手性的反铁磁姐妹相，中间还可能藏着一个连续相变。一篇paper把相图玩出三种新花样，值得一读。
告别物理隔板？CERN用脉冲导体MIK让对撞机补注不再“碰壁”
先补个背景：FCC-ee（Future Circular lepton Collider，未来环形正负电子对撞机）是欧洲核子研究中心（CERN）规划的新一代高亮度正负电子对撞机，束流能量覆盖45.
UC Berkeley新基准Vero：最强AI写证明，43个代码仓库只通关27个
AI生成的代码，你敢直接上生产吗？单元测试过了不代表没bug，仓库级形式化验证才是终极保险丝。UC Berkeley等机构提出Vero，要求智能体在一个多模块Lean 4代码仓库里同时写实现和证明，结果最强配置只通关27/43——答案藏在仓库级一致性和共享引理库的组织能力里。
