当o3编程碾压人类竞技选手时，一个更具前瞻性的声音传出——OpenAI现任董事会主席布雷特·泰勒（Bret Taylor）发表重磅文章，首次深度探讨了即将到来的“自治时代”软件工程。
2024年配额几乎用完。
您认为今年人工智能对软件工程师最大的影响是什么？
今年3月，当全球第一位AI程序员德文诞生时，整个互联网惊呼一切都结束了！紧接着，AI编程神器Cursor一夜爆红。
微软 GitHub Copliot 正式宣布将加入 Claude 3.5 和 Google Gemini Pro 1.5 的机型；新的编程工具Windsurf是第一个免费且无限制使用的AI实时感知...
在大型模型方面，Claude 3.5 Sonnet的编程能力直接超越o1。在Codeforces编码任务中，o3再次刷新SOTA，达到国际大师水平。
就连AI大师Karpathy也忍不住感叹，AI编程领域变化太快了，未来编程只需要按tab tab就可以了。
要知道，编程中的tab键主要是用来自动补全代码的。
今年，我们见证了人工智能对软件工程的侵入越来越深。
OpenAI 现任董事会主席 Bret Taylor 表示，“软件工程师的角色正在从编写计算机代码的作者转变为代码生成机器的操作员。”
“那么，什么样的计算机编程系统是为这种工作流程而设计的呢？”
Devin背后的创始人Walden Yan表示，未来的AI编程语言将更加智能，能够更好地理解和表达业务规则和逻辑。
想象一下，Lean这种达到IMO黄金级的语言，实际上可以用来编写商业应用程序。这不仅会大大降低编写bug的可能性，而且训练数据也会变得更加丰富。
就在最近，泰勒在他的博客上发表了一篇长文，深入讨论了构建一个独立软件开发的时代应该是什么样子。
接下来，就一起来读读这篇文章吧。
01 从自动驾驶看AI时代的软件工程革命
当你坐在旧金山一辆 Waymo 自动驾驶汽车的后座上，看着空荡荡的驾驶座和面前的自动驾驶方向盘时，你不禁会思考和惊叹：
随着自动驾驶技术的成熟，汽车将在未来几十年内发生巨大变化。
这样的场景似乎暗示着一个新时代的到来——汽车可以重新布置内部空间，去掉方向盘，从辅助驾驶转向自动驾驶。
更重要的是，随着拼车和自动驾驶出租车的成本大幅下降，我们与交通的关系将发生根本性的变化。
现在，随着大型模型的兴起，软件工程领域似乎正处于一个类似的转折点。
我们已经明显进入了软件工程的“辅助驾驶”时代！
Cursor这样的智能编程助手正在帮助程序员显着提高工作效率。但仔细观察就会发现，这些工具仍然仅限于针对人类优化的编程环境：
为人类优化的文本编辑器（如 Visual Studio Code）和为人类设计的编程语言（如 Python）。
所有的AI辅助都只是停留在代码完成的层面，就像汽车的辅助驾驶系统一样，需要程序员时刻“握紧方向盘”。
尽管人工智能编程助手快速迭代，但我们似乎仍然缺少一些能够实现真正自主软件开发的关键概念。
02 软件工程的“自主时代”即将到来
那么，当软件工程进入真正的“自主时代”，摆脱隐喻的“驾驶座”和“方向盘”时，会是什么样子呢？
纵观计算机发展史，每一次重大技术突破都催生了革命性的编程系统。
Unix带来了C语言，并定义了接下来四十年编程语言的方向。
随着施乐 PARC 图形用户界面 (GUI) 的推出，我们拥有了集成开发环境 (IDE) 和 Smalltalk 等编程语言。
随后分布式系统和多处理器的流行带来了消息传递等抽象概念，启发了Go等现代流行编程语言。
在软件工程的自治时代，软件工程师的角色可能会从代码编写者转变为代码生成机器的操作员。
那么，为这种工作流程原生设计的编程系统应该是什么样子呢？
如果代码生成不再是限制因素，我们应该构建什么编程语言？
泰勒接着问，如果大部分代码都是由计算机生成的，我们如何才能让软件工程师更容易地验证它是否达到了预期的效果？
编程语言的设计（比如Rust对内存安全的贡献）在这方面起什么作用？形式化验证的作用是什么？测试、CI/CD 和开发工作流程的作用是什么？
现在，软件工程师的主要工作平台就是“编辑器”。自主开发时代，软件工程师的“指挥中心”应该是什么样子？
泰勒认为，回答这些问题不仅有趣，而且影响深远，需要尽快找到答案。
在这个辅助编程的时代，我们创建了更多的软件，但这些新软件似乎会延续相同的安全漏洞和质量问题，并且更难以监控和维护。
人工智能不仅为人类创造更多软件带来了机会，更重要的是让软件变得更加强大。
接下来，我们能否创建一个新的软件工程系统，可以提高生产，同时减少错误和安全漏洞？
既然人工智能可以完成所有工作，为什么每个程序都不能被验证正确并高效运行呢？
当我们拥有这样的系统时，世界上有多少不安全的软件能够被重写？
作为软件工程领域的一员，我们应该更加雄心勃勃，积极探索和设计一个软件工程的自主时代。
正如自动驾驶彻底改变了人类的出行方式一样，人工智能也将重塑软件开发的本质。
未来已来，让我们共同期待这激动人心的变化。
03 布雷特·泰勒个人介绍
2023年11月，OpenAI高层动荡期间，Bret Taylor成为新任董事会主席，已任职一年零两个月。
目前，他也是Sierra的联合创始人，曾担任Salesforce的联合首席执行官6年，并担任Twitter的董事会成员超过5年。
他分别于2002年和2003年获得斯坦福大学计算机科学学士学位和硕士学位。
他不仅是业界知名的企业家，也是著名的计算机程序员。
2003年，泰勒正式加入谷歌，担任助理产品经理。在此期间，他最杰出的贡献是带领团队创建了家喻户晓的“谷歌地图”。
他们开发了按位置搜索和 Google Local（Google 地图的前身）等功能。
有趣的是，在谷歌工作期间，泰勒在一个周末重写了整个谷歌地图后端代码。
四年后，泰勒离开谷歌，加入风险投资公司 Benchmark Capital，担任驻场企业家。
在那里，他与其他几位前谷歌员工共同创立了社交网站 FriendFeed，泰勒担任首席执行官。
直至2009年8月，该公司被小扎以5000万美元估值收购。收购完成后，泰勒也加入了Facebook，并于2010年成为Facebook的首席技术官。
也是在这次收购中，Facebook 采用了 FriendFeed 的“点赞”按钮功能。
2012年，泰勒再次离开Facebook，创立了Quip，一款与Google Docs直接竞争的产品。随后，2016 年，该公司也被 Salesforce 收购。
同年，Twitter正式宣布任命泰勒为其董事会成员。 2017年，他还被任命为Salesforce首席产品官。
2021年，他成为Twitter董事会主席。直到 2022 年 10 月，马斯克在收购 Twitter 后解散了整个董事会，他才辞去职务。
2023年2月，他与他人共同创立了Sierra，这是一家专注于企业级人工智能的初创公司。
同年11月，在奥特曼辞职和连任的争议中，泰勒接替格雷格·布罗克曼担任OpenAI董事会主席。从 2023 年开始，他还担任 Shopify 董事会成员。
参考：
本文来自微信公众号“新智元”，作者：新智元，36氪经授权发布。
