Field structure of rational numbers - History — AI Alignment Forum