News and announcements from Resolution.https://resolution.orghttps://resolution.org/post/formal-commons-granthttps://resolution.org/post/formal-commons-grantResolution is granting $1M to The Formal Commons Project, a two-year project within the Mathlib Initiative.Tue, 13 Oct 2026 00:00:00 GMThttps://resolution.org/post/formalizing-resolution-of-singularitieshttps://resolution.org/post/formalizing-resolution-of-singularitiesA Lean formalization of resolution of singularities, and why the proof matters for a theory of learning.Tue, 06 Oct 2026 00:00:00 GMThttps://resolution.org/post/agent-foundations-teamhttps://resolution.org/post/agent-foundations-teamThe team will be building new theory for understanding minds, continuing the spirit of the MIRI Agent Foundations team.Wed, 02 Sep 2026 00:00:00 GMThttps://resolution.org/post/openai-api-creditshttps://resolution.org/post/openai-api-creditsOpenAI has granted Resolution $10M in API credits, bringing our total support to $170M.Mon, 31 Aug 2026 00:00:00 GMThttps://resolution.org/post/thousand-dimensional-structurehttps://resolution.org/post/thousand-dimensional-structureFinding and controlling the low-dimensional persona structure in models — from emergent misalignment and subliminal learning through to superintelligence.Thu, 30 Jul 2026 00:00:00 GMThttps://resolution.org/post/fundinghttps://resolution.org/post/fundingPutting rigorous alignment research on closer-to-even footing with the frontier labs.Tue, 07 Jul 2026 00:00:00 GMThttps://resolution.org/post/rebrandhttps://resolution.org/post/rebrandWhy we changed our name from Sequent to Resolution.Mon, 15 Jun 2026 00:00:00 GMThttps://resolution.org/launchhttps://resolution.org/launchWhy we are starting Resolution, and what we aim to do.Wed, 10 Jun 2026 00:00:00 GMT