自动驾驶软件：Solver推出自主AI编程工具
💡
原文英文，约1100词，阅读约需4分钟。
📝
内容提要
Solver是由Mark Gabel创立的AI编程工具，旨在实现全自动软件工程，超越GitHub Copilot等工具。它能自动编写、运行、测试和优化代码，并计划在SWE-bench上领先。Solver将推出API以便集成到IDE中，使用多种语言模型，包括自有的Total Punk，目标是通过弹性工程帮助开发者大规模构建和维护软件。
🎯
关键要点
- Solver是由Mark Gabel创立的AI编程工具，旨在实现全自动软件工程。
- Solver超越了GitHub Copilot等工具，允许开发者将任务交给AI自主完成。
- Solver计划在SWE-bench上取得领先地位，这是一个由普林斯顿大学运行的AI基准测试。
- Solver的技术联合创始人是Daniel Lord，团队还包括Siri的联合创始人Dag Kittlaus。
- Solver将首先以私有测试版形式推出，随后发布API以便集成到IDE中。
- Solver使用多种语言模型，包括自有的Total Punk，目标是支持多种编程语言。
- Solver不仅能编写代码，还能运行、测试、改进和迭代代码。
- 用户可以将整个任务委托给Solver，自动完成繁琐的工作。
- Solver的目标是帮助开发者以可扩展的方式构建和维护软件产品，称之为“弹性工程”。
➡️
