Anthropic 发布新动态，聚焦形式化数学证明能力