Could AI Save Us From Making Hard Choices About the Budget?