多家大模型IMO2026真题满分：Claude Fable 5、GPT-5.6 Sol、KIMI K3等领先，AI数学证明能力实现历史性突破 - Airosetta News