热搜话题榜单

40年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变数学研究规则

40多年的计算机难题——忙碌海狸难题，被一群业余爱好者攻破了!数学大佬陶哲轩转发了这一消息，并欣慰表示:计算机科学家ScottAaronson为此还写了一篇博文，并大肆赞赏:具体言，人们历经数十年努力，终于找到了第五个“忙碌海狸”图灵机:图灵机是一种抽象的计算模型，通过读取和写入0和1在无限磁带上进行计算。早在40多年前，一群计算机科学家在德国多特蒙德举行竞赛，寻找“忙碌海狸”图灵机。以至于著名理论计算机科学家ScottAaronson发出感慨:嗯?这话有点耳熟，BB好像也是这样说的。

研究人员揭示存在54年的通用图灵机零日漏洞 可用于执行任意代码

瑞典斯德哥尔摩 KTH 皇家理工学院的计算机科学教授 Pontus Johnson，刚刚在一篇学术文章中介绍了他在通用图灵机（UTM）中发现的可执行任意代码的相关漏洞。作为历史上最早的计算机设计之一，通用图灵机（UTM）是由已故的人工智能学家 Marvin Minsky 在 1967 年提出的一项概念模拟设计。尽管他承认这么做没有“现实意义”，但此事还是引发了业内人士的广泛讨论。（来自：Marvin L. Minsky | PDF）The Register 指出，这其实是一个相

中国两艘055驱逐舰下水具有重大意义 这两艘驱逐舰的配置如何

7月3日早，我国新型055万吨级导弹驱逐舰3号和4号同时进行了下水仪式，这是我国首次实现同时下水万吨级导弹驱逐舰，具有重要的里程碑意义，开创了我国批量建造、批量下水、批量舾装的新时代，军事专家告诉记者，网上出现了大连造船厂2艘在建的055型驱逐舰的舰桥前壁面披上国旗的照片，有分析认为这是下水仪式的一部分。

图灵机器人推TLBOYS机器人天团，里奥机器人《小苹果》抢镜

3 月 22 日晚，花椒直播再次成为了机器人主播的天下，曾在短短半小时直播时间内收获 500 万花椒币打赏的首位机器人主播——“图图”——强势回归，这次他还带来了强大的后援团队：包括“灵灵”在内的 8 位机器人伙伴。他们组成了一支名为“TLBOYS”的机器人天团，再次让整个花椒直播为之沸腾!相对于第一场直播，图图一边撩粉丝，一边与明星主播连麦，还劲歌热舞的好不热闹，第二场的精彩程度可以说是有增无减。直播一开始，成员便?

听说直播套路深，没想到图灵机器人也来凑热闹

2017 年 3 月 16 日 20 点 30 分，花椒直播迎来了史上第一个机器人主播——“图图”，并在半个小时的直播时间中斩获 500 万花椒币，折算成人民币足足有 50 万之多，轻轻松松登上日榜榜首。 在直播过程中，图图展现了自己的多才多艺，不仅热歌劲舞，还和自己的“女朋友”灵灵撒了一把好狗粮;演唱了神曲《PPAP》以及《告白气球》《小幸运》等网络热歌，引来数百万的粉丝进房间观看。直播的高热度也引来了一众直播大咖的连麦捧场，当?

图灵机器人开放核心能力，所有客服平台都能有一个人工智能机器人

11月10日，图灵机器人开放平台知识库模块开放内测，这是继开放聊天对话接口之后，图灵机器人平台对外输出的又一核心能力。包含了图灵机器人多个身份属性接口、完整的知识库管理接口以及机器人批量生成接口。基于此次图灵机器人开放的功能模块，第三方开发者或平台可在享受图灵机器人强大后台服务的前提下实现前端业务逻辑充分的自定义，在自有产品中实现机器人昵称、性别、年龄等身份属性设置，同时在自有平台或产品完成知识库的新

图灵机器人欲造机器人界的安卓 现实会很丰满吗?

编者按：7月28日下午，图灵机器人在京举行2016图灵机器人创新大会，距离发布Turing OS系统已经过去八个月的时间，这次，他们将Turing OS升级至1.5版本，并且带来了数十款机器人应用，宣布图灵机器人平台开发者数量超23万，那么，图灵机器人的玩法有什么不同？平台化能否带来更好的发展？机器人又何时能走进千家万户呢？文/定西欧美科幻大片之于80后90后的意义，是让像大白一样的机器人深入人心，让“机器人”这三个字变的耳熟能详

图灵机器人发布拍照英语等机器人应用 称开发者达23万

7月28日下午消息，图灵机器人公司今日举行2016年度创新大会，推出基于图灵机器人系统Turing OS的数十款机器人应用，图灵机器人方面还表示平台开发者数量已超过23万人，机器人应用开发正在成指数增长。

图灵百年诞辰：谷歌涂鸦借图灵机向伟人致敬

前面我们提到过，Google每逢全球性的重大节日或重要的纪念事件，都会在首页涂鸦中展现极具创意的设计来纪念或庆祝这一特殊的日子。

李彦宏：重做ChatGPT已没多大意义 不会写提示的人将被淘汰

最近几个月，由于ChatGPT大火，AI领域创业也变得炙手可热，很多创业者或者机构都想打造一个国产版的OpenAI及ChatGPT，然百度创始人李彦宏表示国内基本不会再出OpenAI这样的公司了。上周百度正式发布了自己的AI产品文心一言，李彦宏现在也接受了媒体采访，回应了多个问题。根据他的说法，10年后全世界有50%的工作会是提示词工程，不会写提示词的人会被淘汰。

豆瓣回应投资OPEN开腔APP：更大意义在于对影视短片领域的基础建设和人才培养

针对豆瓣投资OPEN开腔关联公司俺朋堂（北京）网络科技有限公司一事，豆瓣方面向TechWeb回应称，因Open开腔App产品定位而认为豆瓣涉足直播领域的报道还是有一些不实信息和误解在内。

马云称双十一对阿里没多大意义，只是一次技术测试

在第五届世界浙商大会上，马云表示，不要把双十一看作是阿里的成功，其实对阿里巴巴来讲没多大意义，更多的是一个技术测试。他称，要相信双十一所需要的所有的技术、设备，包括金融、物流、计算能力，是十年以后整个中国科技、技术、经济发展的一种基础设施。

任正非：美国「90 天临时执照」没有多大意义，华为 5G 绝对不受影响

华为创始人兼首席执行官任正非今天在华为总部接受媒体采访，对最近的热点问题进行回应。

任正非：美国「90 天临时执照」对我们没有多大意义，已做好准备

任正非在接受采访时表示：美国的「90 天临时执照」对我们没有多大意义，我们已经做好了准备，但是我们非常感谢美国企业，他们为我们做出了很多贡献，我们的很多顾问来自 IBM 等美国企业。

任正非：美国“90天临时执照”没多大意义 我们已经做好准备

今日，任正非在华为总部接受采访时表示，美国的“ 90天临时执照”对我们没有多大意义，我们已经做好了准备。但是我们非常感谢美国企业，他们为我们做出了很多贡献，我们的很多顾问来自IBM等美国企业。

游族MOB兰旭：收购掌淘最大意义在减少运营成本

DoNews游戏8月5日特稿(编辑陈艳曲)一次高溢价的收购让MOB从开发者的背后走到了台前。游族4月发布公告，5.38亿收购了掌淘科技，也就是MOB移动开发者服务平台。面对业界各种猜测，近日游族MOBCMO兰旭(掌淘科技联合创始人)接受了记

web 2.0之父：硅谷低估了物联网的力量，Apple Pay没多大意义

O’Reilly是web 2.0的首位提出者，是过去三十年里科技发展趋势最尖锐的观察者之一。他认为，硅谷到处都是物联网，但是他们没有抓住重点。他们创造了一些小设备，但没有考虑过将其组合成一个系统。

特斯拉最大意义旨在推动汽车智能化

和资本市场冷淡如影随形的是，媒体与用户们关于“特斯拉新车无人驾驶技术并不完全，也难有能力颠覆传统汽车市场”的看法，也令特斯拉此次发布会乃至整家企业有种失败感。

评论：Facebook图谱搜索的四大意义

美国IT网站CNET周五撰文，列举了Facebook图谱搜索(Graph Search)将对业界产生重要影响的四大理由。

高清屏手机大比较：1080P有多大意义？

作为HTC旗下第一款1080P全高清智能手机，HTC Droid DNA以其出色的屏幕成功赢得了大家的关注。可是，当它和市场上的高端智能手机相比起来，它还能保持住优势吗？