全球三大AI包揽IMO满分 第67届国际数学奥林匹克落幕，中国队获团体冠军，三名选手拿满分。同时，Claude Fable5、GPT-5.6 Sol xhigh、Kimi K3及AxiomProver四个AI模型均获IMO满分，过去七年人类选手满分率仅0.69%。