October 2015 Newsletter

Research updates

• New paper: Asymptotic Logical Uncertainty and The Benford Test
• New at IAFF: Proof Length and Logical Counterfactuals Revisited; Quantilizers Maximize Expected Utility Subject to a Conservative Cost Constraint

General updates

• As a way to engage more researchers in mathematics, logic, and the methodology of science, Andrew Critch and Tsvi Benson-Tilsen are currently co-running a seminar at UC Berkeley on Provability, Decision Theory and Artificial Intelligence.
• We have collected links to a number of the posts we wrote for our Summer Fundraiser on intelligence.org/info.
• German and Swiss donors can now make tax-advantaged donations to MIRI and other effective altruist organizations through GBS Switzerland.
• MIRI has received Public Benefit Organization status in the Netherlands, allowing Dutch donors to make tax-advantaged donations to MIRI as well. Our tax reference number (RSIN) is 823958644.

News and links

• Tech Times reports on the AI Impacts project.
• Rise of Concerns About AI: Tom Dietterich and Eric Horvitz discuss long-term AI risk. See also Luke Muehlhauser’s response.
• From the Open Philanthropy Project: a general update, and a discussion of the effects of AI progress on other global catastrophic risks.
• There are many new job openings at GiveWell, the Centre for Effective Altruism, and the Future of Life Institute.