摘要：当o3编程碾压人类竞赛选手，一个更具前瞻性的声音传来——OpenAI现任董事会主席Bret Taylor发表重磅文章，首次深入探讨了软件工程即将到来的「自主时代」。
报道
【导读】 当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的董事会成员。 来源：东窗史谈一点号
免责声明：本站系转载，并不代表本网赞同其观点和对其真实性负责。如涉及作品内容、版权和其它问题，请在30日内与本站联系，我们将在第一时间删除内容!
