机器学习与自动推理

张贴通过&归档于对话.

Josef Urban是荷兰奈梅亨RADBUUD大学计算与信金宝博娱乐息科学研究所博士后研究员。他的主要兴趣是在大型正式(完全语义指定)知识库上开发归纳和演绎人工智能方法,如大型正式数学定义、定理和证明语料库。这个…阅读更多»

2013年回顾:运营

张贴通过&归档于MIRI策略.

我们已经8个月没有把重点放在友好的人工智能研究上了。什么效果很好?有什么没有?我们学到了什么?在这篇和接下来的几篇文章中,我将在2013年对MIRI进金宝博娱乐行一次定性和个人的自我评估。这次评估将主要是定性的,因为我们还没有找到定量的衡量标准…阅读更多»

MIRI 2013年12月通讯

张贴通过&归档于新闻稿.

亲爱的朋友们,我们仍在尝试新的、超简短的时事通讯样式。请回复这封邮件,告诉我们您对此的看法。谢谢!米莉2013年冬季配对募捐活动开始了!1月15日之前的所有捐款都将由彼得·泰尔(Peter Thiel)进行匹配,3倍匹配“新的大捐款人”:如果你在过去一年里捐款总额少于5000美元…阅读更多»

斯科特·阿伦森论哲学的进步

张贴通过&归档于对话.

Scott Aaronson是麻省理工学院电子工程和计算机科学的副教授。在此之前,他曾在加州大学伯克利分校攻读计算机科学博士学位,在普林斯顿高级研究所和滑铁卢大学获得博士后。他的研究集中在量子计算机的能力和局限性,以及更多…金宝博娱乐阅读更多»

2013冬季配对挑战赛

张贴通过&归档于新闻.

多亏了彼得·泰尔,从现在到2014年1月15日,每一笔对米里的捐款都将是一美元对一美元!此外,来自“新的大捐助者”的礼物将匹配3倍!也就是说,如果你给SIAI/MIRI的捐款不到5000美元,而你现在给了或认捐了5000美元或更多,泰尔会为每一美元捐3美元…188betapp阅读更多»

新报:《奔向悬崖》

张贴通过&归档于文件.

在担任MIRI研究员期间,Carl Shulman发金宝博娱乐表了一篇论文,该论文现在可以作为FHI技术报告使用:竞速到悬崖:人工智能发展的模型。摘要:本文提出了一个人工智能军备竞赛的简单模型,其中几个开发团队竞相构建第一个人工智能。假设…阅读更多»