x
Proof technique - History — AI Alignment Forum