https://youtu.be/gA1sNLL6yg4?t=5006 Interesting that it seems like he’s leaving MIRI
That part was a bit unclear. I guess he could work with redwood/conjecture without necessarily quitting his MIRI position?
https://youtu.be/gA1sNLL6yg4?t=5006 Interesting that it seems like he’s leaving MIRI
That part was a bit unclear. I guess he could work with redwood/conjecture without necessarily quitting his MIRI position?