On thinking about the “world got weird because of AI but we are all alive” scenario, I would consider withdrawing from savings to finish paying for the house.
If AI causes something to go terribly wrong on financial systems(lets supose, all banking systems are now easy to hack with AI or something with similar consequences) seems good to not have to prove in legal battles that you actually pais for that % of your own house.
Also, thanks for sharing, I always admired you two very much!
I see now. Here in Brazil it works differently. You only own the house after paying full for the bank, before that the bank is the proprietary.