Can AI cut the US$170 billion cost of buying and selling homes? — Blankdot