x
Formal Proof — AI Alignment Forum