Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models