愚人节学术特辑:MIT教授宣布解决P=NP难题;宣扬暴力主义的GANs目前已被GUNs取代

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。虽然不明所以,但是觉得很厉害的样子,所以不妨试试进入这个网站看看吧。

原文发布于微信公众号 - AI科技评论(aitechtalk)

原文发表时间:2017-04-01

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏吉浦迅科技

跨出线外:人工智能减少购物结帐时漫长的等待时间

要是这两家人工智慧新创公司真有办法,未来购物这件事,会跟现在进店偷东西的感觉一样,而且还不用担心被抓。 纽西兰的 IMAGR 及硅谷的 Mashgin 都打算让...

33111
来自专栏AI科技大本营的专栏

AI一分钟 | 特斯拉再融46亿;腾讯AI Lab宣布开源多标签图像数据集

近日,《证券日报》记者登录上海市工商行政管理局官网发现,特斯拉(上海)有限公司的注册资本已由 1 亿元增至 46.7 亿元,这意味着马斯克凭借特斯拉这匾金字招牌...

787
来自专栏AI科技大本营的专栏

冠军奖30万!刘强东搞了个“猪脸识别”比赛,中美两地同时启动(附比赛详细日程及赛题说明)

编辑 | Katerina Donna 润色 | 鸽子 11月6日,由京东金融与红杉资本联合主办的首届“JDD-2017京东金融全球数据探索者大会”在751大罐...

3469
来自专栏吉浦迅科技

机器人利用机器学习烫衣服

烫衣服这档子事不像刷厕所那么惹人厌,也不像清猫砂那么臭,不过烫衣服一直都是大家最不爱的家事之一。 你还是得自己动手清洁那个陶瓷制作的王座或是跟在猫咪的屁股后面清...

3216
来自专栏PPV课数据科学社区

大数据的价值,等同于石油与黄金

 大数据成为全球潮流所趋,世界经济论坛今年的报告更点出它的价值,就等同石油与黄金。   超过六成执行长已经用大数据来做决策,你学了吗?   最简单的五步骤...

3275
来自专栏量子位

非法打渔,也被人工智能盯上了

人工智能不仅用在了我们日常所遇到的商品推荐、美颜换脸App里,还出现在了一些你可能意想不到的地方,比如说——

542
来自专栏新智元

【快报】解雇人工编辑后,Facebook频频推送假新闻 | 英特尔发布首款无人机

新智元 AI DAILY 1 谷歌和Facebook合铺设跨太平洋超高速海底电缆 ? 谷歌与Facebook日前宣布与香港太平洋光缆数据通讯公司合作,投资铺设...

32512
来自专栏ATYUN订阅号

用面部识别为鱼类建立医疗记录,追踪鱼类健康状况

在科技发展飞速的今天,甚至连鱼也无法摆脱面部识别相机。数以百万计的大西洋鲑鱼可以将面孔储存在数字数据库中,以追踪他们的健康状况,并挑选哪些对海洋环境构成威胁。

663
来自专栏量子位

AI溃败,被Dota2职业战队打蠢!独家专访OpenAI:我们发现一个Bug

今天早间进行的Ti8 OpenAI表演赛上,人类职业战队paiN Gaming,在5v5的Dota2人机大战首场战斗中,轻松击败OpenAI Five战队。

662
来自专栏PPV课数据科学社区

目标110分!人工智能机器人AI-MATHS将参加今年数学高考!

国产史诗大片系列之《高考2017》明天就要正式上映了: ? 虽然所有演员都是新人,但是为了此次演出可都准备了十几载,诚意十足。 在大家倍感紧张之时,有一位同学却...

3065

扫码关注云+社区