Irreducible element (ring theory) - History — AI Alignment Forum