– [AI相关内容] 目前的智能问题解决非常脆弱。 我爱上了它，但它制造的问题和解决的问题一样多。 要让代理可靠工作需要大量参数或巨大的上下文窗口 以保持解决方案空间可行。大多数人用更大的模型暴力破解可靠性 和更长的提示词。 如果我让问题变小而不是让模型变大呢？ 我采用了一种不同的方法，使用更小的模型：130亿-200亿参数范围的模型 并将它们设置为解决真实的SWE-bench问题。 我使用形式化状态机约束了工具和解决…
**原文链接**: https://github.com/statewright/statewright
**原文链接**: https://github.com/statewright/statewright