编者按近年来，随着人工智能、高性能计算、边缘计算等技术的持续突破，计算机领域掀起了新一轮的变革浪潮。以往被视为遥不可及的智能化愿景，如今正逐渐成为现实。与此同时，此轮浪潮也带来了数据安全、隐私保护、伦理道德等一系列亟待解决的挑战。如何拥抱技术革新？如何确保技术可持续发展？
钟 颐今年的诺贝尔奖“花落谁家”？继两位人工智能（AI）先驱获得物理学奖之后，因用AI预测蛋白质结构，又有两位工程师被授予化学奖。有人惊呼，AI革了物理和化学的命；也有人由此断言：诺奖已经进入AI时代。结果虽让人意外，但也是实至名归。
封面新闻推出图灵奖得主系列专访，本期独家对话约瑟夫•希发基思。他将模型检测发展为一种高度有效的验证技术。该技术已被广泛应用于计算机硬件、软件、通信协议、安全认证协议等领域，成为分析、验证并发系统性质的重要技术。【如果您有新闻线索，欢迎向我们报料，一经采纳有费用酬谢。
Yokee智能观光车，解锁智慧文旅出行新玩法；飞毛腿外卖配送机器人，为顾客带来高效率配送服务……12月10日，在2024全球人工智能产品应用博览会现场，10余款集尖端技术与人性化设计于一体的AI新品吸引着人们互动体验“尝尝鲜”。
7月4日，2024世界人工智能大会暨人工智能全球治理高级别会议召开，在全球治理图灵圆桌环节，原微软执行副总裁、美国国家工程院外籍院士沈向洋对话三位图灵奖得主罗杰·瑞迪（Raj Reddy）、曼纽尔·布卢姆（Manuel Blum）、姚期智。
本月，在2024年诺贝尔奖各大奖项揭晓之后，这个周末在中国上海临港新片区进行的2024世界顶尖科学家论坛，可谓诺奖或诺奖级科学家“密度”最高的一次盛会。从包括11位诺贝尔奖得主在内的50余位海外顶尖科学家，到40余位中国两院院士及资深科学家，这些“最强大脑”再度聚首。
