Additionally, during the past couple of years, MIRI has:
Continuously maintained a “surviving branch” of its 2017 research agenda (currently has three full-time staff on it)
Launched the Visible Thoughts Project, which while not a stunning exemplar of efficient success has produced two complete 1000-step runs so far, with more in the works
Continued to fund Scott Garrabrant’s Agent Foundations research, including things like collab retreats and workshops with the Topos Institute (I helped run one two weeks ago and it went quite well by all accounts)
Continued to help with AI Impacts, although I think the credit there is more logistical/operational (approximately none of MIRI’s own research capacity is involved; AI Impacts is succeeding based on its own intellectual merits)
I don’t know much about this personally, but I’m pretty sure we’re funding part or all of what Vivek’s up to
Vanessa Kosoy’s research has split off a little bit to push in a different direction, but it was also directly funded by MIRI for several years, and came out of the 2017 agenda.
Additionally, during the past couple of years, MIRI has:
Continuously maintained a “surviving branch” of its 2017 research agenda (currently has three full-time staff on it)
Launched the Visible Thoughts Project, which while not a stunning exemplar of efficient success has produced two complete 1000-step runs so far, with more in the works
Continued to fund Scott Garrabrant’s Agent Foundations research, including things like collab retreats and workshops with the Topos Institute (I helped run one two weeks ago and it went quite well by all accounts)
Continued to help with AI Impacts, although I think the credit there is more logistical/operational (approximately none of MIRI’s own research capacity is involved; AI Impacts is succeeding based on its own intellectual merits)
I don’t know much about this personally, but I’m pretty sure we’re funding part or all of what Vivek’s up to
This is not a comprehensive list.
Vanessa Kosoy’s research has split off a little bit to push in a different direction, but it was also directly funded by MIRI for several years, and came out of the 2017 agenda.