Le virage des mineurs vers l'IA multiplie par 10 les coûts d'infrastructure