新智元报道
编辑：桃子
【新智元导读】当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的董事会成员。
参考资料：
https://x.com/walden_yan/status/1871701349425111245
https://backchannel.org/blog/autonomous-software