华为诺亚提出新型Prompting (PHP)，GPT-4拿下最难数学推理数据集新SOTA