哈佛讲师Matt Welsh探讨AI时代计算机科学的未来

在哈佛大学入门级计算机科学课程CS50的一场发人深省的讲座中，AI应用构建平台Fixie的联合创始人、前谷歌和苹果工程师Matt Welsh在学生和专业人士中引发了兴奋和深思。

Welsh以一句大胆的开场白断言计算机科学可能面临的毁灭性前景，深入探讨了AI融入该领域所带来的挑战和机遇。本文探讨了他富有洞察力的讲座及其对计算机科学未来的影响。

人类编程的弱点

Welsh在讲座开始时强调了一个计算机科学中的基本挑战：人类因素。尽管在过去的五十年里，编程语言、数据类型和工具经历了不断的创新、实验和演变，但人类在编程方面仍然面临困难。 

Welsh质疑，再投入半个世纪的努力是否能解决这种固有的人类局限性。这种对人类编程持续弱点的坦诚承认，为更深入地探索未来奠定了基础。

超越悲观情绪，Welsh提出了关于计算机科学未来的引人入胜的问题。他思考如何将对大型语言模型的使用实践形式化，并将其转变为一门工程学科。 

提示工程（Prompt engineering）虽然仍处于起步阶段，但被视为有效教授AI模型的潜在途径，旨在弥合人类输入与AI输出之间的差距。目标是将这一过程从一门“黑暗艺术”转变为一门科学，为人类与AI之间的协作开辟新途径。

教授AI新技能

Welsh讲座的一个关键收获是，需要教授AI模型新技能。在一个大型语言模型日益普及的世界里，了解如何有效地与它们沟通至关重要。 

工程师们正在发现这些模型中的细微差别和隐藏能力，这凸显了通过实验制定有效使用AI手册的重要性。这一不断发展的领域有望成为一门正式学科，从而显著改变编程的方式。

虽然AI提供了巨大的潜力，但也引发了关于这些模型能力的关键问题。Welsh强调，需要开发一种正式的方法来推理AI模型在应对特定挑战时的正确性。随着AI更深入地融入行业，这是一个具有挑战性且充满不确定性的问题，计算机科学家需要加以解决。

人类程序员的未来

Welsh直面了一个不可避免的问题：AI最终是否会取代人类程序员。他承认AI将改变行业，但也强调了和谐共存的可能性。 

在他的愿景中，人类和AI模型将共同迭代，各自发挥优势。这种未来可能会重新定义软件工程师的角色，重点从传统的代码优化转向AI驱动界面和应用。

这种AI驱动的未来有一个积极方面，那就是计算能力的民主化。随着AI承担更多任务，计算能力将惠及更广泛的人群。编程作为我们所知形式的终结，可能会为那些此前因编码复杂性而却步的个人打开大门。 

这种转变可能会带来更具包容性的技术方法，打破曾经限制计算能力访问的障碍。

人类程序员不可言喻的特质

讲座期间一位学生的问题提出了这样一种可能性：人类程序员拥有一种AI无法复制的不可言喻的特质。人类训练、世界知识、伦理和社会化等因素可能使人类软件工程师在某些情况下不可或缺。 

虽然Welsh承认了这一观点，但他侧重于AI和人类互补各自能力的潜力，从而实现更高效和创造性的问题解决。

Welsh的见解引发了一个关键问题：计算机科学教育应如何随着这些变化而演变？他强调，课程需要深入探讨AI模型背后的机制、数据处理、模型构建、局限性和评估。批判性思维和对AI工作原理的理解应成为教育的核心，而不是将AI视为一个神秘的“黑盒”。随着行业的发展，计算机科学项目必须进行调整，为学生配备应对AI驱动未来所需的技能和知识。