那就是2024年的国际数学奥林匹克竞赛 ，主角中同样有科技互联网巨头的身影，Google DeepMind的人工智能AlphaProof和AlphaGeometry 2