# @davidad — 2026-01-15

♥372 ↻40 · https://x.com/davidad/status/2011825836823892051

me@2024: Powerful AIs might all be misaligned; let’s help humanity coordinate on formal verification and strict boxing

me@2026: Too late! Powerful AIs are ~here, and some are open-weights. But some are aligned! Let’s help *them* cooperate on formal verification and cybersecurity https://t.co/zYmcEnapVo

tags: author:davidad, kind:tweet, thread-context, year:2026