Least common multiple - History — AI Alignment Forum