California has more revenue than expected thanks to AI. Should it save it?