AI评测新挑战:GPT-5等顶尖模型在FormulaOne基准中集体遇挫