The following newsletter was originally posted on MIRI’s website.

Our big announcement this month is our paper “Logical Induction,” introducing an algorithm that learns to assign reasonable probabilities to mathematical, empirical, and self-referential claims in a way that outpaces deduction. MIRI’s 2016 fundraiser is also live, and runs through the end of October.

Research updates

• Shtetl-Optimized and n-Category Café discuss the “Logical Induction” paper.
• New at IAFF: Universal Inductors; Logical Inductors That Trust Their Limits; Variations of the Garrabrant-inductor; The Set of Logical Inductors Is Not Convex
• New at AI Impacts: What If You Turned the World’s Hardware into AI Minds?; Tom Griffiths on Cognitive Science and AI; and a Superintelligence excerpt on sources of advantage for digital intelligence.

General updates

• We wrote up a more detailed fundraiser post for the Effective Altruism Forum, outlining our research methodology and the basic case for MIRI.
• We’ll be running an “Ask MIRI Anything” on the EA Forum this Wednesday, Oct. 12.
• The Open Philanthropy Project has awarded MIRI a one-year $500,000 grant to expand our research program. See also Holden Karnofsky’s account of how his views on EA and AI have changed.