ai-planning

美国宇航局的“毅力号”火星车创下了在地球以外天体上行驶最远距离的纪录（45.22公里），这得益于自主导航技术的升级，包括全局定位、抗辐射软件技术和生成式人工智能路径规划。

本文提出一个可观察证据标准，用于评估工业AI规划系统中新增能力是否真正带来运营价值，并通过Favorita、M5和Walmart数据的回放实验揭示单一指标评估的三大局限。

Chunk 是一款 macOS 时间块管理应用，将任务与日历整合于一处，支持拖拽创建时间块、与 Google/Outlook/Apple 日历双向同步、通过 iCloud 实现纯本地数据存储，并提供由 Claude 驱动的 AI 周计划功能。

本文介绍了一种在Lean中利用LLMs自动生成具有完备性形式化证明的泛化规划的方法，并在基准领域上进行了评估，展示了在自动规划验证方面的显著进步。

Opus 5.5 展示了扩展规划能力，通过在复杂谜题上花费超过20分钟，解决了以前只有Astra才能解决的谜题。

本文比较了四个AI规划工具——OpenSpec、Spec Kit、BMAD和Kiro——通过测量从一个句子创意规划简单应用所需的对手动操作，揭示了效率和功能上的巨大差异。

本文介绍了一种新方法，利用大语言模型自动生成PDDL规划域的实例生成程序，确保其正确性和多样性。

本文将经典规划中的两种计划去序技术应用于层次任务网络规划，展示了在保持计划有效性的同时显著减少排序约束。

本文评估了开放权重大型语言模型在AI规划中PDDL领域修复的能力，表明它们优于符号基线，但在可靠测试约束满足方面存在困难。

/wayfinder 是一款规划工具，帮助开发者通过确定可操作的步骤，并在 GitHub 或 Linear 等问题追踪器中维护路线图，来规划宏大的项目。它被誉为编程工作规划的革新工具。

谷歌DeepMind正与英国政府合作，利用Gemini开发一款AI驱动的规划原型，旨在将处理住户规划申请的时间减半，并帮助在2029年前建造150万套新住房。

介绍 /improve，这是一个工具，它利用 Claude 的最强模型来审查你的代码库，识别 bug、性能问题、技术债务、缺失的测试，并编写计划供更便宜的模型执行。

本文介绍了商业世界模型（BWM）的概念与架构。BWM是一种针对商业环境专门化的世界模型，能够编码状态、动态、约束与目标，以支持自主决策和基于目标的规划。

本文介绍了OCLGen，一种计算高效的测试时搜索算法，它将生成式规划模型与经典的开闭列表框架相结合，提高了组合规划领域的解质量。

本文研究了如何将因子化规划任务（FTS）编码为SAT，提出了多种编码策略，并分析了任务转换对基于SAT的规划性能的影响。其目的是将SAT求解扩展到比启发式搜索更紧凑的规划表示。