Lessons From the Leaderboard: What 5,000+ Developers Taught Us About Improving AI Reasoning