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 ARC's solid mathematical foundations but questions the clarity of its safety case.

Starting a series that goes into math and safety case of theory-first AI safety orgs. From a mathematician pivoting into AI safety. First up, ARC https://open.substack.com/pub/kubuondr/p/arcs-research-agenda-solid-mathematics . https://open.substack.com/pub/kubuondr/p/arcs-research-agenda-solid-mathematics? https://open.substack.com/pub/kubuondr/p/arcs-research-agenda-solid-mathematics? Starting a series that goes into math and safety case of theory-first AI safety orgs. From a mathematician pivoting into AI safety. First up, ARC https://open.substack.com/pub/kubuondr/p/arcs-research-agenda-solid-mathematics . https://open.substack.com/pub/kubuondr/p/arcs-research-agenda-solid-mathematics? https://open.substack.com/pub/kubuondr/p/arcs-research-agenda-solid-mathematics?