Artificial intelligence accidentally annulled a marriage.