ARC’s research agenda: solid mathematics, an unclear 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? Discuss