Addition of rational numbers exercises - History — AI Alignment Forum