Insurance involves hard problems with complex, correlated risks. Allstate and IBM are showing how quantum could help solve them.