新智元

哥本哈根大学计算机教授Hans Hüttel认为，尽管大语言模型在文本生成方面表现出色，但距离编程终结还远。他指出，计算理论中的定理限制了自动化代码生成的可能性，即便某些程序可以通过AI系统实现，仍需人工审核以确保其正确性。