SCOPE:将自然语言策略编译为神经符号谓词程序
SCOPE是一种新方法,将自然语言策略编译为可执行程序,由小型模型、确定性提取器和组合代码组成。该方法在真实世界策略任务基准测试中,实现了跨任务和模型的最平均准确率,且预测更稳定、可解释,并能部署在低成本模型上达到前沿推理模型的准确率水平。
推荐理由:SCOPE将自然语言策略编译为神经符号谓词程序,解决了LLM代理策略执行中的准确性与效率矛盾。
自动盯住上百个信源,用模型摘要、打分、精选,把同一件事的多篇报道归到一起,每天早上出一份日报。聚焦机器人、AI 与财经投资。
SCOPE是一种新方法,将自然语言策略编译为可执行程序,由小型模型、确定性提取器和组合代码组成。该方法在真实世界策略任务基准测试中,实现了跨任务和模型的最平均准确率,且预测更稳定、可解释,并能部署在低成本模型上达到前沿推理模型的准确率水平。
推荐理由:SCOPE将自然语言策略编译为神经符号谓词程序,解决了LLM代理策略执行中的准确性与效率矛盾。
研究人员提出DeepEvolve系统,一种基于未来事件预测的可持续进化智能体系统,该系统通过与动态变化环境持续交互并内化经验实现自我改进。在FutureX排行榜上,该自我改进预测器连续三周排名第一,评分提升高达195%;在合成的评估中,它在四个基础大语言模型中排名前三,比最强基线高出最多10.7 Bradley-Terry分。
推荐理由:通过未来事件预测构建可持续进化系统,在真实世界评估中连续三周排名第一,展示AI从静态模型向自我进化智能体的转变。
研究人员提出 TraceForge 方法,通过生成与目标模型风格一致的推理轨迹来解决前沿模型不提供详细推理过程的问题。该方法采用两阶段训练,在 HumanEval+ 上提升 3.7 分,在 MBPP+ 上提升 7.1 分。
推荐理由:通过生成与目标模型风格一致的推理轨迹,TraceForge 在保持数据来源合规的同时提升了模型性能。
研究提出集体经验学习(CEL)范式,通过失败引导的经验检索微调(FERT)和容错异步训练系统(FATS),使部署中的机器人共享执行经验改进共同策略。在五个真实操作任务中,策略成功率高达93.3-99.2%,96台机器人在手机包装任务中成功率从79.2%提升至98.3%。
推荐理由:通过机器人共享执行经验提升策略可靠性,无需额外专家纠正,为大规模机器人学习提供新范式。
研究团队提出Agent4Sci测试平台,评估前沿智能体在20个科学ML基准上的表现。Claude Opus平均提升10.4%,但进步主要来自ML工程技巧而非研究洞察。通过添加轻量级插件技能,Claude Opus性能提升至20.1%,表明智能体在科学领域仍有巨大改进空间。代码和数据已在GitHub和Hugging Face开源。
推荐理由:Agent4Sci测试显示前沿智能体在科学ML基准上平均提升10.4%,但进步主要来自工程技巧而非研究洞察,揭示当前智能体在科学发现中的真实能力边界。
研究人员提出分层稀疏注意力(SSA)框架,结合确定性检索和分数引导采样,在保持高稀疏度的同时显著提升长上下文推理性能。在RULER-HARD测试中,Ministral-3-8B模型在32K和128K上下文长度下,50倍稀疏度下准确率分别从81.8%提升至84.2%和从63.8%提升至69.3%,恢复密集注意力性能的94%和85%。优化后的CUDA内核实现1M上下文下近3倍解码加速。
推荐理由:分层稀疏注意力在极端稀疏度下接近密集注意力性能,同时实现近3倍解码加速,为长上下文推理提供新思路。
研究团队提出DiffResearch框架,将扩散语言模型(dLLM)应用于深度研究各阶段,相比自回归模型实现约6倍端到端速度提升。dFast模式通过读取去噪中间状态提取子查询,实现1.99倍中位数加速且不降低报告质量。该框架已开源并采用Apache-2.0许可证。
推荐理由:扩散模型在深度研究中实现6倍速度提升,dFast模式进一步加速分解过程,为交互式研究系统提供新路径。
Jiaru Bai 提出自我构建实验室(SBL)系统,能根据高层科学目标自主设计、配置和运行实验室设置。该系统从现有条件出发,构建实验室布局、数字孪生、机器人技能和实验工作流,已在量子点合成实验中验证端到端能力,使科学自动化更易访问、灵活和可扩展。
推荐理由:从空白房间到完整实验室,SBL 系统自主设计、配置并运行实验,将人类角色从手动编程转向目标设定,大幅提升科学自动化灵活性。
Matrix-Game 4.0通过分离游戏执行与视觉生成,实现了480p分辨率、60FPS的实时游戏体验,在NVIDIA RTX5090上按键到显示延迟为112ms。该系统使用轻量级游戏引擎维护世界状态,多模态编码代理将玩家想法转化为游戏代码,基于自回归视频模型的渲染器将引擎渲染的低多边形代理转换为详细视觉效果。
推荐理由:将游戏执行与视觉生成分离的设计,让视频模型首次实现480p/60FPS实时游戏,接下来看如何平衡画质与延迟。
OpenAI内部AI模型一次性生成722篇数学手稿,涵盖17个数学方向,包括对多个千禧年难题的推进与局部突破。这些成果在GitHub发布后引发数学界强烈反应,25位菲尔兹奖得主发表声明警告,核心争议在于AI生成成果的验证流程绕过了传统同行评议机制。
推荐理由:原文揭示了AI生成数学论文引发的验证挑战与制度冲突,展示了数学界如何应对这一变革。