Anthropic Claude形式化验证产出1.8亿行数学证明代码，保险行业如何借鉴AI验证技术提升核保风控精度？2026年保险科技前沿解读