在這一年，麻省理工的實驗室又為我們帶來了哪些創新？

對于麻省理工計算機科學和人工智能實驗室來說，2015年是繁忙的一年——從獲得圖靈獎，到創造算法修復代碼創建，到開創檢測疾病的新方法，再到開發激動人心的新機器人以及人工智能系統等，麻省理工這一年為我們真帶來了不少新的技術。隨著2015年接近尾聲，這里總結了過去12個月以來，麻省理工在七個關鍵領域中的一些亮點：

DARPA機器人挑戰賽

在6月份舉行的DARPA機器人挑戰賽上，MIT人工智能實驗室的團隊研發的6英尺高、400磅重的機器人可以爬樓、開門甚至駕車。雖然最后只名列第六，不過該機器人在預編程和操作算法上都有很多創新。

機器輔助醫療方面

研究人員已經開發出許多衛生保健和醫藥領域的工具，包括：

癌癥預測工具——可提升醫生對于癌癥的診斷能力，并且幫助醫生及時發現諸如老年癡呆或帕金森綜合征等疾病的前兆；

一個治療肥胖的新方法——依靠對新陳代謝的調整來治療肥胖病人；

3D打印心臟——能夠用于外科手術；

以及一個給美國總統奧巴馬在白宮使用的——能夠通過無線反射檢測和預測摔倒的設備。

能夠溶解、“開花”，或是當一名酒保的機器人

一個1厘米寬的微型機器人——它可以游泳、爬山、行走，還能承受其體重兩倍的重量，也具備自我毀滅能力；

在LED燈的輔助下，利用超過100個折紙機器人組成了“機器人花園”，這些行走、游泳中的機器人就像一朵朵花一樣；

一個柔軟的通過觸摸就可識別許多物體的橡膠機器人，如雞蛋、CD或是一張紙等；

可以當酒保的“Beerbots”機器人，該機器人展示了如何通過先進的規劃算法使機器人在不可預測的環境中進行協作；

Stonebraker獲得了價值100萬美元的圖靈獎

Michael Stonebraker在今年成功獲得了計算機界的諾貝爾獎——圖靈獎，并獲得了100萬美元的獎金以表彰其在大數據研究上的突出貢獻。Michael Stonebraker在過去的40年里一直致力于數據庫管理方面的研究，并且也親自開創了許多企業，幫助推動了大數據行業的發展。

修復代碼方面

研究人員開發了關鍵算法,旨在優化、修復和恢復代碼：

Helium——可用于自我修復一些細小的代碼漏洞；

CodePhage——可以通過自動引入一些功能組建來修復軟件中的漏洞，最棒的是，整個修復過程不需軟件的源代碼；

DIODE——可用于檢查一些常見的內存溢出bug

可躲避障礙物的無人機

“大多數drone-related頭條新聞的焦點都在于出了什么事故，那是因為他們沒有我們的軟件！”

Russ Tedrake團隊開發了一種可自動躲避障礙物的無人機——能夠以30公里每小時的時速自由在樹林里飛行，這是由于其內置了一種全新的立體視覺算法，這能夠幫助無人機檢測到障礙物，并實時構建出周圍環境的地圖。

無人機配了兩塊智能手機級別的 CPU、機翼上各有一個攝像頭，可進行 120 幀/秒的拍攝。與無人機上常規的規避系統不同，該無人機只觀測離無人機 10 米距離的障礙，而不再處理其它如 4、6、12 米等位置將忽略不計。也就是說，無人機在飛行時“考慮”的事情少了，也就能依靠較弱的計算能力快速判斷障礙物。據稱，這款系統比現有的快 20 倍。

網絡安全方面

今年麻省理工學院的網絡安全研究人員的成果包括：

包括技術思維網絡安全和互聯網政策研究計劃等，做了三個跨校園的嘗試；

一個有影響力的報告——反對向政府為個人數據提供后門，努力促使奧巴馬支持并推動防偽加密的相關立法；

發表了一篇關于網絡匿名保護的論文——表示Tor有一個關鍵的設計漏洞，可以讓黑客用于確定服務器的位置或信息的來源位置等。

Via mit

相關閱讀：

探秘MIT機器人Atlas：它的系統比戰斗機還復雜

走進MIT商學院，你可能見不到一個真人

雷峰網原創文章，未經授權禁止轉載。詳情見轉載須知。