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