大模型会毁了初级程序员 —— 对话图灵奖得主 Joseph Sifakis | 新程序员

【编者按】GPT 系列的面世影响了全世界、各个行业，对于开发者们的感受则最为深切。以 ChatGPT、Github Copilot 为首，各类 AI 编程助手层出不穷。编程范式正在发生前所未有的变化，从汇编到 Java 等高级语言，再到今天以自然语言为特征的 Prompt 工程，编程的门槛进一步降低，让很多开发者也不由得思考，编程的未来究竟会如何演化，在这大模型时代，开发者又该何去何从？基于此，《新程序员 007：大模型时代的开发者》邀请到图灵奖得主、中美法三国院士 Joseph Sifakis 进行深度对话。万字长文，感受对人工智能的深邃思考。

注：《新程序员 007》聚焦开发者成长，其间既有图灵奖得主 Joseph Sifakis、前 OpenAI 科学家 Joel Lehman 等高瞻远瞩，又有对于开发者们至关重要的成长路径、工程实践及趟坑经验等，欢迎大家点击订阅年卡。

采访 | 邹欣，CSDN &《新程序员》首席内容顾问

作者 | 王启隆

责编 | 唐小引

出品 | 《新程序员》编辑部

从 ChatGPT 引发百模大战，GPTs 让人人都能用自然语言构建 GPT，全球范围内对于 AGI 通用人工智能的探索日渐深入，而计算机领域关于“超智能”的神话也愈演愈烈，其中一个广泛传播的观点是，计算机智能最终将超越人类智能，技术奇点即将到来。

机器智能（图源：AIGC 生成）

但同时，也有许多科学家对这些热议保持理性或反对的态度。图灵奖得主、中美法三国院士 Joseph Sifakis 认为，再强大的机器也不足以战胜人类的智慧，在他的著作《理解和改变世界》中这样谈道：“我认为科学界应该对这种蒙昧主义和信口开河的混杂产物做出反应，并基于科学和技术标准，对人工智能的前景给出清醒的评估……人们都在热议计算机智能的假想风险，也许把真正的风险掩盖住了，包括引发高失业率、安全性、侵犯隐私权等。”

Joseph Sifakis，图灵奖得主、中美法三国院士

Joseph Sifakis 教授出生于 1946 年，是知名的计算机科学家，他的一生都在致力于系统验证和形式化方法在系统设计中的应用，他开发了多个验证工具，提出了解决状态爆炸问题的抽象技术。2007 年，由于在模型检测理论及应用上所做出的杰出贡献，他获得了国际计算机界最高奖——“图灵奖”。

除了图灵奖得主的身份外，他还是中美法三国院士，对教育充满热忱，与中国渊源深厚，是中国南方科技大学计算机科学与工程系的杰出教授，他说“我对中国学生渴望学习和理解事物的热情印象深刻，我希望能持续看到中国源源不断的创新，因为你们有能力构想并实现一些伟大的事情。”

怀揣着好奇心与满载的问题，CSDN &《新程序员》首席内容顾问、技术畅销书《编程之美》《构建之法》作者邹欣代表开发者对 Joseph Sifakis 教授（以下简称 Joseph）进行了深度采访，并在 2023 长沙·中国 1024 程序员节的“新程序员全球人工智能高峰论坛”上进行了压轴直播。采访过程中 Sifakis 教授金句频出，展现了他博学而健谈的一面：

• 开启电传飞控时代的空客 A320：“四十多年前带领 12 位工程师，用 6 万行 C 语言代码和简单的底层硬件开发了飞机控制系统——这些都很简单。”正文还有更多的技术细节揭露！

• Sifakis 教授近期的研究领域是自动驾驶：“对于关键系统，如自动驾驶汽车，我个人认为最好的解决方案是将神经网络与传统解决方案并行工作。”

• 对「奇点时刻」的看法：“完全是胡说八道，是荒谬的。”

• 程序员到底该不该在工作中使用 AI：“对于经验丰富的工程师来说，利用 GPT 或其他大模型来提高生产力绝对是正面的。”随后话锋一转：“大模型会毁了初级程序员！”

• AI 的真正风险：“为关键事情做选择的责任从人类转嫁到了机器上。”

• 评价计算机科学的未来：“这个时代的计算机科学家应该具备更广泛的文化知识，因为机器正在被应用于不同的领域。”

• 在采访中盛赞中国：“你们的创造非常有趣，充满激情和年轻的力量，开拓了我的视野。”

【小提示】点击下方 本文内容由网友自发贡献，转载请注明出处：https://www.wpsshop.cn/w/IT小白/article/detail/336042