愚人節學術特輯:MIT教授宣布解決P=NP難題;宣揚暴力主義的GANs目前...

indianexpress

雷鋒網(公眾號：雷鋒網)AI科技評論按：今天是愚人節，然而學術圈並不平靜， 比西方記者跑得都快的AI科技評論編輯整理了今日的一本正經胡說八道 的學術熱點，一起來看看都發生了哪些大新聞吧。

MIT教授宣布解決P=NP難題，被送精神病院

MIT CSAIL 今日在官網上公布了一個驚人的消息：MIT 教授 Erik Demaine 解決了一個數十年的難題 P=NP，而當事人 Demaine 教授則被保全抓走，遣送精神病院。

根據視頻拍攝者的回憶，事情是這樣的：

在昏昏欲睡的課堂上，MIT教授 Erik Demaine 正在和學生闡述 P/NP 問題。「數學家們在這個領域已經研究了數十年，而這個問題依然非常困難……你們有什麼問題嗎？」

正在說話間，他突然接到了一個電話。「噢，我現在正上課呢，在和學生們討論 P/NP 問題……真的嗎？P=NP？？真的嗎？……這，這意味著什麼？也就是說，我剛寫了滿黑板的這些理論已經被解決了？噢天了你們這些學生是第一個聽到這個消息的！」

然後兩個警察走上前來，老師準備奪門而出，但他未能掙脫保安的魔爪，就被押走了……這時，一名男子走上前來解釋，「Demaine 教授已經病得不輕，我們將把他關起來治療，所以他下節課也不會來了。」說完也離開了現場。

歡迎觀看 Demaine 老師（戲很足）的視頻：

以下是科普時間：

P/NP 問題被克雷數學研究所收錄進千禧年大獎難題中，是理論信息學中計算複雜度理論領域中至今沒有解決的問題。

在 1971 年，Stephen A. Cook 發表了 The Complexity of Theorem Proving Procedures，也就是《定理證明問題的複雜性》。他將以多項式時間解決為衡量標準的問題歸為三大類，也就是 NP (nondeterministic poly-nomial)、NP 完全與 NP 難度問題。

P 問題即 Polynomial，多項式問題，指的是可以在多項式時間內被計算機解決的問題。而 NP 就是 Non-Deterministic Polynomial 問題，也就是非確定多項式問題，指的是可以在多項式時間骨被非確定機解決的問題。那麼 P/NP 問題指的就是，是否在非確定機上多項式可解的問題，都能在確定機上用多項式時間求解。

而解決方式有兩種：

• 一種是找到一個 NPC 問題的多項式解，所有的 NP 問題都可以多項式時間內劃歸成這個 NPC 問題, 再用多項式時間解決, 這樣 NP 就等於 P 了。

• 另一個可能性是，從數學理論上找到這樣的算法並不存在。

但理論上說起來簡單，實際操作卻沒有那麼容易，數十年來，科學家們一直為證明這一問題而絞盡腦汁，不過目前還沒有看到什麼突破性的進展。這也是為何 MIT 的 Demaine 教授宣告 P=NP，而卻還是被當作精神病患者抓走的原因吧。

宣揚暴力主義的GANs目前已被GUNs取代

本月 3 月 29 日到 4 月 1 日， CMU 舉辦 SIGBOVIK 17。主辦方特地聲明，除了 3 月 31 外，其它時間大家可以不用出席。

SIGBOVIK 17 是一個非常嚴謹而高大上的學術會議，目前已經與 AAAI 2017，還有AI科技評論即將參加的 ICLR 2017媲美的一項頂級會議。自然，AI科技評論也不會錯過覆蓋學術論文的機會 。

而其中最為惹眼的莫過於直接向 GANs 發出挑戰的「互助性生成網絡GUNs」，這篇主打愛與和平的論文旗幟鮮明地反對 GANs 的生成對抗網絡不利於社會和諧，認為這樣的方法即暴力又不道德，提倡應該用生成式非對抗網絡，讓生成器G和激勵器M互相幫助，共同進步，達到 "winner-takes-all"的大同世界。

在論文中，第一個將 GUNs 應用在生成模型中的組織是美國軍火製造企業 Smith & Wesson；而且 GUNs 的潛力完全在於只要心中有 GUNs，它就能實現非常好的實驗結果。

作者三人分別是：英國深度統計和諧協會 Samuel Albanie、法國外籍兵團 Sebastien Ehrhardt 和葡萄牙愛與信任街道辦事處的 Joao F. Henriques，他們三人因為太友愛了，一直在謙讓誰的姓名排第一的問題，結果打起來了。因此，他們三人的姓名排序是按照各自祖國在去年歐冠上的排名而定。

而且因為 Sebastien Ehrhardt 非常謙和，擔心曬出自己的生平會嚇大家一跳，因此他的這一部分都用黑框框蓋住了。

雷鋒網認為，這篇論文論證翔實，算法具有充分的復現性，非常值得一讀。

論文連結：https://arxiv.org/pdf/1703.02528.pdf

谷歌員工比較懶，說要明天才上線Doodle

今天是愚人節，雷鋒網AI科技評論也非常關心谷歌總部今年會給我們推出什麼樣的 Doodle，但是美國人民比較懶惰，他們在我們上班的時候還在睡覺，所以還沒有看到愚人節專題的 Doodle。

林元慶發布第一條Twitter，來看看他都關注了誰？

4 月 1 日， 林元慶發布了第一條推特，「Hello Twitter！」此言大有「Twitter 你造嗎，你已經成功引起了我的注意」的總裁式文風。

而 @Baidu Research 則轉發了此條推特，並寫道：「讓我們隆重地介紹林元慶，我們的百度研究院新頭頭！另，歡迎他開通了 Twitter。」在吳恩達的離職公開信中提及，林元慶將擔任百度研究院院長，看來這一轉發正是坐穩山頭的實錘。

而在關注列表的十個帳號中，我們看到了意料之中的 Baidu Research、Baidu Inc，還有百度 SVAIL 實驗室的 Adam Coates。此外，林元慶還關注了前同事吳恩達，以及李開復前兩天剛剛對話的谷歌無人車之父 Sebastian Thrun。等等，為什麼還關注了 Open AI、DeepMind 和 Elon Musk？陷入深思……

pony.AI, drive.ai, 現在又有MOOC.AI？

今天，AI科技評論編輯的朋友圈被一幅海報刷屏了，上面只寫著 MOOC.AI。雖然不明所以，但是覺得很厲害的樣子，所以不妨試試進入這個網站看看吧。

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