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.
- 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.
News and links