Which AI lab will rank third on the Text Arena math leaderboard at the end of October? | versus