{"type": "article", "title": "ARC’s research agenda: solid mathematics, an unclear safety case", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/arcs-research-agenda-solid-mathematics-an-unclear-safety-case", "original_source": "https://www.lesswrong.com/posts/dXrZortJehHkhq559/arc-s-research-agenda-solid-mathematics-an-unclear-safety-1", "published": "2026-07-28T16:49:47+00:00", "accessed": "2026-07-28", "id": "arcs-research-agenda-solid-mathematics-an-unclear-safety-case"}