Thanks to the effort of our donors, the2012 Summer Singularity Challengehas been met! All $150,000 contributed will be matched dollar for dollar by our matching backers, raising a total of $300,000 to fund the Machine Intelligence Research Institute’€™s operations. We reached our goal near 6pm on July 29th.

On behalf of our staff, volunteers, and entire community, I want to personally thank everyone who donated. Your dollars make the difference.

Here’€™s to a better future for the human species.

多亏了几个主要捐助者的慷慨大方^†every donation to the Machine Intelligence Research Institute made now until July 31, 2012 will be matched dollar-for-dollar, up to a total of $150,000!

188betapp

Now is your chance to将您的影响加倍同时帮助我们筹集高达30万美元以帮助资助金宝博娱乐 和stage the upcomingSingularity Summit…你可以register for now!

Note: If you prefer to support rationality training, you are welcome toearmark your donationsfor “CFAR” (Center for Applied Rationality）。专门用于CFAR的捐款将只要用于CFAR和捐赠not专用于CFAR将只要be used for Singularity research and outreach.

自从我们出版了我们的strategic planin August 2011, we have实现了其中概述的大多数近期目标。Here are just a很少examples:

• We outlined theopen research problemsrelated to our work (Section 1.1).
• We recruited several moreresearch associates和about a dozen远程研究人员金宝博娱乐（第1.2e节）。
• We held our annualSingularity Summit并为此获得了公司赞助商（第2.1节）。
• We made progress in decision theory (example) via LessWrong.com and our research associates (Section 2.2b).
• We publishedHow to Run a Successful Less Wrong Meetup Group(Section 2.2d).
• 我们发布了几篇即将发表的研究文章的预印刷品，包括金宝博娱乐人工智能有多难？,Intelligence Explosion: Evidence and Import， 和奇异性和机器道德（第2.3节）。
• Weredesigned我们的主要网站（第2.6节）。
• We acquired $40,000/month in free Google Adwords advertising, to drive traffic to websites operated by the Machine Intelligence Research Institute (Section 2.6c).
• 我们开始出版monthly progress reports（第2.9b节）。
• We built up the Center for Applied Rationality such that it should be able to spin off from the Machine Intelligence Research Institute later this year (Section 3.1).
• We created atransparency sectionon our website, where visitors can find our IRS 990 forms, and also several standard organizational policies, e.g. a conflict of interest policy, non-discrimination policy, etc (Section 3.2).

In the coming year, theMachine Intelligence Research Institute plans to do the following:

• Hold our annualSingularity Summit，今年在旧金山！
• 旋转Center for Applied Rationalityas a separate organization focused on rationality training, so that the Machine Intelligence Research Institute can be focused more exclusively on Singularity research and outreach.
• 发布其他金宝博娱乐 on AI risk and Friendly AI.
• Eliezer will write an “Open Problems in Friendly AI” sequencefor不太错误。(For news on his rationality books, see这里）
• 结束面对奇异性和publish ebook versions of面对奇异性和序列，2006-2009。
• And much more! For details on what we might do with additional funding, see如何购买AI风险降低。

If you’re planning to earmark your donation to CFAR (Center for Applied Rationality), here’s a preview ofwhat CFAR plans to do in the next year:

• Develop additional lessonsteaching the most important and useful parts of rationality. CFAR has already developed and testedover 18 hours of lessonsso far, including classes on how to evaluate evidence using Bayesianism, how to make more accurate predictions, how to be more efficient using economics, how to use thought experiments to better understand your own motivations, and much more.
• Run immersive rationality retreatsto teach from our curriculum and to connect aspiring rationalists with each other. CFAR ran pilot retreats in May and June. Participants in the May retreat called it “transformative” and “astonishing,” and the average response on the survey question, “Are you glad you came? (1-10)” was a 9.4. (We don’t have the June data yet, but people were similarly enthusiastic about that one.)
• Run SPARC, a camp on the advanced math of rationalityfor mathematically gifted high school students. CFAR has a stellar first-year class for SPARC 2012; most students admitted to the program placed in the top 50 on the USA Math Olympiad (or performed equivalently in a similar contest).
• Collect longitudinal data on the effects of rationality training，改善我们的课程并产生有希望的假设，以与其他研究人员合作进行测试和发布。金宝博娱乐CFAR使用我们6月的小型训练营和对照组的参与者推出了一年的随机对照研究跟踪推理能力和生活成功的各种指标。
• Develop apps and games about rationality的双重目标下,帮助有志rati (a)onalists practice essential skills, and (b) making rationality fun and intriguing to a much wider audience. CFAR has two apps in beta testing: one training players to update their own beliefs the right amount after hearing other people’s beliefs, and another training players to calibrate their level of confidence in their own beliefs. CFAR is working with a developer on several more games training people to avoid cognitive biases.
• And more!

We appreciate your support for our high-impact work!188betapp ，并抓住比平常更好的机会前进的机会。使用PayPal或Google Checkout安全处理信用卡交易。如果您对捐赠有疑问，请通过（510）717-1477或louie@www.gqpatrol.com与Louie Helm联系。

† $150,000 of total matching funds has been provided by Jaan Tallinn, Tomer Kagan, Alexei Andreev, and Brandon Reinhart.

Past progress reports:April 2012,March 2012,2012年2月,January 2012,December 2011。

Here’s what the Machine Intelligence Research Institute did in May 2012:

• 如何购买AI风险降低: Luke wrote一系列帖子on how to purchase AI risk reduction, with cost estimates for many specific projects. Some projects are currently in place at SI; others can be launched if we are able to raise sufficient funding.
• Research articles: Luke continued to work with about a dozen collaborators on several developing research articles, including “Responses to Catastrophic AGI Risk,” mentioned这里。
• Other writings: Kaj Sotala, with help from Luke and many others, publishedHow to Run a Successful Less Wrong Meetup Group。卡尔发表了几篇文章：（1）功利主义，合同主义和自我牺牲, (2)Philosophers vs. economists on discounting, (3)Economic growth: more costly disasters, better prevention， 和(4)在影响冬天吃什么？Eliezer写道Avoid Motivated Cognition。Luke posted part 2 of hisdialogue with Ben Goertzel关于Agi。
• 正在进行的长期项目：艾米继续在2012年奇异峰会上工作。金宝博娱乐路易（Louie and Si）的新任执行助理Ioven寓言在组织发展和透明度方面努力工作（新网站启动时，其中一些很明显）。
• Center for Applied Rationality (CFAR)：CFAR团队继续在以理性为中心的组织中取得进步SI’s strategic plan。We also held the first summer minicamp, which surpassed our expectations and was very positively received. (More details on this will be compiled later.)
• 与顾问，支持者和潜在研究人员的会议：金宝博娱乐像往常一样，各种SI员工会见或与数十名顾问，支持者和合作者进行了交谈，讨论了如何建立生存风险社区，如何缓解AI风险，如何改善机器智能研究所的有效性以及其他主题。金宝博娱乐
• 当然，在这里列出的要多得多！

Finally, we’d like to recognize our最活跃的志愿者2012年5月：Matthew Fallshaw，Gerard McCusker，Frank Adamek，David Althaus，Tim Oertel和Casey Pfluger。感谢大家！（而且，如果我们忘了给您起名字，我们的道歉！）

Past progress reports:March 2012,2012年2月,January 2012,December 2011。

Here’s what the Machine Intelligence Research Institute did in April 2012:

• SPARC：几位Miri工作人员正在与SI研究助理Paul Christiano和其他一些工作人员合作，为具有非凡的数学能力的高中生（SPAR金宝博娱乐C）开发一个理性营。这与我们努力摆脱一个新的以理性为中心的组织有关，这也是我们为找到可能对我们的研究工作有用的精英年轻数学人才的努力迈出的重要一步。金宝博娱乐
• Research articles: Luke publishedAI风险书目2012。He is currently developing nearly a dozen other papers with a variety of co-authors. New SI research associateKaj Sotalahas two papers forthcoming in theInternational Journal of Machine Consciousness:Advantages of Artificial Intelligences, Uploads, and Digital Minds和融合思维：与大脑上传相关的小组思维场景。
• Other articles: Luke publisheda dialoguewith AGI researcher Pei Wang and several more posts in theAI Risk and Opportunityseries. Luke also worked with Kaj Sotala to develop an instructional booklet for Less Wrong meetup group organizers, which is nearly complete.
• 正在进行的长期项目：艾米继续在2012年奇异峰会上工作。迈克尔推出了新的Singularity Summit website，继续在机器情报研究所的新主要网站，新的年度报告和新通讯设计上工作。金宝博娱乐卢克上传了更多的志愿者准备翻译面对奇异性。卢克还继续建立机器情报研究所的一组远程合作者，他们努力工作将机器情报研究所的研究文章转换为新的模板，追捕对A金宝博娱乐I的预测，撰写有关启发式方法和偏见的文献摘要等。
• Center for Applied Rationality (CFAR): “Rationality Group” now has a final name: the Center for Applied Rationality (CFAR). The CFAR team has been hard at work preparing for the upcoming理性小训练机, as well as continuing to develop the overall strategy for the emerging organization.
• 与顾问，支持者和潜在研究人员的会议：金宝博娱乐像往常一样，各种SI员工会见或与数十名顾问，支持者和合作者进行了交谈，讨论了如何建立生存风险社区，如何缓解AI风险，如何改善机器智能研究所的有效性以及其他主题。金宝博娱乐Quixey联合创始人兼首席执行官Liron Shapira被添加为顾问。
• 当然，在这里列出的要多得多！

Finally, we’d like to recognize our最活跃的志愿者2012年4月：Matthew Fallshaw，Gerard McCusker，Frank Adamek，David Althaus，Tim Oertel，Casey Pfluger，Paul Gentemann和John Maxwell。感谢大家！（而且，如果我们忘了给您起名字，我们的道歉！）