L’IA a aidé une start-up minière soutenue par Jeff Bezos et Bill Gates à trouver un gisement de cuivre majeur