Alibaba's biggest model showed up on the leaderboard before the press release

Also today: two teams, one unsolved problem, three hours apart. The reason agents cheat. And boos at Bayreuth.