x
Logarithmic identities - History — AI Alignment Forum