Fixing Open LLM Leaderboard with Math-Verify - Tech Sentiments