OpenAI’s Math: Fast Generation, Slow Verification

OpenAI's math release has been public since October 6. The first bill for checking it has already arrived. Open github.com/openai/math and the first thing you notice is what's missing: no benchmark ha