x
Metamathematics and probability — AI Alignment Forum