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