全部动态
DeepMind 和 Cambridge 用 Gemini 做了个智能体,自己发现并证明了 11 台没人算过的 Busy Beaver 图灵机规则,还用 Lean 验证了,过程挺有意思。
腾讯混元开源了一个给工作型 Agent 造训练环境的框架,40 个领域、1.67 万个环境,训练数据还能自动验证,做 Agent 的可以看看。
OutSystems 的新调研说出了企业的尴尬:Agent 好部署,但两个 Agent 吵起来谁说了算?搞企业自动化的建议看看。
Perplexity 和 NVIDIA 搞了个叫 JOLT 的训练方法,一个模型当老师又当学生,在 MATH 上准度追平 GRPO,训练 token 少了 6.5 倍。
Meta 和密歇根州立大学测了 9 个模型,发现 Qwen3-32B 答子题还不如 8B,做推理图的先去查图本身再信置信度。
Google 把 agent harness 写成类继承,一个任务一个专用版,AutomationBench 上比全局方法高了 13 分多,还能兜底陌生任务。
AI 智能体帮研究团队发现新共识协议 A-greement,写密集负载延迟降 12.2%、读密集降 33.3%,还顺手用 Lean 验证挖出现有协议漏洞,搞分布式值得看看。
arXiv 上这个 Quant-Arena 基准挺有意思:让 GPT-6 Astra 等 9 个模型做真实 A 股量化策略,结果没有一个跑赢等权市场,排行榜对外开放提交。
这篇论文把电脑操作智能体和机器人放在同一套 PAPAV 五能力框架里比较,还统计了 64 个基准里验证和预判环节几乎没人评,做具身方向的人可以对照看看自己的评估盲区。
一篇机器人方向的论文,把 RL 训练拆成原子子任务来做信用分配,在 LIBERO-LONG 和 CALVIN 上比 PPO 多涨了几个点,真机任务平均提升 21.3%。
研究者让 GPT-6、Claude Opus 5.5 这些模型直接操控真实机器人跑 LIBERO-10,1,800 次测试排出了名次,最强也只有 44% 成功率,想了解大模型动手能力差在哪的可以看。
教智能体学技能不用整条轨迹都学,只挑 10% 关键位置就够,成功率还能涨 6 个多点,做 Agent 训练的可以看看。
训练交换相关泛函的老难题:能量准了密度就歪。这篇用 Brillouin 残差做惩罚项,只用 6 个能量加 11 个密度就把 SCAN 比下去了。
一篇纯理论论文,把Bernstein不等式推广到再生过程,让泛化误差界不再依赖独立同分布假设,还给出了极小化最优性证明。
训练 Flow Matching 模型的话可以看看,这个 VAP 方法能把平均损失拆到每个时间点,找出哪些区域数据不够、哪些是本质模糊,实验里 Fréchet 距离降了 23.6%。
arXiv 上的新论文 ASTEROID,不用 RL 就能让智能体学会边探索边决策,交互量少 100 倍还能上真机器人,做 agent 的可以看看。
做生物影像的朋友可以关注,arXiv 上新出的 BatchBench 排行榜,用 JUMP-CP 数据集专门测模型换个实验批次还稳不稳。
这个叫 Orbitol 的晶体生成器能按你指定的空间群出结构,速度比同类快两三个数量级,压电材料候选 89% 过了 DFT 验证。
这篇论文把多个 LLM 分类器的预测串成自适应电路,在七个任务上比 routing 和 cascading 更省成本更准,做分类系统的可以看看。
一篇扩散语言模型论文,把 Self-Conditioning 从辅助技巧升级成整套生成框架,GSM8K 上 42.2% 对 34.5%,还把 Duo 微调后翻快三倍,做生成模型研究的可以看看。
arXiv 上新出的对抗训练方法 ExGrad,靠减掉一部分干净梯度,在 CIFAR-100 和 ImageNet-100 上把 AutoAttack 鲁棒准确率实实在在抬了一截,做鲁棒性的可以看。
有人把调用图、分层文档和 CLIP 式检索拼在一起做代码库问答,500 万行仓库上 RAGAS faithfulness 过 90%,做代码检索的可以看看。
仅展示最近 2000 条内容,更早的内容请查阅 AI 日报存档