顶尖数学家联合出推理难题 OpenAI模型招架得住吗? | HOTSPOT