The Bill Gates-backed startup that used AI to find copper says it’s not finished yet