What happens to mathematics when AI becomes an oracle?