待验证50% 置信事实精确时间
STRIPS规划系统由斯坦福提出，奠定了自动规划领域的数学基础，通过前置条件与效果的逻辑描述来表达动作序列
1
来源数
50%
置信度
长期有效
时效性
2026/7/7
首次发现
来源
Claude Sonnet 5发布：最强Agent能力的中端AI模型
twitterclaudeai2026/6/30
相关事实
待验证斯坦福大学2023年发布的论文《Plan-and-Solve Prompting》系统化提出了Planning and Execute任务分解范式76% 相似待验证链式思考（Chain-of-Thought，CoT）由Wei等人提出，通过引导模型逐步展示推理过程提升复杂数学和逻辑推理任务准确性68% 相似待验证SGLang由斯坦福团队开发，专注于结构化输出和复杂推理链的高效执行67% 相似已验证基础模型（Foundation Model）概念由斯坦福HAI研究院于2021年正式提出，指在超大规模数据上预训练、可通过少量标注数据迁移至各类下游任务的通用模型67% 相似待验证极简规则设计的工程逻辑是将高层次原则性约束交给模型的预训练知识去填充细节，而非用规则穷举所有场景66% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/147762API
curl https://kongchang.com/api/v1/knowledge/claims/147762MCP
get_claim(id=147762)