如题，就是一些只有顶尖模型（类似于o1，claude ops）才能回答得上来的一些难题 
有类似的一些难题网站吗？（鲁迅和打鸟的问题就算了，现在国内的一些捞炮模型都能回答了，怕不是专门对这个问题训练过） 
要的就是一些及其复杂的数学题或者推理题，一拳就能干碎国内所谓比肩gpt o1大模型的题目