x
The reasonable effectiveness of mathematics — AI Alignment Forum