@Gilad_Bracha: 未来软件工程师的角色是利用AI将非正式需求转化为高级形式化规范，并……

X AI KOLs Following 新闻
future-of-software-engineering ai-assisted-development formal-specifications theorem-proving natural-language-programming opinion

摘要

Gilad Bracha 设想了一个未来，软件工程师使用AI将非正式需求转化为形式化规范并加以审查，而AI则实现代码并用定理证明器验证其是否符合规范。人类负责确保形式化规范正确，他们仅需编写自然语言。

未来软件工程师的角色是使用AI将非正式需求转化为高级形式化规范，并审查这些规范。AI实现这些规范，并用定理证明器验证其是否符合形式化规范。人类的存在是为了在出错时可以追责；人类的工作是确保形式化规范正确——这正是他们审查的代码。如果看起来有误，他们告诉AI并与其讨论。人类只编写自然语言。
查看原文
查看缓存全文

缓存时间: 2026/06/05 19:21

未来软件工程师的角色是利用人工智能将非正式需求转化为高级形式化规范，并对其进行审查。人工智能则负责实现这些规范，并借助定理证明器依据形式化规范进行验证。人类的存在是为了在出问题时可以追责；人类的工作是确保形式化规范的正确性——这就是他们审查的“代码”。如果发现规范有误，他们就与人工智能讨论并指出问题。人类除了自然语言之外，什么也不写。

相似文章

软件工程师的未来会怎样？

Hacker News Top

一位软件工程师反思AI将如何影响这个职业，提出了两类开发者，并认为该角色会适应而非消失。