FrontierMath Benchmark