x
ARC’s research agenda: solid mathematics, an unclear safety case — LessWrong