FrontierMath Benchmark Improvements | Grantmaking.ai