GPT-6 Astra扫荡数学证明ing