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。雖然不明所以,但是覺得很厲害的樣子,所以不妨試試進入這個網站看看吧。