麻省理工学院的 计算机科学与人工智能实验室 （CSAIL）今年过得十分忙碌。研究人员荣获图灵奖，开发出用于修复代码和检测疾病的突破性算法，并研发出令人兴奋的新型机器人和人工智能系统。2015年即将结束，以下是过去12个月中七大重点领域的部分亮点：
1. DARPA机器人挑战赛
6月，由CSAIL牵头的机器人团队以毫厘之差未能赢得 DARPA机器人挑战赛总决赛的冠军。该赛事由美国国防部资助，旨在研发灾难救援机器人。
该团队为其身高6英尺、重400磅的Atlas机器人编写了程序，使其能够爬楼梯、开门和驾驶汽车，同时运用最先进的 规划与操控算法。
2. 机器辅助医疗
研究人员已为医疗保健和医学领域开发了众多工具，包括：
可提升医生 诊断癌症 及 检测失智症、帕金森病等病症能力的预测模型 ；
一种调控代谢通路的方法，或可成为 逆转人类肥胖的关键；
3D打印的患者心脏模型 ，供医生用于手术准备；以及
一种设备， 曾在白宫向美国总统巴拉克·奥巴马展示 ，可利用无线信号反射 检测和预测跌倒。
3. 会溶解、会绽放、会调酒的机器人
CSAIL研究人员今年开发的机器人包括：
一种宽1厘米的 微型机器人 ，能够游动、攀爬、行走，承载两倍于自身重量的负荷，并可通过在水中溶解实现“自毁”；
一款内置LED灯的“机器人花园”，包含100多个折纸机器人，能够爬行、游动，并像花朵一样绽放；
柔性机器人夹爪 能够仅凭触觉拾取并识别各类精密物品，包括一枚鸡蛋、一张CD和一张纸；以及
一组 供应饮品的“Beerbots”机器人团队 ，展示了最先进的规划算法，使机器人能够在不可预测的环境中协作。
4. 斯通布雷克获颁100万美元“计算领域诺贝尔奖”
今年，美国计算机协会的 A.M.图灵奖，常被称为“计算领域的诺贝尔奖”，并附有谷歌资助的100万美元奖金，该奖项授予了 大数据研究员迈克尔·斯通布雷克。
过去四十年间，斯通布雷克彻底改变了数据库管理系统领域，创办了近十家公司，推动了价值数十亿美元的“大数据”产业的发展。
5. 代码修复之道
研究人员开发了多项关键算法，旨在优化、修复和恢复代码：
Helium 有助于解决代码腐化问题，能够比人工工程师更快地自动修复老旧的次优代码；
CodePhage 能够通过自动导入其他更安全应用程序的功能来修复危险的软件漏洞，且无需这些应用程序的源代码；以及
DIODE 能够识别常见的整数溢出漏洞，这类漏洞常被用于恶意攻击。
6. 能够避开障碍物的无人机
大多数与无人机相关的新闻标题都聚焦于坠毁的无人机，但那是因为它们没有我们的软件！
Russ Tedrake的机器人运动组（Robot Locomotion Group）的一个团队开发了一款 自主飞行无人机 ，能够以每小时30英里的速度在树木间穿行，这得益于一种立体视觉算法，使其能够实时检测物体并构建周围环境的完整地图。
7. CSAIL的网络安全研究
今年，我们的网络安全研究人员取得的成果包括：
今年推出了三项新的跨校区举措，包括技术导向的Cybersecurity@CSAIL 和 Internet Policy Research Initiative；
一份颇具影响力的报告主张 反对政府获取个人数据的后门 ，该报告是促使奥巴马总统放弃推动反加密立法的努力的一部分；以及
一篇论文证明，广受欢迎的匿名保护网络Tor存在 关键设计漏洞 ，可能使黑客确定服务器的位置或某条信息的来源。
发表文章不代表世界经济论坛认同其观点。
如需紧跟议程（Agenda）动态， 请订阅我们的每周通讯。
作者：Adam Conner-Simons，麻省理工学院（Massachusetts Institute of Technology，MIT）传播协调员。
图片：一架搭载Sony Action Cam Mini的无人机在柏林IFA消费电子展上展出。REUTERS/Fabrizio Bensch。
