Bitcoin miners gambled on AI last year, and it paid off