定理证明

GPT-6即将发布，数学推理能力大幅提升，支持符号计算、多步推理与定理证明，接近人类竞赛水平。