AI Struggles with Hard Math Problems: FrontierMath Benchmark