首页时事民生政务教育文化科技财富体娱健康情感

旅行百科职场楼市企业乐活学术汽车时尚创业美食幽默美体文摘

AI掌控编码人类狂按Tab，软件工程自主时代来临！OpenAI董事长Taylor重磅长文

科技 2024-12-28 10:28 北京

新智元报道

编辑：桃子

【新智元导读】当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

智能+中国主平台，致力于推动中国从互联网+迈向智能+新纪元。重点关注人工智能、机器人等前沿领域发展，关注人机融合、人工智能和机器人革命对人类社会与文明进化的影响，领航中国新智能时代。

最新文章

2025智能世界50震撼预测！AI海啸来袭，5维度看清AGI与潜在可能

DeepMind天才科学家疑抑郁自杀！41岁SuperGLUE之父英年早逝，AI圈悲痛不已

斯坦福AI科研神器开源，一键成文GPT-4o mini加持！科研写作彻底解放双手

复旦等提出「中国版GPT-Zero」！毕业论文AI率自查神器｜AAAI 2025

动物版谷歌翻译来了？Nature：用AI解码野性的呼唤！

招人！新智元邀你勇闯ASI之巅

史上最激烈H-1B骂战引爆美国！马斯克开炮：进口劳动力断供，美国科技要崩

微软论文意外「走光」，OpenAI参数全泄密！GPT-4o仅200B，o1 300B

比人类神经元快10亿倍！港中文、中科院「超级大脑」：1秒识图3479万张

大规模3D场景2分钟生成，效率提升30倍！中科院发布空间智能新框架 | AAAI 2025

田渊栋：2024年年终总结

招人！新智元邀你勇闯ASI之巅

奇点临近！美国47%工作岗位将被ASI卷走，大佬急发「逃生攻略」

o3拿下25%高分震惊数学教授，2025 IMO金牌或被AI收入囊中！

OpenAI o1「作弊」修改系统，强行击败专业象棋AI！全程无需提示

招人！新智元邀你勇闯ASI之巅

Ilya布局末日倒计时？奥特曼与谷歌大佬揭秘2025年ASI降临时间表！

反手就是开源！英伟达豪掷7亿美元收购专攻GPU初创Run:ai

2024年AI编程有多强？谷歌工程主管揭秘残酷真相

招人！新智元邀你勇闯ASI之巅

惊人反转！OpenAI吹哨人死于谋杀？公寓被洗劫有打斗痕迹，马斯克发声

Hinton发2024末日预警：10年内人类灭绝！奥特曼预言18个月ASI降临

英伟达2025祭出「迷你大脑」，雷神「Thor」剑指千亿机器人市场！

9大基准全面领先，性能暴涨10.8%！视觉价值模型VisVM成「图像描述」新宠

2024年人工智能年终总结报告｜Artificial Analysis

招人！新智元邀你勇闯ASI之巅

谷歌劈柴立军令状：必斩OpenAI，夺回第一！

雷军千万年薪挖角95后天才少女，AI女神逆风翻盘！

o1 pro深评博士医学论文，震惊顶尖免疫学家！2分破解神秘作家身份

招人！新智元邀你勇闯ASI之巅

OpenAI大地震一分为二，全力冲刺AGI！一半向钱看，一半装理想

AI掌控编码人类狂按Tab，软件工程自主时代来临！OpenAI董事长Taylor重磅长文

OpenAI研究员首次提出「AGI时间」进化论！o1数学已达「分钟级AGI」

招人！新智元邀你勇闯ASI之巅

OpenAI微软「秘密协议」首次曝光：盈利超过1000亿美元就是AGI！

吹哨人之死：26岁OpenAI举报人离奇自杀，母亲心碎曝出惊人内幕！

英伟达年终大礼，最强AI GPU曝光！全新B300让o1/o3推理性能上天算力爆表

首篇「角色扮演AI」综述！复旦等提出大模型三层人格分类框架：群体、角色、个性化 | TMLR

招人！新智元邀你勇闯ASI之巅

中国MoE一夜爆火！大模型新王暴打GPT-4o，训练成本仅600万美元

15大机构十年研究证明：无约束AI必然超越人类，创造能力也更强！

英特尔至强6独享MRDIMM，内存带宽飙升，加速推理达2.4倍！

Anthropic联创：Scaling Law没崩，但推理成天价！有了TTT，25年AI更加速

CMU等提出超实用「模型泛化性」指标，分布外准确率提升6% | ICML 2024 Oral

「数字孪生」东京上线！Jim Fan：具身智能零样本迁移现实世界，共享「蜂群思维」

招人！新智元邀你勇闯ASI之巅

蚂蚁群组团最强AGI，破解几何难题完爆人类！群体智能登顶PNAS

美国CS女硕士放弃读博，当主播狂赚100万美金！自曝学术界真相全网唏嘘

MIT、OpenAI等震撼力作：AI首次自主发现人工生命！人类窥见上帝造物

具身元年压轴，智源线虫登Nature子刊封面！具身智能迎新纪元

分类

原创标签

时事社会财经军事教育体育科技汽车科学房产搞笑综艺明星音乐动漫游戏时尚健康旅游美食生活摄影宠物职场育儿情感小说曲艺文化历史三农文学娱乐电影视频图片新闻宗教电视剧纪录片广告创意壁纸头像心灵鸡汤星座命理教育培训艺术文化金融财经健康医疗美妆时尚餐饮美食母婴育儿社会新闻工业农业时事政治星座占卜幽默笑话独立短篇连载作品文化历史科技互联网

发布位置

广东北京山东江苏河南浙江山西福建河北上海四川陕西湖南安徽湖北内蒙古江西云南广西甘肃辽宁黑龙江贵州新疆重庆吉林天津海南青海宁夏西藏香港澳门台湾美国加拿大澳大利亚日本新加坡英国西班牙新西兰韩国泰国法国德国意大利缅甸菲律宾马来西亚越南荷兰柬埔寨俄罗斯巴西智利卢森堡芬兰瑞典比利时瑞士土耳其斐济挪威朝鲜尼日利亚阿根廷匈牙利爱尔兰印度老挝葡萄牙乌克兰印度尼西亚哈萨克斯坦塔吉克斯坦希腊南非蒙古奥地利肯尼亚加纳丹麦津巴布韦埃及坦桑尼亚捷克阿联酋安哥拉