浙大葛根年团队新突破：加权硬核模型让球覆盖下界提升d倍
先抛一个小问题：如果地上摆满了大小完全一样的西瓜，只能挑、不能挪，挑出来的西瓜还得两两互不挨着——那么最多能挑走总体积的几成？这事儿放到高维空间里，数学家从1928年断断续续想到现在，连个像样的下界都差点意思。最近，一篇论文用统计物理里的“硬核模型”，把这个困扰近百年的几何难题往前大幅推进：下界直接从一个常数因子翻到了维度因子d。这不是挤牙膏式的优化，而是把
大模型与智能体
共 785 篇
40岁数学难题被他用"词对分解"一招终结，Ross猜想的最后一块拼图
如果有一个目标在碰运气式的“两房间”里来回躲藏，搜索者每次只能查一个房间，而且即使查对了房间也可能看走眼——这种情况下，搜索策略的最终形态到底是怎样的？这个问题听起来像抓猫，其实是运筹学与随机控制领域里一个流传了四十多年的经典难题： Ross猜想 。本文用一个极其漂亮的“词对分解+射影几何”组合，把最后一块未证的拼图补上了。
两位数学家联手，用LLM辅助击碎超凯勒周期-指标猜想
数学猜想又倒一个！这篇论文用构造性反例直接推翻超凯勒周期-指标猜想，而且起点竟然是两位作者各自用大语言模型辅助算出来的。K3^[2]型和Kum^2型四维反例、周期2指数被8整除、周期5指数被125整除，证据链硬核，值得仔细品。
Google+UC Berkeley新作：ArchAgent v2自动进化三级预取器
预取器是芯片里的“预言家”，过去全靠人类工程师手搓，如今Google联合UC Berkeley让LLM进化智能体自己“进化”出一个三级预取器，直接拿下DPC4冠军，IPC比人类顶级方案还高0.3%，低带宽场景下更是领先2%。这是AI自动硬件设计第一次真正在权威竞赛里赢过人类冠军，值得所有做体系结构和AI的人围观。
智能体｜生成一万个假说不如做对一次反馈：自动科研新范式
AI做科研这件事，已经不再是“帮忙查文献”这种打杂级别了。如今的自主科研智能体能够自己提出假说、写代码、跑实验、解读结果、再修改方案，流程跑得飞起。
这哥们用开源代码推翻了编码理论16年的著名猜想
编码理论里有个著名的Etzion–Silberstein猜想，断言一种“容量上界”总能被精确顶到。结果这篇论文用计算机穷举加精确约化，把一个12维的上界硬生生压到11维——差距只有1，但猜想已经凉透。更难得的是作者把验证包全部开源，任何人可复核，这种做事方式龙哥很欣赏。
冷门方向也能发顶会？β=2配分函数攻克L函数极值难题
先来一个灵魂拷问：数学家们折腾了上百年，黎曼zeta函数在临界线上的最大值到底有多大？这个问题听起来简单，却像一座冰山，露出水面的只有一行公式，水面下藏着随机矩阵、高斯乘法混沌、对数相关场这些大家伙。
南洋理工最新：AI代理“自我投毒”，93%成功率绕过所有防御
这可能是第一篇系统研究“AI代理自我投毒”的论文：攻击者不注入任何恶意外部输入，只靠模型自己在正常任务里“写”出带毒的技能文件，就能让隐私泄露、提权、越权写入在后续任务中自动触发，在OpenClaw、Codex、Claude Code上平均攻击成功率超93%。对做AI Agent安全和部署的同学来说，这篇值得细读。
智能体｜2026最新！一个三次项让网络永无宁日，一个锚定扫清极化
网络会不会“吵到天荒地老”？这篇论文只用一个三次非线性，就把动态极化的产生、稳定与消除讲得明明白白；最反直觉的是，只需锚定一个智能体的观点，全网振荡分歧就能收敛回共识。推导极其优雅，值得控制系统方向的同学反复品味。
Bengio团队新作：用强化学习把贝叶斯符号回归做成后验采样器
先把镜头拉远一点。物理学家手里有一堆实验数据，然后想从里面挖出一条公式——比如爱因斯坦那个 E = mc²。放在过去，这得靠灵光一现。
LeCun参与，魏茨曼LeDXA：1.1万张DXA扫描训练，疾病预测胜过8.6亿参数模型
一说到DXA（双能X射线吸收测定法），大多数人脑海中浮现的画面大概是体检中心排队时，躺在一台白色仪器上，几分钟后拿到一张写着骨密度T值的报告单。这玩意儿在临床上主要就干一件事：判断你有没有骨质疏松。
印度团队出手：让AI Agent"不敢乱动"，F1 88.5%还能全员验证
给AI代理发工具权限就像借车给实习生——怕他乱开。Niyam-AI直接上密码学“行车记录仪+电子围栏”：每次工具调用都得先过轻量Judge模型，再生成零知识证明，F1 88.5%、误报率仅1.1%，关键是任何第三方都能在53毫秒内验证“安全检查真的发生了”。同类工作里把ZK证明用到agent工具调用验证上的，这是头一遭。
