Company filings mentions related to artificial intelligence in the global insurance industry, Q2 2020 - Q1 2023