FrontierMath: A Benchmark for Advanced Mathematical Reasoning in AI