0
| 本文作者： 奕欣 | 2017-04-01 21:10 |
雷鋒網(wǎng)AI科技評論按：今天是愚人節(jié)，然而學(xué)術(shù)圈并不平靜， 比西方記者跑得都快的AI科技評論編輯整理了今日的一本正經(jīng)胡說八道 的學(xué)術(shù)熱點(diǎn)，一起來看看都發(fā)生了哪些大新聞吧。
MIT CSAIL 今日在官網(wǎng)上公布了一個驚人的消息：MIT 教授 Erik Demaine 解決了一個數(shù)十年的難題 P=NP，而當(dāng)事人 Demaine 教授則被保全抓走，遣送精神病院。
根據(jù)視頻拍攝者的回憶，事情是這樣的：
在昏昏欲睡的課堂上，MIT教授 Erik Demaine 正在和學(xué)生闡述 P/NP 問題?！笖?shù)學(xué)家們在這個領(lǐng)域已經(jīng)研究了數(shù)十年，而這個問題依然非常困難……你們有什么問題嗎？」
正在說話間，他突然接到了一個電話?！膏?，我現(xiàn)在正上課呢，在和學(xué)生們討論 P/NP 問題……真的嗎？P=NP？？真的嗎？……這，這意味著什么？也就是說，我剛寫了滿黑板的這些理論已經(jīng)被解決了？噢天了你們這些學(xué)生是第一個聽到這個消息的！」
然后兩個警察走上前來，老師準(zhǔn)備奪門而出，但他未能掙脫保安的魔爪，就被押走了……這時，一名男子走上前來解釋，「Demaine 教授已經(jīng)病得不輕，我們將把他關(guān)起來治療，所以他下節(jié)課也不會來了?！拐f完也離開了現(xiàn)場。
歡迎觀看 Demaine 老師（戲很足）的視頻：
以下是科普時間：
P/NP 問題被克雷數(shù)學(xué)研究所收錄進(jìn)千禧年大獎難題中，是理論信息學(xué)中計(jì)算復(fù)雜度理論領(lǐng)域中至今沒有解決的問題。
在 1971 年，Stephen A. Cook 發(fā)表了 The Complexity of Theorem Proving Procedures，也就是《定理證明問題的復(fù)雜性》。他將以多項(xiàng)式時間解決為衡量標(biāo)準(zhǔn)的問題歸為三大類，也就是 NP (nondeterministic poly-nomial)、NP 完全與 NP 難度問題。
P 問題即 Polynomial，多項(xiàng)式問題，指的是可以在多項(xiàng)式時間內(nèi)被計(jì)算機(jī)解決的問題。而 NP 就是 Non-Deterministic Polynomial 問題，也就是非確定多項(xiàng)式問題，指的是可以在多項(xiàng)式時間骨被非確定機(jī)解決的問題。那么 P/NP 問題指的就是，是否在非確定機(jī)上多項(xiàng)式可解的問題，都能在確定機(jī)上用多項(xiàng)式時間求解。
而解決方式有兩種：
一種是找到一個 NPC 問題的多項(xiàng)式解，所有的 NP 問題都可以多項(xiàng)式時間內(nèi)劃歸成這個 NPC 問題, 再用多項(xiàng)式時間解決, 這樣 NP 就等于 P 了。
另一個可能性是，從數(shù)學(xué)理論上找到這樣的算法并不存在。
但理論上說起來簡單，實(shí)際操作卻沒有那么容易，數(shù)十年來，科學(xué)家們一直為證明這一問題而絞盡腦汁，不過目前還沒有看到什么突破性的進(jìn)展。這也是為何 MIT 的 Demaine 教授宣告 P=NP，而卻還是被當(dāng)作精神病患者抓走的原因吧。
本月 3 月 29 日到 4 月 1 日， CMU 舉辦 SIGBOVIK 17。主辦方特地聲明，除了 3 月 31 外，其它時間大家可以不用出席。
SIGBOVIK 17 是一個非常嚴(yán)謹(jǐn)而高大上的學(xué)術(shù)會議，目前已經(jīng)與 AAAI 2017，還有AI科技評論即將參加的 ICLR 2017媲美的一項(xiàng)頂級會議。自然，AI科技評論也不會錯過覆蓋學(xué)術(shù)論文的機(jī)會 。
而其中最為惹眼的莫過于直接向 GANs 發(fā)出挑戰(zhàn)的“互助性生成網(wǎng)絡(luò)GUNs”，這篇主打愛與和平的論文旗幟鮮明地反對 GANs 的生成對抗網(wǎng)絡(luò)不利于社會和諧，認(rèn)為這樣的方法即暴力又不道德，提倡應(yīng)該用生成式非對抗網(wǎng)絡(luò)，讓生成器G和激勵器M互相幫助，共同進(jìn)步，達(dá)到 "winner-takes-all"的大同世界。
在論文中，第一個將 GUNs 應(yīng)用在生成模型中的組織是美國軍火制造企業(yè) Smith & Wesson；而且 GUNs 的潛力完全在于只要心中有 GUNs，它就能實(shí)現(xiàn)非常好的實(shí)驗(yàn)結(jié)果。
作者三人分別是：英國深度統(tǒng)計(jì)和諧協(xié)會 Samuel Albanie、法國外籍兵團(tuán) Sebastien Ehrhardt 和葡萄牙愛與信任街道辦事處的 Joao F. Henriques，他們?nèi)艘驗(yàn)樘褠哿?，一直在謙讓誰的姓名排第一的問題，結(jié)果打起來了。因此，他們?nèi)说男彰判蚴前凑崭髯宰鎳谌ツ隁W冠上的排名而定。
而且因?yàn)?Sebastien Ehrhardt 非常謙和，擔(dān)心曬出自己的生平會嚇大家一跳，因此他的這一部分都用黑框框蓋住了。
雷鋒網(wǎng)認(rèn)為，這篇論文論證翔實(shí)，算法具有充分的復(fù)現(xiàn)性，非常值得一讀。
論文鏈接：https://arxiv.org/pdf/1703.02528.pdf
今天是愚人節(jié)，雷鋒網(wǎng)AI科技評論也非常關(guān)心谷歌總部今年會給我們推出什么樣的 Doodle，但是美國人民比較懶惰，他們在我們上班的時候還在睡覺，所以還沒有看到愚人節(jié)專題的 Doodle。
4 月 1 日， 林元慶發(fā)布了第一條推特，“Hello Twitter！”此言大有“Twitter 你造嗎，你已經(jīng)成功引起了我的注意”的總裁式文風(fēng)。
而 @Baidu Research 則轉(zhuǎn)發(fā)了此條推特，并寫道：“讓我們隆重地介紹林元慶，我們的百度研究院新頭頭！另，歡迎他開通了 Twitter?！痹趨嵌鬟_(dá)的離職公開信中提及，林元慶將擔(dān)任百度研究院院長，看來這一轉(zhuǎn)發(fā)正是坐穩(wěn)山頭的實(shí)錘。
而在關(guān)注列表的十個帳號中，我們看到了意料之中的 Baidu Research、Baidu Inc，還有百度 SVAIL 實(shí)驗(yàn)室的 Adam Coates。此外，林元慶還關(guān)注了前同事吳恩達(dá)，以及李開復(fù)前兩天剛剛對話的谷歌無人車之父 Sebastian Thrun。等等，為什么還關(guān)注了 Open AI、DeepMind 和 Elon Musk？陷入深思……
今天，AI科技評論編輯的朋友圈被一幅海報(bào)刷屏了，上面只寫著 MOOC.AI。雖然不明所以，但是覺得很厲害的樣子，所以不妨試試進(jìn)入這個網(wǎng)站看看吧。
雷峰網(wǎng)原創(chuàng)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。
