把催化内存搬进流式算法：4遍算Fk、2遍算F2，对数空间新范式
流式算法里“精确计算频率矩”是个老大难：空间要小、结果要准，过去直接不可能。这篇新论文把复杂性理论里的“催化内存”搬进流式场景——内存随便借用、用完必须还原，居然在对数空间内四遍精确算频率矩、两遍算F2，顺带解决三角计数与重击者识别，硬核又上头。
标签：AI科研
共 485 篇
加州理工最新研究：AI科学家跑完79个实验，竟然一次都没跑偏
论文标题: An AI Scientist that Doesn’t Drift: Taste, Structure, and Falsifiable Findings in a Quadruped Navigation Research Loop 发表日期: 2026年08月 发表单位: California Institute of Technology
最新数学证明：独立性检验注定失败，假阳性率至少1/2
统计检验的天花板：这篇论文证明，即使数据来自平稳遍历过程、样本无限增长，也没有任何检验能靠有限样本把“坐标过程独立”判断得又准又稳——假阳性率下界高达1/2。思路用稀有标记+交替块耦合构造反例，读起来像一场精巧的数学魔术。
银粉热桥立功！块体NbTi首次踏入超导雪崩过渡区
超导雪崩就像个暴脾气，说翻脸就翻脸。波兰科学院往块体铌钛超导盘的界面层里掺了点银粉，雪崩阈值随温度的变化规律直接“反着走”——非单调、有峰值，而且现有准静态理论居然算不出这个结果。超导稳定性控制，又多了一个新抓手。
浙大葛根年团队新突破：加权硬核模型让球覆盖下界提升d倍
先抛一个小问题：如果地上摆满了大小完全一样的西瓜，只能挑、不能挪，挑出来的西瓜还得两两互不挨着——那么最多能挑走总体积的几成？这事儿放到高维空间里，数学家从1928年断断续续想到现在，连个像样的下界都差点意思。最近，一篇论文用统计物理里的“硬核模型”，把这个困扰近百年的几何难题往前大幅推进：下界直接从一个常数因子翻到了维度因子d。这不是挤牙膏式的优化，而是把
40岁数学难题被他用"词对分解"一招终结，Ross猜想的最后一块拼图
如果有一个目标在碰运气式的“两房间”里来回躲藏，搜索者每次只能查一个房间，而且即使查对了房间也可能看走眼——这种情况下，搜索策略的最终形态到底是怎样的？这个问题听起来像抓猫，其实是运筹学与随机控制领域里一个流传了四十多年的经典难题： Ross猜想 。本文用一个极其漂亮的“词对分解+射影几何”组合，把最后一块未证的拼图补上了。
两位数学家联手，用LLM辅助击碎超凯勒周期-指标猜想
数学猜想又倒一个！这篇论文用构造性反例直接推翻超凯勒周期-指标猜想，而且起点竟然是两位作者各自用大语言模型辅助算出来的。K3^[2]型和Kum^2型四维反例、周期2指数被8整除、周期5指数被125整除，证据链硬核，值得仔细品。
智能体｜生成一万个假说不如做对一次反馈：自动科研新范式
AI做科研这件事，已经不再是“帮忙查文献”这种打杂级别了。如今的自主科研智能体能够自己提出假说、写代码、跑实验、解读结果、再修改方案，流程跑得飞起。
这哥们用开源代码推翻了编码理论16年的著名猜想
编码理论里有个著名的Etzion–Silberstein猜想，断言一种“容量上界”总能被精确顶到。结果这篇论文用计算机穷举加精确约化，把一个12维的上界硬生生压到11维——差距只有1，但猜想已经凉透。更难得的是作者把验证包全部开源，任何人可复核，这种做事方式龙哥很欣赏。
冷门方向也能发顶会？β=2配分函数攻克L函数极值难题
先来一个灵魂拷问：数学家们折腾了上百年，黎曼zeta函数在临界线上的最大值到底有多大？这个问题听起来简单，却像一座冰山，露出水面的只有一行公式，水面下藏着随机矩阵、高斯乘法混沌、对数相关场这些大家伙。
智能体｜2026最新！一个三次项让网络永无宁日，一个锚定扫清极化
网络会不会“吵到天荒地老”？这篇论文只用一个三次非线性，就把动态极化的产生、稳定与消除讲得明明白白；最反直觉的是，只需锚定一个智能体的观点，全网振荡分歧就能收敛回共识。推导极其优雅，值得控制系统方向的同学反复品味。
Bengio团队新作：用强化学习把贝叶斯符号回归做成后验采样器
先把镜头拉远一点。物理学家手里有一堆实验数据，然后想从里面挖出一条公式——比如爱因斯坦那个 E = mc²。放在过去，这得靠灵光一现。
