GPT-5.6 罢工了？四大AI挑战 IMO，第一名居然不是它？！｜人类数学世界杯 ｜Open AI ｜ Deepseek ｜Gemini ｜Qwen