# ARC’s research agenda: solid mathematics, an unclear safety case

> Source: <https://www.lesswrong.com/posts/dXrZortJehHkhq559/arc-s-research-agenda-solid-mathematics-an-unclear-safety-1>
> Published: 2026-07-28 16:49:47+00:00

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?)