Team formalizes alignment theory in Lean, hiring Lean engineers now
geoffreyirving · x · 2026-10-07
Geoffrey Irving's team is hiring Lean engineers to help formalize alignment theory. In their Resolution (Learning Theory) division — one of six — resolution of singularities is one theorem among many. A notable signal that formal methods are being applied at scale to alignment research.
More from AGI Musings
- Cory Doctorow releases The Reverse Centaur's Guide to Life After AI — drdanielbender · 2026-10-07
- Claude paper's prompter was an Anthropic employee, authors were just digesters, says user — analisereal · 2026-10-07
- Kurzgesagt Releases Animated Explainer on the AI Threat — Puzzleheaded_Style52 · 2026-10-07
- Vinay Prasad slams Nobel for snubbing Boyden and Feng Zhang in optogenetics — VPrasadMDMPH · 2026-10-07
- "Human Approved" Hides a Harder Governance Question: What Made It Authoritative? — Portotify · 2026-10-07
- Luiza Jarovsky: Beyond a capability threshold, AI alignment is likely impossible — LuizaJarovsky · 2026-10-07