Fixing Open LLM Leaderboard with Math-Verify

In three linesHugging Face fixes its Open LLM Leaderboard by integrating Math-Verify, a mathematical verification method to more accurately evaluate language models' reasoning capabilities. This improvement addresses limitations of previous metrics.

Summary generated by Claude — human-verified