The Open Problems of the AI Alignment Field and their Cruxes
Maps open AI alignment problems, their cruxes and dependencies, and formalizes some of them, including debate and corrigibility, in Lean to identify gaps and collaboration opportunities.
AI research and discussion on LessWrong. www.lesswrong.com
Maps open AI alignment problems, their cruxes and dependencies, and formalizes some of them, including debate and corrigibility, in Lean to identify gaps and collaboration opportunities.
Proposes ARAD, an alignment plan where a principal safely consults slightly smarter advisors and distills the pair iteratively, using agent-foundations ideas such as cryptographic pessimism; the author flags unresolved flaws.
Proposes topological debate, where two AI agents argue over which simulation resolutions or world models determine a safety property, linking AI safety via debate to guaranteed safe AI.