The conversation between human and AI assistant.
What role will Tyler Alterman play in shaping what matters most to Eliezer Yudkowsky: the eventual development of friendly agi/the singularity?
How does Tyler Alterman's work at MIRI contribute to the development of friendly AI?
Tyler Alterman has co-authored several research papers on topics related to AI safety and friendly AI. For example, he has worked on developing formal frameworks for reasoning about "corrigibility," or the idea that an AI system should be able to accept feedback and modify its behavior accordingly. He has also contributed to research on "logical induction," a mathematical tool that could help AI systems reason about uncertainty and make predictions even when they don't have all the information they need.