原标题： 【虎嗅晚报】恒大全面反诉贾跃亭要求其履行合约；​滴滴：12城用户可短信报警

各位周三好。

第五届世界互联网大会今日（11月7日）在乌镇正式开幕啦！来看看大佬们说了些什么。

马化腾、张朝阳、雷军的发言

1. 腾讯董事会主席兼CEO马化腾在“世界互联网领先科技成果发布”环节发表演讲。他透露，已经有150万开发者加入小程序的开发，小程序应用数量超过100万，已覆盖200多个细分行业，日活用户达到2亿。

2. 昨晚，张朝阳爆料雷军曾在2001年去搜狐面试，加上马云也曾去搜狐面试（当时面试官是古永锵），马化腾听了张朝阳的故事后做了QQ。

3. 小米集团董事长雷军在接受媒体采访时表示，小米IPO实际上自己并未投赞成票，如果再有个两三年的酝酿上市会更好。不过他称，今年也是个上市的时间点，可以接受市场的锤炼。

雷军在会上表示，IoT是个巨大的方向，企业应用服务也是个很大的方向，包括互联网服务的出海。他说：“我们预计明年3、4月份在欧洲发布第一部5G商用手机，5G是小米重要的研发方向和领域，这对小米是个非常重要的机会。”

4. 网易CEO丁磊在会上表示，“今天互联网技术已经深入到金融、医疗、教育任何一个领域，而且我可以跟大家说如果说你目前所在的行业领域不重视互联网的话就有可能会被取代，尤其这两年人工智能的发展，我想语言翻译这个问题，应该两到三年内就会很快被计算机的这个翻译系统给取代掉。” 

恒大全面反诉贾跃亭要求其履行合约

11月7日晚间，恒大健康发布公告称，时颖对贾跃亭和合资公司Smart King提出仲裁全面反诉，要求贾跃亭和合资公司履行合约。

贾跃亭和合资公司强行赶走时颖委派的出纳员，强行阻止时颖财务人员进场进行财务审查，造成时颖无法知悉合资公司的财务状况。按照股东协议，时颖有权进行财务审查并向合资公司委派出纳员，同时约定如果出纳员七天不签字即视为同意付款。

小马哥的辟谣

今天，有媒体消息称马化腾表示将于明年推出VR版的维系。马化腾亲自辟谣称：没说明年推出。 

腾讯也要发车了？

据路透社报道，腾讯近期在美国加州帕洛阿尔托市招募自动驾驶汽车工程师，也就是说，腾讯将和硅谷核心地区研发自动驾驶技术的众多公司一起，争夺该领域的核心人才。但截至发稿，腾讯并未对其在硅谷的自动驾驶研发计划进行回应。

根据外媒报道，腾讯发布在edIn的招聘信息，“我们正在为位于加州帕洛阿尔托的自动汽车驾驶团队打造一个研发小组。”腾讯此次至少发布9个招聘工程类职位，涉及领域包括运动规划、传感器融合、车辆智能和机器学习。

腾讯牵手日本DeNA

据日经中文网报道，11月6日，日本DeNA公司宣布，与中国腾讯开展合作。DeNA将翻译腾讯的手游，并在日本上线日语版。

DeNA将于2018年冬季发布《传说对决（Arena of Valor）》的日本版。除了带日文翻译外，还将起用人气声优为游戏角色配音。该公司的宣传部门表示，“今后还将讨论上线腾讯的其他手游”。据悉，暂时并无计划将DeNA的手游通过腾讯在中国上线。

QQ推出小程序功能

QQ今天正式在安卓上线了小程序，名为QQ轻应用。QQ成为继微信、支付宝、百度、今日头条、淘宝、抖音后，第7个具有小程序能力的App。QQ轻应用特点包括：拥有支付能力，可实现完整闭环；在开发阶段的客服功能亮眼，用户点击客服按钮可跳转至QQ客服；页面可独立于QQ存在，用户可单独管理等。 

滴滴：12城用户可短信报警

滴滴今日发布相关安全措施及功能升级进展，其中“短信报警”功能已经扩展至烟台、江门、石家庄等12个城市，当地乘客在使用“一键报警”时，可通过短信报警功能将自身位置、行程信息发送当地短信报警平台。

此外，在原有行程中录音功能的基础上，滴滴还将逐步试行车内录像功能。滴滴表示，持续加强全量司机的安全审核，要求无犯罪记录、通过三证验真。

比尔·盖茨再次提出对机器人征税