愚人节学术特辑：mit教授宣布解决p=np难题；宣扬暴力主义的gans目前已被guns取代 | 雷峰网-米乐m6平台
雷锋网ai科技评论按：今天是愚人节，然而学术圈并不平静， 比西方记者跑得都快的ai科技评论编辑整理了今日的一本正经胡说八道 的学术热点，一起来看看都发生了哪些大新闻吧。
mit教授宣布解决p=np难题，被送精神病院
mit csail 今日在米乐官网app官网上公布了一个惊人的消息：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 非常谦和，担心晒出自己的生平会吓大家一跳，因此他的这一部分都用黑框框盖住了。
雷锋网认为，这篇论文论证翔实，算法具有充分的复现性，非常值得一读。
论文链接：
谷歌员工比较懒，说要明天才上线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。虽然不明所以，但是觉得很厉害的样子，所以不妨试试进入这个网站看看吧。
