「PDDL规划器」共找到 576 篇相关文章
刚刚，2025哥德尔奖出炉！破解30年难题，十年论文摘桂冠
2025年哥德尔奖揭晓，康奈尔大学副教授Eshan Chattopadhyay与导师David Zuckerman凭借2016年论文《Explicit Two-Source Extractors and Resilient Functions》获奖。论文构造显式双源提取器，解决近三十年难题，还建立伪随机性研究子领域联系。
支持5000+ Server，ScaleMCP为大模型Agents动态同步MCP工具
现有工具选择框架未整合MCP服务器，存在重复、不一致和低效问题。普华永道提出ScaleMCP，配备MCP工具检索器，还提出TDWA嵌入策略，通过实验证明其提升了LLM代理性能。
狂涨91.4K star!！号称是下一代Vim编辑器，体验超棒！
本文介绍开源项目Neovim，它是Vim分支，扩展性强、好用，内置终端模拟器，支持图形界面，与Vim插件兼容性好，还介绍其性能特色、安装配置方法及常用命令。
AI时代：判断力为何比技术能力更重要？
音乐家布莱恩·伊诺1995年指出计算机音序器把技术问题转为判断问题，如今AI时代这一洞察更凸显价值。技术壁垒消失，判断力成关键差异，未来职业将向战略判断转变。
YC总结的vibecoding核心指南「如何充分利用Vibecoding 」
顶尖孵化器 Y Combinator 总结了 vibecoding 核心指南，涵盖规划流程、版本控制、测试框架等多方面内容，为开发者提供了利用 AI 进行开发的实用策略和方法。
逛完WAIC，我们发现这家芯企已经把端侧AI“场景落地”做实
7月17 - 20日，世界人工智能大会召开，端侧AI成热点。瑞芯微展台展示大模型、Agent、AI+应用，多方案已量产落地，其双轨架构优势突出，还规划了产品路线图。
当万相2.5刚开卷有声视频，7月已经发布音频一体化的百度蒸汽机又开卷长视频了
百度升级MuseSteamer蒸汽机视频生成模型，可生成任意长度视频，生成中能更新prompt交互创作。其技术规划前瞻体系化，成本低，在多行业有应用和商业化空间。
微信聊天记录喂AI（腾讯官方版）
用户可将微信聊天记录转发到元宝app，它能提供智能总结、分析等服务。在工作、生活、学习全场景都适用，如生成会议纪要、梳理旅游规划等，此前它还能总结微信文件、解读公众号文章。
AI 如何讲好一个多人故事？首个支持多角色互动的3D场景叙事系统
首尔国立大学提出全新框架，能生成虚拟动态场景并支持多角色上下文动作生成。引入LLM拆解复杂任务，系统用事件驱动方式规划动作，还构建基准评估相关能力，有良好扩展性和实用性。
重磅！全都看过来，Anthropic官方发布万字Skill创建完全指南：保姆级终极攻略
Anthropic官方发布万字Claude技能创建指南，涵盖规划、设计、测试和分发等知识，介绍技能结构、设计原则，提供不同用例模式及故障排查方法，适用于开发者、高级用户和团队。