MIRI的研究亚博体育官网团队正在不断壮大!我很高兴地宣布，我们新聘请了两位研究员来为我们的工作做出贡献亚博体育官网AI对齐:山姆·艾森斯塔特和马塞洛·赫瑞肖夫，两人都来自谷歌。
以致艾圣斯特山姆在滑铁卢大学学习纯数学，在那里他进行了数理逻辑的研究。亚博体育官网他之前的工作是在谷歌自动构建深度学习模型。
Sam的研究亚博体育官网重点是与推理和代理的基础相关的问题，他特别感兴趣的是探索当前逻辑不确定性理论和贝叶斯推理之间的类比。他也做过决策理论和反事实的研究。他过去在MIRI的工作包括“渐进决策理论”、“极限可计算，自反射分布”和“关于证明长度和逻辑反事实的非正式猜想的反例”。
马塞洛赫列斯果夫倍烧曾就读于斯坦福大学，获得数学荣誉学士学位，并两次在世界上最受推崇的大学数学竞赛——普特南竞赛中获得荣誉提名。然后，马塞洛在谷歌做了5年的软件工程师，获得了机器学习的背景。
马塞洛是MIRI最早的研究合作者之一，并第一次参加了我们的研究亚博体育官网亚博体育官网研究研讨会与埃利泽·尤多科夫斯基、保罗·克里斯蒂亚诺和Mihály Bárász一起。Marcello过去曾与我们合作，帮助我们取得了如下成果:基于Löb定理的囚徒困境的程序均衡”、“概率逻辑中真理的可定义性”和“贴片代理自修改AI他的研究兴趣包亚博体育官网括逻辑的不确定性和反光剂的设计。
山姆和马塞洛会在四月的前两周和我们一起上课。这标志着我们自2015年以来的第一波新研究奖学金的开始，尽管我们最近增加了Ryan Carey作为助亚博体育官网理研究奖学金加入团队(2016年年中)。
在接下来的几个月里，我们还计划扩大我们的研究团队，并将很快在MIRI招聘更多样亚博体育官网化的技术角色——详情即将公布!
