ARC’s research agenda: solid mathematics, an unclear safety case
A mathematician pivoting into AI safety has launched a series analyzing the research agendas of theory-first AI safety organizations, starting with ARC (Alignment Research Center). The piece praises A…