GPT-6 Astra 全面推送，Claude 用 AI 完成费马大定理形式化证明