形式化定理证明 - 财报，业绩电话会，研报，新闻