A US government institute’s AI evaluation ranks DeepSeek V4 Pro eight months behind the frontier, but critics note methodology flaws and a closing gap on public leaderboards.