@davidad 2026-01-15 ♥372 ↻40 original ↗
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
same thread: 2011843851569230305 2011845180484133071 2011846527170273333 2011847568934699396 2011849568527225030 2011852142857093528 2011858554358239298 2011858659291382039 2011863066611228818 2011888799799001586 2011923986398265365 2011941130309349497 2012062934411948100 2012235482998952030 2012236788979409225 2012236799289253981 2012238054774202562 2013367568552075506 2013419406018387971 2014296971482460219

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

Reproduced against link rot, credited and linked to its original. Yours and you’d rather it weren’t here? Open an issue.