里约热内卢市政府 AI 模型 Rio3.5 在基准测试中击败 Qwen3.7 · AI HOT