多家大模型IMO2026真題全滿分：Claude Fable 5、GPT‑5.6 Sol、KIMI K3等領先，AI數學證明能力創歷史性突破 - Airosetta News