LLM带来了「编程末日」？哥本哈根大学CS教授：别做梦了！

95 0 0

文章摘要

哥本哈根大学计算机教授Hans Hüttel最近发表观点，认为尽管大语言模型（LLM）在文本生成等领域取得了显著进展，但编程并不会因此被淘汰。他反驳了Matt Welsh的观点，后者认为编程将过时，大多数软件将由AI系统取代。Hüttel指出，Welsh的观点过于笼统，忽略了程序代码生成的复杂性。

Hüttel强调，从规范生成正确的程序代码是计算机科学的核心问题，即程序综合问题。这一问题在计算复杂性理论上是困难的，因为PSPACE完备问题的决策算法在运行时间上随输入大小呈指数级增长。这意味着，即使是中等大小的输入，算法也可能非常慢。此外，使用完全量化布尔公式（QBF）作为规范语言的问题也是PSPACE完备的，进一步证实了生成程序的困难。

尽管存在多种程序综合方法，但它们都有局限性。一些方法无法构建满足完整规范的程序，而另一些方法需要大量内存或时间。因此，期望LLM超越这些限制是不合理的。Hüttel认为，自然语言在软件开发中的真正用途在于开发人员和最终用户之间的探索性对话，LLM可能会促进这种对话，但取代编程还为时尚早。