Stellar, a long awaited new cryptocurrency and distributed payment network, made by the founder of Mt. Gox and Ripple, just launched.
You can support MIRI for free by signing up. Every new Sellar user gets 6000 STR, and can send an additional 1000 STR to another user for FREE!
Our Stellar username is “miri”.
This is an awesome opportunity to get in on the ground floor of an exciting and promising new digital currency project while also supporting MIRI.
Our AMA went great! Our full answers: http://effective-altruism.com/ea/12r/ask_miri_anything_ama/.
Meanwhile — we're 30% of the way to our funding target, with only two weeks remaining! Your support right now can make a bigger-than-usual difference for our AI safety research program.
We had a great time discussing open problems in AI safety at OpenAI's unconference this past weekend!
Two announcements: we're answering questions on the EA Forum, and we have a new talk out introducing logical induction.
Big news this month: our largest grant to date, our most ambitious fundraiser, and a promising new result in logical uncertainty.
Want to support MIRI's research? Our 2016 fundraiser is in full swing, and we've written up our case for MIRI's research focus, with new details on how our methods differ from other candidate approaches.
A full archive of videos from MIRI and the Future of Humanity Institute's colloquium series.
The Centre for the Study of Existential Risk is seeking papers in three areas (AI, climate/environmental risks, and bioengineering) for its very first conference!
From CSRBAI: a talk on AIXI's strengths and weaknesses, and using reflective oracles to define correct behavior in multi-agent settings.
"In general, what criteria might we use to judge an assignment of probabilities to mathematical statements as reasonable or unreasonable?" A discussion of MIRI's new theoretical model of inductive reasoning.
An introduction to our new theoretical result, "logical induction": a highly general method for assigning reasonable probabilities to conjectures in mathematics and computer science.
Our 2016 fundraiser is live! Learn more about our plans and about some key new developments in the field.
Announcing a new framework for probabilistic reasoning under deductive limitations. We propose “a financial solution to the computer science problem of metamathematics": an algorithm that assigns reasonable probabilities to mathematical conjectures in a way that outpaces deduction, explained by analogy to inexploitable stock markets.
