Approximation is expensive, but the lunch is cheap — AI Alignment Forum