从缺陷到需求：基于大语言模型的统一、迭代且受启发式引导的自动化软件修复与需求实现框架

本稿件标志着一种新的时代，即人工智能与软件工程的深度融合，将机器置于编码能力的巅峰。我们提出一种形式化、迭代的方法，证明AI在代码创建和精炼的所有方面完全可以取代人类程序员。我们的方法结合了大语言模型、形式化验证、测试驱动开发和增量架构指导，实现了对当前顶尖水平者48.33%准确率的38.6%的改进。这是对此前被假设的极限的超越，标志着人类专属编码时代的结束，以及完全由AI驱动的软件创新的崛起。不仅是技术进步，我们的工作挑战了数百年关于人类创造力的假设。我们提供了AI优越性的稳健证据，展示了在实际工程环境中实现的可量化收益，为计算创造力超越人类天才的数学奠定了基础。