What will be the highest score for the "ARC Prize 2025" competition on its public leaderboard on August 31, 2025?