• Shut down the development of frontier AI systems worldwide https://intelligence.org/2024/05/29/miri-2024-communications-strategy/ 2 comments 1/6/2024
• There’s No Fire Alarm for Artificial General Intelligence (2017) https://intelligence.org/2017/10/13/fire-alarm/ 123 comments 3/6/2020
• A Reply to François Chollet on Intelligence Explosion https://intelligence.org/2017/12/06/chollet/ 85 comments 7/12/2017
• There's No Fire Alarm for Artificial General Intelligence https://intelligence.org/2017/10/13/fire-alarm/ 206 comments 14/10/2017
• Logical Induction https://intelligence.org/2016/09/12/new-paper-logical-induction/ 65 comments 13/9/2016
• A formal solution to the grain of truth problem https://intelligence.org/2016/06/30/grain-of-truth/ 15 comments 1/7/2016
• A 'Big Red Button' for AI to interrupt its harmful sequence of action [pdf] https://intelligence.org/files/Interruptibility.pdf 3 comments 6/6/2016
• New papers dividing logical uncertainty into two subproblems https://intelligence.org/2016/04/21/two-new-papers-uniform/ 17 comments 25/4/2016
• AI safety engineering, target selection, and alignment theory https://intelligence.org/2015/12/31/safety-engineering-target-selection-and-alignment-theory/ 6 comments 13/1/2016
• MIRI's Approach – Machine Intelligence Research Institute https://intelligence.org/2015/07/27/miris-approach/ 75 comments 29/7/2015
• Timeless Decision Theory [pdf] http://intelligence.org/files/TDT.pdf 27 comments 4/4/2015
• Rationality: From AI to Zombies https://intelligence.org/2015/03/12/rationality-ai-zombies/ 139 comments 20/3/2015
• Scott Aaronson on Philosophical Progress http://intelligence.org/2013/12/13/aaronson/ 8 comments 14/12/2013
• Hadi Esmaeilzadeh on Dark Silicon http://intelligence.org/2013/10/21/hadi-esmaeilzadeh-on-dark-silicon/ 50 comments 26/10/2013

• MIRI's newest recruit: Edward Kmett! https://intelligence.org/2018/11/28/miris-newest-recruit-edward-kmett/ 38 comments 1/12/2018 haskell
• Vitalik donates >$700,000 worth of ethereum to the Machine Intelligence Research Institute https://intelligence.org/2018/01/10/fundraising-success/ 4 comments 11/1/2018 ethereum
• Logical Induction https://intelligence.org/files/logicalinduction.pdf 7 comments 16/9/2016 philosophy
• Logical Induction https://intelligence.org/2016/09/12/new-paper-logical-induction/ 120 comments 13/9/2016 math
• How possible is it to get into the field without a degree? http://intelligence.org/courses/ 10 comments 20/3/2014 artificial
• Robert Constable on correct-by-construction programming http://intelligence.org/2014/03/02/bob-constable/ 10 comments 3/3/2014 programming
• John Baez on Research Tactics http://intelligence.org/2014/02/21/john-baez-on-research-tactics/ 3 comments 28/2/2014 math
• How to create a self-modifying AI that won't kill us: 5 theses, 2 lemmas,... http://intelligence.org/2013/05/05/five-theses-two-lemmas-and-a-couple-of-strategic-implications?page=1#tt 3 comments 23/2/2014 science