评测大模型从规范自动生成生产级代码的能力,挑战真实工程规模。
SWE-AGI: Benchmarking Specification-Driven Software Construction with MoonBit in the Era of Autonomous Agents
- 用权威标准和API框架约束,让模型从零构建1000-1万行核心代码。
- GPT-5.3-Codex解决19/22任务(86.4%),开源模型中Kimi-2.5表现最强。
- 代码规模增大后读代码成瓶颈,自主开发仍难支撑实际工程。
尽管大语言模型(LLMs)展现出惊人编码能力,但其能否自主完成从明确规格到生产级软件的全流程构建仍是未解问题。我们提出SWE-AGI,一个开源基准,用于评估基于大模型的智能体在MoonBit语言下,端到端、规范驱动的软件系统构建能力。该基准要求模型仅依据权威标准与RFC文档,实现解析器、解释器、二进制解码器及SAT求解器等任务,在固定API架构下完成1,000至10,000行核心逻辑实现,相当于经验开发者数周至数月的工作量。通过利用新兴的MoonBit生态,SWE-AGI最大限度减少数据泄露,迫使智能体依赖长程架构推理而非代码检索。在前沿模型中,gpt-5.3-codex表现最佳(解决19/22任务,86.4%),优于claude-opus-4.6(15/22,68.2%),而kimi-2.5在开源模型中表现最优。性能随任务难度上升急剧下降,尤其在高规范强度的复杂系统上。行为分析显示,随着代码库规模扩大,代码阅读成为AI辅助开发的主要瓶颈。总体而言,规范驱动的自主软件工程虽日益可行,但要可靠支持生产级开发仍面临重大挑战。
原文摘要 · Abstract (English)
Although large language models (LLMs) have demonstrated impressive coding capabilities, their ability to autonomously build production-scale software from explicit specifications remains an open question. We introduce SWE-AGI, an open-source benchmark for evaluating end-to-end, specification-driven construction of software systems written in MoonBit. SWE-AGI tasks require LLM-based agents to implement parsers, interpreters, binary decoders, and SAT solvers strictly from authoritative standards and RFCs under a fixed API scaffold. Each task involves implementing 1,000-10,000 lines of core logic, corresponding to weeks or months of engineering effort for an experienced human developer. By leveraging the nascent MoonBit ecosystem, SWE-AGI minimizes data leakage, forcing agents to rely on long-horizon architectural reasoning rather than code retrieval. Across frontier models, gpt-5.3-codex achieves the best overall performance (solving 19/22 tasks, 86.4%), outperforming claude-opus-4.6 (15/22, 68.2%), and kimi-2.5 exhibits the strongest performance among open-source models. Performance degrades sharply with increasing task difficulty, particularly on hard, specification-intensive systems. Behavioral analysis further reveals that as codebases scale, code reading, rather than writing, becomes the dominant bottleneck in AI-assisted development. Overall, while specification-driven autonomous software engineering is increasingly viable, substantial challenges remain before it can reliably support production-scale development.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。