FrontierMath Benchmark Improvements | grantmaking.ai